Commits · f4399d3aed71f034012fd8b06b9dbe11bf203d02 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Jan 19, 2015
- fix typesetting · f4399d3a
  Jan Trávníček authored 10 years ago
  
  f4399d3a
- fix output note · 7b7addea
  Jan Trávníček authored 10 years ago
  
  7b7addea
- some work on determinisation tests · 3ec1e84a
  Jan Trávníček authored 10 years ago
  
  3ec1e84a
- add example xml readibility test +fix issues found · 2481fe32
  Jan Trávníček authored 10 years ago
  
  2481fe32
- grammars in new internal form · f92d3d37
  Jan Trávníček authored 10 years ago
  
  f92d3d37
Jan 18, 2015
- formating · 067c2f6c
  Jan Trávníček authored 10 years ago
  
  067c2f6c
- RHDPDA in new internal form · 5fae06be
  Jan Trávníček authored 10 years ago
  
  5fae06be
- transform NVPA to new internal form · 2b91a0c1
  Jan Trávníček authored 10 years ago
  
  2b91a0c1
Jan 17, 2015
- inplement InputDrivenDPDA and transform IDPDA examples to new format · 187949b1
  Jan Trávníček authored 10 years ago
  
  187949b1
Jan 13, 2015
- transform example turing machines to new xml representation · 53a96b76
  Jan Trávníček authored 10 years ago
  
  53a96b76
- tweak string internal form · 901b3394
  Jan Trávníček authored 10 years ago
  
  901b3394
- move some more example automata to new format · f427ada1
  Jan Trávníček authored 10 years ago
  
  f427ada1
- move regexp's alphbaet to separate file · f67b7b77
  Jan Trávníček authored 10 years ago
  
  f67b7b77
Jan 12, 2015
- rename InputSymbols to InputAlphabet and similairly · 0a51a6cb
  Jan Trávníček authored 10 years ago
  
  0a51a6cb
- 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

Admin message