Commits · c07a0e378246f9f84248ba1d8b4eca71891e3bff · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Aug 30, 2017
- use cli internally in minimize · c07a0e37
  Jan Trávníček authored 7 years ago
  
  c07a0e37
Aug 15, 2017
- using the cli in adeterminize · 29edcb30
  Jan Trávníček authored 7 years ago
  
  29edcb30
Aug 06, 2017
- move relinkIP and fdstreams to namespace ext; · 38dacf11
  Jan Trávníček authored 7 years ago
  
  38dacf11
Mar 21, 2017
- deduce template param when parsing by xml factory · d954d0eb
  Jan Trávníček authored 8 years ago
  
  d954d0eb
Apr 15, 2016
- include command string in exception · 059e9383
  Jan Trávníček authored 9 years ago
  
  059e9383
Apr 14, 2016
- AlibException -> CommonException finalize · 530506aa
  Jan Trávníček authored 9 years ago
  
  530506aa
Mar 03, 2016
- simplify binaries · 475037e7
  Jan Trávníček authored 9 years ago
  
  475037e7
Feb 23, 2016
- move GlobalData to common · 9998649b
  Jan Trávníček authored 9 years ago
  
  9998649b
Feb 12, 2016
- adeterminize2 uses cmeasure fdstream · 67609e09
  Radovan Červený authored 9 years ago
  
  67609e09
Feb 09, 2016
- replaced old measurements · fda2b2c1
  Radovan Červený authored 9 years ago
  
  fda2b2c1
Feb 05, 2016
- modified adeterminize2 to use new measurements, introduced helper for convenient tool env setup · 38e53b4f
  Radovan Červený authored 9 years ago
  
  38e53b4f
Oct 26, 2015
- set verbose and measure global variables · 6638ed46
  Jan Trávníček authored 9 years ago
  
  6638ed46
Jun 08, 2015
- + measurement to all algoritm access binaries · 149f5cd8
  Jan Trávníček authored 9 years ago
  
  149f5cd8
Apr 19, 2015
- change std::list to std::deque · b8138683
  Jan Trávníček authored 9 years ago
  
  b8138683
Jan 05, 2015
- rename Api to XmlApi · de0a0753
  Jan Trávníček authored 10 years ago
  
  de0a0753
Dec 08, 2014
- Speedup and cleanup rhpda and vpa determinize · 293730c3
  Jan Trávníček authored 10 years ago
  
  293730c3
Nov 25, 2014
- restructuralize parameters of binaries · 9f2c1a08
  Jan Trávníček authored 10 years ago
  
  9f2c1a08
Nov 07, 2014
- add catch for std base exception and print unknown · 8aac13fe
  Jan Trávníček authored 10 years ago
  
  8aac13fe
Nov 06, 2014
- fallback stdin input when parameter not set · 1411c018
  Jan Trávníček authored 10 years ago
  
  1411c018
Nov 04, 2014
- simplify determinize binary · bf5e7020
  Jan Trávníček authored 10 years ago
  
  bf5e7020
- make exception fall through · 36d826d6
  Jan Trávníček authored 10 years ago
  
  36d826d6
- fix authors comments optimize includes · 61a82d19
  Jan Trávníček authored 10 years ago
  
  61a82d19
Oct 22, 2014
- More renaming and refactoring · 80bcd299
  Jan Trávníček authored 10 years ago
  
  80bcd299
Oct 19, 2014
- reorganise alib2algo · fbecf14a
  Jan Trávníček authored 10 years ago
  
  fbecf14a
Oct 06, 2014
- determinisation results are DPDAs · 813b3029
  Jan Trávníček authored 10 years ago
  
  813b3029
Sep 28, 2014
- add RHDPDA determinisation · 656ba0f0
  Jan Trávníček authored 10 years ago
  
  656ba0f0
Sep 26, 2014
- add RHPDAToPDA algorithm tested not final · 3a4c3b4c
  Jan Trávníček authored 10 years ago
  
  3a4c3b4c
Sep 20, 2014
- untested vpa determinisation · 9dcfba2a
  Jan Trávníček authored 10 years ago
  
  9dcfba2a
Sep 05, 2014
- support more concrete formalisms · bf30589a
  Jan Trávníček authored 10 years ago
  
  bf30589a
- adeterminize copy DFA inputs · 0829d54d
  Jan Trávníček authored 10 years ago
  
  0829d54d
Aug 28, 2014
- determinization of nfa · cb2a9db4
  Jan Trávníček authored 10 years ago
  
  cb2a9db4