Commits · c8429240351da825620aca8cecfead4906501652 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Apr 07, 2018
- fix parameter documentation in automata · c8429240
  Jan Trávníček authored 6 years ago
  
  c8429240
Apr 06, 2018
- document turing machine · dd351f38
  Jan Trávníček authored 6 years ago
  
  dd351f38
- detect transitions from final state of turing machine · 963feec7
  Jan Trávníček authored 6 years ago
  
  963feec7
Apr 04, 2018
- finish documentation of tree automata · b3e11ff7
  Jan Trávníček authored 6 years ago
  
  b3e11ff7
- document NFTA automaton · 0d06a81f
  Jan Trávníček authored 6 years ago
  
  0d06a81f
Mar 22, 2018
- fix documentation of FinalState and InitialStates constraint · e46d3c12
  Jan Trávníček authored 7 years ago
  
  e46d3c12
Mar 18, 2018
- updated normalization · 30833edc
  Jan Trávníček authored 7 years ago
  
  30833edc
Mar 16, 2018
- safer use of EpsilonType in automata · 58f272d3
  Jan Trávníček authored 7 years ago
  
  58f272d3
Mar 07, 2018
- document RealTimeHeightDeterministic autoamta · e49d0402
  Jan Trávníček authored 7 years ago
  
  e49d0402
Mar 06, 2018
- documentation of visibly pushdown PDAs · d5766ed9
  Jan Trávníček authored 7 years ago
  
  d5766ed9
- document some more automata · d916f499
  Jan Trávníček authored 7 years ago
  
  d916f499
Feb 27, 2018
- update automata documentation · f65ed87c
  Jan Trávníček authored 7 years ago
  
  f65ed87c
Feb 09, 2018
- fix missing move · 1de1deef
  Jan Trávníček authored 7 years ago
  
  1de1deef
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
Feb 06, 2018
- fix normalize of RHPDA · 2652b836
  Jan Trávníček authored 7 years ago
  
  2652b836
Feb 01, 2018
- documentation DPDA NPDA · 247c2274
  Jan Trávníček authored 7 years ago
  
  247c2274
Jan 30, 2018
- update documentation for some PDAs · cb9a8dea
  Jan Trávníček authored 7 years ago
  
  cb9a8dea
Jan 28, 2018
- fix normalisation of visibly pushdown automata · 01c8571c
  Jan Trávníček authored 7 years ago
  
  01c8571c
Jan 25, 2018
- fix documentation of InputDrivenPDAs · 57017721
  Jan Trávníček authored 7 years ago
  
  57017721
Jan 12, 2018
- continue documentation of Input driven PDAs · 576f5317
  Jan Trávníček authored 7 years ago
  
  576f5317
- fix documentation of FSMs add finite state set · 818bedfa
  Jan Trávníček authored 7 years ago
  
  818bedfa
Dec 24, 2017
- match namespace with file path · 71806540
  Jan Trávníček authored 7 years ago
  
  71806540
Dec 21, 2017
- update includes in data · f656f4a7
  Jan Trávníček authored 7 years ago
  
  f656f4a7
Dec 11, 2017
- update xml registration · bf8c0299
  Jan Trávníček authored 7 years ago
  
  bf8c0299
Nov 21, 2017
- get operation on components as method abstraction · 7a96c2dc
  Jan Trávníček authored 7 years ago
  
  7a96c2dc
Nov 20, 2017
- Fix bug in epsilon transitions when casting EpsNFA to ExtNFA · 4aeda06c
  Tomáš Pecka authored 7 years ago
  
  4aeda06c
Nov 15, 2017
- revise components · b5183959
  Jan Trávníček authored 7 years ago
  
  b5183959
Nov 02, 2017
- heterogeneous lookups · 9f170721
  Jan Trávníček authored 7 years ago
  
  9f170721
Oct 28, 2017
- fix unnecessary slowdown in DFA states from method · cd03e799
  Jan Trávníček authored 7 years ago
  
  cd03e799
- speed up add/remove transition in DFA · 2609ac54
  Jan Trávníček authored 7 years ago
  
  2609ac54
Oct 20, 2017
- remove naming api · 1692f4fc
  Jan Trávníček authored 7 years ago
  
  1692f4fc
- refactor includes · 83806e73
  Jan Trávníček authored 7 years ago
  
  83806e73
Oct 10, 2017
- drop not needed downcast abstraction · c7b07a8a
  Jan Trávníček authored 7 years ago
  
  c7b07a8a
Sep 24, 2017
- register downcast on some automata types · 4c400a98
  Jan Trávníček authored 7 years ago
  
  4c400a98
Sep 22, 2017
- split alib2common to common measure and xml · a8554a96
  Jan Trávníček authored 7 years ago
  
  a8554a96
Sep 21, 2017
- split type registrations to xml and abstraction · a5038486
  Jan Trávníček authored 7 years ago
  
  a5038486
Sep 20, 2017
- wip make types xml independent · e2025616
  Jan Trávníček authored 7 years ago
  
  e2025616
Sep 18, 2017
- make compose methods static and use registration · d7800491
  Jan Trávníček authored 7 years ago
  
  d7800491
Sep 16, 2017
- reinvent normalize · f7a58637
  Jan Trávníček authored 7 years ago
  
  f7a58637

Admin message