Commits · 77787424512ae09d4d089dc8c7e1dbce56d03b05 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Jan 12, 2015
- fix example automata · 77787424
  Jan Trávníček authored 10 years ago
  
  77787424
- make number of initial states and symbols match formal definitions · ff52c866
  Jan Trávníček authored 10 years ago
  
  ff52c866
Jan 10, 2015
- make EndSymbol lex. smaller than any other and StartSymbol lex. bigger · a939b843
  Jan Trávníček authored 10 years ago
  
  a939b843
Jan 09, 2015
- add CNF from string parsing · ea99c5b3
  Jan Trávníček authored 10 years ago
  
  ea99c5b3
- add set_difference tests · 82302862
  Jan Trávníček authored 10 years ago
  
  82302862
Jan 08, 2015
- Bool and Unsigned primitives implementation · 08d9c97b
  Jan Trávníček authored 10 years ago
  
  08d9c97b
Jan 05, 2015
- simplify code · 643410f5
  Jan Trávníček authored 10 years ago
  
  643410f5
- Solve issue #54 simplify xmlApi · 87d22b90
  Jan Trávníček authored 10 years ago
  
  87d22b90
- rename Api to XmlApi · de0a0753
  Jan Trávníček authored 10 years ago
  
  de0a0753
Jan 04, 2015
- Fix issue #13 rename conflicting binaries · 06deb03b
  Jan Trávníček authored 10 years ago
  
  06deb03b
- reimplement from/to string parsers/composers · 150b0dec
  Jan Trávníček authored 10 years ago
  
  150b0dec
Dec 08, 2014
- Speedup and cleanup rhpda and vpa determinize · 293730c3
  Jan Trávníček authored 10 years ago
  
  293730c3
Dec 03, 2014
- VIM-YouCompleteMe conf to gitignore · 4acc9246
  Tomáš Pecka authored 10 years ago
  
  4acc9246
- Implement StartSymbol · 00de4612
  Jan Trávníček authored 10 years ago
  
  00de4612
Dec 01, 2014
- ToCNF conversion algorithm · 163e2f11
  Jan Trávníček authored 10 years ago
  
  163e2f11
- add CNF printing capability · 64038113
  Jan Trávníček authored 10 years ago
  
  64038113
- add cv qualifier to parameter · 8a50aa7c
  Jan Trávníček authored 10 years ago
  
  8a50aa7c
- fix defines in header · a5686268
  Jan Trávníček authored 10 years ago
  
  a5686268
- modify make unique symbol · 7f7c2791
  Jan Trávníček authored 10 years ago
  
  7f7c2791
- NextSymbol utilizing UniqueSymbol · 14578991
  Jan Trávníček authored 10 years ago
  
  14578991
- UniqueSymbol implementation · e1a504bd
  Jan Trávníček authored 10 years ago
  
  e1a504bd
- Add SymbolSetSymbol and SymbolPairSymbol · 44063094
  Jan Trávníček authored 10 years ago
  
  44063094
Nov 30, 2014
- change determinize internal api · 485ce712
  Jan Trávníček authored 10 years ago
  
  485ce712
- fix merge · dad03b02
  Jan Trávníček authored 10 years ago
  
  dad03b02
- Merge branch 'automata_set_op' into 'master' · f99f9a10
  Ing. Jan Trávníček authored 10 years ago
  
  Automata Language Set Operations Adds algorithms for concatenation, union, itersection of two languages defined by automata and algorihms for iteration of language defined by automaton.
  f99f9a10
- Merge branch 'master' of gitlab.fit.cvut.cz:travnja3/automata-library · 189c9d2e
  Jan Trávníček authored 10 years ago
  
  189c9d2e
- fix operator<< for conteiners · 6779fe91
  Jan Trávníček authored 10 years ago
  
  6779fe91
Nov 29, 2014
- More accurate exception message in DFA transition add failure. · 6e4c0627
  Tomáš Pecka authored 10 years ago
  
  6e4c0627
- algo: automaton iteration · 77df9f57
  Tomáš Pecka authored 10 years ago
  
  77df9f57
- add UniqueLabel - support nextLabel on ObjectLabel · 85c527eb
  Jan Trávníček authored 10 years ago
  
  85c527eb
- fix exception cause string · 50daa993
  Jan Trávníček authored 10 years ago
  
  50daa993
Nov 28, 2014
- fix RemoveEpsilon rules for LeftLG and RightLG · 6a20d4c9
  Jan Trávníček authored 10 years ago
  
  6a20d4c9
- add conversion from LG to EpsilonFreeCFG · ffe4e18d
  Jan Trávníček authored 10 years ago
  
  ffe4e18d
- remove simple rules from grammar · 41c8dc33
  Jan Trávníček authored 10 years ago
  
  41c8dc33
- fix typos · 5bb3d98b
  Jan Trávníček authored 10 years ago
  
  5bb3d98b
Nov 26, 2014
- remove epsilon rules from grammar · 73a84f1b
  Jan Trávníček authored 10 years ago
  
  73a84f1b
Nov 25, 2014
- restructuralize parameters of binaries · 9f2c1a08
  Jan Trávníček authored 10 years ago
  
  9f2c1a08
Nov 24, 2014
- Fix typo ('s/incomming/incoming/') · db028a8e
  Tomáš Pecka authored 10 years ago
  
  db028a8e
- lvimrc README note · d712196d
  Jan Trávníček authored 10 years ago
  
  d712196d
- incomming epsilon transitions remover · 79e394db
  Jan Trávníček authored 10 years ago
  
  79e394db

Admin message