Commits · 1c2afd4a9a6d449d38856d623180607cdd1d3789 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Apr 06, 2014
- add final state to first vpa example automaton · 1c2afd4a
  Jan Vesely authored 10 years ago
  
  1c2afd4a
- small change in vpa determinizations · 25ecfb10
  Jan Vesely authored 10 years ago
  
  25ecfb10
Apr 03, 2014
- Order of operator < on regexp nodes · 3b186c55
  Jan Trávníček authored 10 years ago
  
  3b186c55
Apr 02, 2014
- small change of comment in idpda determinziation according to definition · 0cac8a12
  Jan Vesely authored 10 years ago
  
  0cac8a12
- change idpda examples · b17731a7
  Jan Vesely authored 10 years ago
  
  b17731a7
- Merge branch 'master' of gitlab.fit.cvut.cz:travnja3/automata-library · 2af1cd10
  Jan Vesely authored 10 years ago
  
  2af1cd10
Mar 31, 2014
- new example FSMs, tests.conversion is executable · d4cc0df0
  Jan Trávníček authored 11 years ago
  
  d4cc0df0
- Examples: Automata into own directory, added words · 41e2696b
  Tomáš Pecka authored 11 years ago
  
  41e2696b
- alib: Work on Word/String · 4d3d989a
  Tomáš Pecka authored 11 years ago
  
  - Fix StringPrinter - RemoveAlphabetSymbol() now checks for symbol presence in both alphabet and content. - some constness - Doxygen (original was obviously copy-pasted)
  4d3d989a
- aconversion: Use list::front() and back() instead of iterators · 38b9e100
  Tomáš Pecka authored 11 years ago
  
  38b9e100
- aconversions: apply prev fix (#12 , #22 , #23 ) also to Brzozowski RE->RRG · d152a316
  Tomáš Pecka authored 11 years ago
  
  d152a316
- aconversion tests: Add missing LRG -> RE test · dda47dcf
  Tomáš Pecka authored 11 years ago
  
  dda47dcf
- Test script for aconversion · 4a9e1472
  Tomáš Pecka authored 11 years ago
  
  - Note that this requires arand executable which is not finished yet, but obtainable from branch genRandAutomata.
  4a9e1472
- fix warnings · 01d16eea
  Jan Trávníček authored 11 years ago
  
  01d16eea
- fix for issue 12 · d6ba871f
  Jan Trávníček authored 11 years ago and Tomáš Pecka committed 11 years ago
  
  d6ba871f
Mar 30, 2014
- aconversion: Exceptions to stderr · 1ba3bc01
  Tomáš Pecka authored 11 years ago
  
  1ba3bc01
- aconversions: Brzozowski fixes: · b1bc871e
  Tomáš Pecka authored 11 years ago
  
  - RE to FA: comments - RE to RRG: fix generating epsilon rules and workaround for issue #22
  b1bc871e
- aconversion: workaround for issue #22 · 29847ff0
  Tomáš Pecka authored 11 years ago
  
  29847ff0
- alib: Fix RegExp::isEmpty() · 9418b2f6
  Tomáš Pecka authored 11 years ago
  
  9418b2f6
Mar 29, 2014
- aconversion: Special case in FA -> RRG conversion · 827ff615
  Tomáš Pecka authored 11 years ago
  
  827ff615
Mar 27, 2014
- add always bottom of stack symbol to dvpa stack alphabet · a57e19bd
  Jan Vesely authored 11 years ago
  
  a57e19bd
Mar 26, 2014
- add comments to vpa determinization + a little bit of refactoring · 5c800b1b
  Jan Vesely authored 11 years ago
  
  5c800b1b
- small change in comment · 48539679
  Jan Vesely authored 11 years ago
  
  48539679
- small change in fsm state data · 83ec406a
  Jan Vesely authored 11 years ago
  
  83ec406a
- add comments into idpda determinization, refactor idpda determinization · 700148a2
  Jan Vesely authored 11 years ago
  
  700148a2
- rename nfsmStates to fromStates · c5979520
  Jan Vesely authored 11 years ago
  
  c5979520
- add precomputing of pop and push symbols · 28cbfc9d
  Jan Vesely authored 11 years ago
  
  28cbfc9d
- typo · dd66de43
  Jan Vesely authored 11 years ago
  
  dd66de43
Mar 25, 2014
- Doxygen to almost every foo in aconversions · e4075c68
  Tomáš Pecka authored 11 years ago
  
  e4075c68
- Comments for libaregexptree · 6e95ad2b
  Tomáš Pecka authored 11 years ago
  
  6e95ad2b
- Merge branch 'conversions' · 430e57b6
  Tomáš Pecka authored 11 years ago
  
  430e57b6
Mar 23, 2014
- Merge libaderivation into libaregexptree · c3c64209
  Tomáš Pecka authored 11 years ago
  
  c3c64209
- Fix build in adeterminize · 092c811f
  Tomáš Pecka authored 11 years ago
  
  092c811f
- Fix makefile · caaa27d7
  Tomáš Pecka authored 11 years ago
  
  - remove forgot adeterminize from libs section - atrim.fsm renamed to atrim
  caaa27d7
- Merge branch 'atrim' · c90e87b6
  Tomáš Pecka authored 11 years ago
  
  Conflicts: atrim.fsm/src/DeadStateRemover.cpp atrim.fsm/src/DeadStateRemover.h atrim.fsm/src/UnreachableStateRemover.cpp atrim.fsm/src/UnreachableStateRemover.h
  c90e87b6
- atrim: typos in exec · 24c1576d
  Tomáš Pecka authored 11 years ago
  
  24c1576d
- atrim: merge two FSM trim classes · db17ec87
  Tomáš Pecka authored 11 years ago
  
  db17ec87
- Refactor dead and unreachable states remover · 1bc767d1
  Tomáš Pecka authored 11 years ago
  
  1bc767d1
- Merge atrim.fsm and atrim.grammar · b95a59f1
  Tomáš Pecka authored 11 years ago
  
  b95a59f1
- atrim.grammar: throw exception if start symbol was removed · 6a17a55c
  Tomáš Pecka authored 11 years ago
  
  6a17a55c

Admin message