Commits · eb562760ee823f6ccefb660fce193fe1599af165 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Feb 01, 2014
- parsing automaton from progtest like format · eb562760
  Jan Trávníček authored 11 years ago
  
  eb562760
Jan 31, 2014
- fix · 6124c889
  Jan Trávníček authored 11 years ago
  
  6124c889
Jan 30, 2014
- new convert.regexp, only validating · 6c8762e3
  Jan Trávníček authored 11 years ago
  
  6c8762e3
Jan 29, 2014
- generalizations of switching programs · 36f35685
  Jan Trávníček authored 11 years ago
  
  36f35685
- simplifications · bc79f4c9
  Jan Trávníček authored 11 years ago
  
  bc79f4c9
Jan 28, 2014
- move adiffs · c0f358c2
  Jan Trávníček authored 11 years ago
  
  c0f358c2
- rework makefiles for adiff · e8ad0763
  Jan Trávníček authored 11 years ago
  
  e8ad0763
- search for binary in pwd · 9511f9f2
  Jan Trávníček authored 11 years ago
  
  9511f9f2
- parse from stdin · 852485d9
  Jan Trávníček authored 11 years ago
  
  :w
  852485d9
- parse from stdin · 9644a8b3
  Jan Trávníček authored 11 years ago
  
  9644a8b3
- new makefiles · 74485e19
  Jan Trávníček authored 11 years ago
  
  74485e19
- new makefiles and determinized NFSM1 · ed7fe43c
  Jan Trávníček authored 11 years ago
  
  ed7fe43c
Jan 27, 2014
- delete binary · 31f33fde
  Jan Trávníček authored 11 years ago
  
  31f33fde
- new makefiles and minimization · f22d3f2b
  Jan Trávníček authored 11 years ago
  
  f22d3f2b
Jan 21, 2014
- Add const references for atrim and aepsilon · b004c8dc
  Tomáš Pecka authored 11 years ago
  
  b004c8dc
Jan 18, 2014
- aTrim: removes unreachable states from NFA · 533ae4e6
  Tomáš Pecka authored 11 years ago
  
  533ae4e6
- add vpa determinization with removed r-component · 07df71ac
  Jan Vesely authored 11 years ago
  
  07df71ac
- fix typo · b3a4da93
  Jan Vesely authored 11 years ago
  
  b3a4da93
- add vpa determinization with optimizied s-component · 4405f5b6
  Jan Vesely authored 11 years ago
  
  4405f5b6
- refactor vpa determinization to prepare it for other versions · efaa708a
  Jan Vesely authored 11 years ago
  
  move common functions to special class move structs into separate file refactor structure of vpa determinizer class
  efaa708a
- small changes in vpa determinization to clarify it · fcff4c28
  Jan Vesely authored 11 years ago
  
  fcff4c28
Jan 17, 2014
- aEpsilon: removes eps-transitions. TODO: implement atrim to get rid of unreachable states. · 5fb4cba3
  Tomáš Pecka authored 11 years ago
  
  5fb4cba3
Jan 01, 2014
- makefile - install uninstall · 56f088b3
  Martin Žák authored 11 years ago
  
  56f088b3
- aconvert edit · f89b8b84
  Martin Žák authored 11 years ago
  
  f89b8b84
- makefiles · be0e694c
  Martin Žák authored 11 years ago
  
  be0e694c
- Grammar movement and update · 92dbe41e
  Martin Žák authored 11 years ago
  
  92dbe41e
- RegExpFactory · aec70566
  Martin Žák authored 11 years ago
  
  aec70566
- acat, aconvert.* updates · 26139eaa
  Martin Žák authored 11 years ago
  
  26139eaa
- Adds aconvert.gastex application · a0c22b98
  Martin Žák authored 11 years ago
  
  a0c22b98
- Adds aconvert.dot application · f157e6be
  Martin Žák authored 11 years ago
  
  f157e6be
- remove Dotconverter from aconvert · bef0a0a9
  Martin Žák authored 11 years ago
  
  bef0a0a9
Dec 25, 2013
- Adds documentation to the gitignore · a66a0aa2
  Martin Žák authored 11 years ago
  
  a66a0aa2
- Adds operator << to automaton, grammar and regexp · d46cb5f0
  Martin Žák authored 11 years ago
  
  d46cb5f0
Dec 16, 2013
- fix issues in vpa determinization · 1db1a2f2
  Jan Vesely authored 11 years ago
  
  1db1a2f2
- diff for grammar and switcher · c6ef7d53
  Jan Trávníček authored 11 years ago
  
  c6ef7d53
Dec 13, 2013
- clean vpa determinization · 0eecaa62
  Jan Vesely authored 11 years ago
  
  0eecaa62
Dec 12, 2013
- add vpa determinization · 99103293
  Jan Vesely authored 11 years ago
  
  99103293
Dec 08, 2013
- feature: Rules can be printed to ostream · c85705a2
  Honza authored 11 years ago
  
  c85705a2
- feature: adiff for automata · 6a27c7cf
  Honza authored 11 years ago
  
  6a27c7cf
- feature: print state transition symbol to ostream · 0ba58873
  Honza authored 11 years ago
  
  0ba58873

Admin message