Commits · 6bdb7424a9b3560ae0db1dc03e4304f7886fa206 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Sep 25, 2018
- add documentation to automaton run algorithms · 6bdb7424
  Jan Trávníček authored 6 years ago
  
  6bdb7424
- document automaton accept algorithm · a3a4776d
  Jan Trávníček authored 6 years ago
  
  a3a4776d
- template random automaton and grammar factory · de75b2c0
  Jan Trávníček authored 6 years ago
  
  de75b2c0
Sep 19, 2018
- some more adaptations to template changes · 657c17f7
  Jan Trávníček authored 6 years ago
  
  657c17f7
Sep 18, 2018
- template RightRG in automaton to grammar algo · 20a7c913
  Jan Trávníček authored 6 years ago
  
  20a7c913
- redesign templates of Right regular grammar · 2417af8e
  Jan Trávníček authored 6 years ago
  
  2417af8e
- fix type mix-up · b736da0f
  Jan Trávníček authored 6 years ago
  
  b736da0f
Sep 09, 2018
- remove not needed includes and files · c415e871
  Jan Trávníček authored 6 years ago
  
  c415e871
- fix type generality related errors · b51be473
  Jan Trávníček authored 6 years ago
  
  b51be473
- template automaton to regexp by state elimination · 3e162252
  Jan Trávníček authored 6 years ago
  
  3e162252
- improve algebraic automaton to regexp · a7b69821
  Jan Trávníček authored 6 years ago
  
  a7b69821
- template automaton to regexp · 73a424c2
  Jan Trávníček authored 6 years ago
  
  73a424c2
- improve templating of regular equations · 5adb144c
  Jan Trávníček authored 6 years ago
  
  5adb144c
- make automata concatenation fully template enabled · acc5f23a
  Jan Trávníček authored 6 years ago
  
  acc5f23a
Aug 30, 2018
- redesign ranges · c5e564a3
  Jan Trávníček authored 6 years ago
  
  c5e564a3
Aug 13, 2018
- Algo: Language complement on DFA · d474ac49
  Tomáš Pecka authored 6 years ago
  
  d474ac49
Jul 16, 2018
- algo/elgo: Correct english name (obsolete english usefull -> useful) · 7bc88463
  Tomáš Pecka authored 6 years ago
  
  7bc88463
- algo: doc automaton::properties · 52249a82
  Tomáš Pecka authored 6 years ago
  
  52249a82
- algo: doc automaton::determinize · 6d177b64
  Tomáš Pecka authored 6 years ago
  
  6d177b64
Jul 11, 2018
- algo: doc automaton::simplify · 22e92742
  Tomáš Pecka authored 6 years ago
  
  22e92742
Jul 10, 2018
- Fix build · d031786d
  Tomáš Pecka authored 6 years ago
  
  d031786d
- algo: document automaton::transform · c3e6fb6b
  Tomáš Pecka authored 6 years ago
  
  c3e6fb6b
- algo: document automaton::generate · b9315172
  Tomáš Pecka authored 6 years ago
  
  b9315172
- algo: document automaton::convert · 2833a1f4
  Tomáš Pecka authored 6 years ago
  
  2833a1f4
Jun 14, 2018
- drop dependency on AutomatonFeatures header · fe13ff21
  Jan Trávníček authored 6 years ago
  
  fe13ff21
Jun 07, 2018
- tune simplification to single initial state · 7baa8f02
  Jan Trávníček authored 6 years ago
  
  7baa8f02
- template Rename algorithm · c6e7e327
  Jan Trávníček authored 6 years ago
  
  c6e7e327
Apr 25, 2018
- fix unresolved overload function in g++-7 · d60d4895
  Jan Trávníček authored 6 years ago
  
  d60d4895
- implement run of Epsilon NFA · 10de8dd2
  Jan Trávníček authored 6 years ago
  
  10de8dd2
Feb 09, 2018
- more PDA determinisation improvements · 671dc9f2
  Jan Trávníček authored 7 years ago
  
  671dc9f2
- continue work on PDA determinisation · 0f440640
  Jan Trávníček authored 7 years ago
  
  0f440640
Feb 08, 2018
- continue simplification PDA determinisation · 389ac495
  Jan Trávníček authored 7 years ago
  
  389ac495
- some simplifications of PDA determinisation · ccd7e4df
  Jan Trávníček authored 7 years ago
  
  ccd7e4df
- nonrecursive local closure algo · 69290943
  Jan Trávníček authored 7 years ago
  
  69290943
Feb 06, 2018
- simplify VPA and RHDPDA determinisation algo · 05811c4f
  Jan Trávníček authored 7 years ago
  
  05811c4f
- template remaining determinisation algorithms · 3735a6b0
  Jan Trávníček authored 7 years ago
  
  3735a6b0
Feb 01, 2018
- remove not needed code · a6c9747c
  Jan Trávníček authored 7 years ago
  
  a6c9747c
- continue templating determinize algo · 11ffc781
  Jan Trávníček authored 7 years ago
  
  11ffc781
Jan 26, 2018
- template determinisation of InputDrivenPDAs · 866daa2a
  Jan Trávníček authored 7 years ago
  
  866daa2a
Dec 24, 2017
- match namespace with file path · 71806540
  Jan Trávníček authored 7 years ago
  
  71806540

Admin message