Commits · 310d4b8600985a4a1b4ed6622a9fe1279b451368 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Oct 10, 2016
- make ranked symbol templated · 310d4b86
  Jan Trávníček authored 8 years ago
  
  310d4b86
Sep 21, 2016
- template VisiblyPushdownNPDA automaton · 1b3deb5f
  Jan Trávníček authored 8 years ago
  
  1b3deb5f
Sep 15, 2016
- template InputDrivenNPDA automaton · dd203e42
  Jan Trávníček authored 8 years ago
  
  dd203e42
- template InputDrivenDPDA automaton · 911bd1f3
  Jan Trávníček authored 8 years ago
  
  911bd1f3
Sep 14, 2016
- template RightRG grammar · 2b46f3a6
  Jan Trávníček authored 8 years ago
  
  2b46f3a6
Sep 01, 2016
- make EpsilonNFA templated · c55e3098
  Jan Trávníček authored 8 years ago
  
  c55e3098
Aug 25, 2016
- templates for CompactNFA plus some optimisations · ea0a931f
  Jan Trávníček authored 8 years ago
  
  ea0a931f
Aug 24, 2016
- make MultiInitialStateNFA templated · 57d59780
  Jan Trávníček authored 8 years ago
  
  57d59780
- make NFA templated · be2c8adb
  Jan Trávníček authored 8 years ago
  
  be2c8adb
Aug 21, 2016
- continue with templating DFA · 1c655a49
  Jan Trávníček authored 8 years ago
  
  1c655a49
- continue with alib2algo · 96d6df65
  Jan Trávníček authored 8 years ago
  
  96d6df65
May 30, 2016
- Stack to PushdownStore rename · df1f7bee
  Jan Trávníček authored 8 years ago
  
  df1f7bee
May 29, 2016
- Tree automata use components · 27e4b72f
  Jan Trávníček authored 8 years ago
  
  27e4b72f
Apr 14, 2016
- AlibException->CommonException in alib2algo · a65e65d4
  Jan Trávníček authored 8 years ago
  
  a65e65d4
Jun 02, 2015
- compaction revised · 4388418d
  Jan Trávníček authored 9 years ago
  
  4388418d
Apr 18, 2015
- Tree automaton determinization accept occurences, random tree generator · 03492001
  Štěpán Plachý authored 9 years ago
  
  03492001
Apr 15, 2015
- + efficient implementation of epsilon remove algos · c5e8de64
  Jan Trávníček authored 9 years ago
  
  c5e8de64
Apr 06, 2015
- run only test group with path prefix · 1bc3909d
  Jan Trávníček authored 9 years ago
  
  1bc3909d
Jan 17, 2015
- inplement InputDrivenDPDA and transform IDPDA examples to new format · 187949b1
  Jan Trávníček authored 10 years ago
  
  187949b1
Jan 12, 2015
- rename InputSymbols to InputAlphabet and similairly · 0a51a6cb
  Jan Trávníček authored 10 years ago
  
  0a51a6cb
- make number of initial states and symbols match formal definitions · ff52c866
  Jan Trávníček authored 10 years ago
  
  ff52c866
Jan 05, 2015
- rename Api to XmlApi · de0a0753
  Jan Trávníček authored 10 years ago
  
  de0a0753
Nov 30, 2014
- fix merge · dad03b02
  Jan Trávníček authored 10 years ago
  
  dad03b02
Nov 29, 2014
- algo: automaton iteration · 77df9f57
  Tomáš Pecka authored 10 years ago
  
  77df9f57
Nov 23, 2014
- Reenable tests. (commit 5266186f fixed issue #53 ). · e994d881
  Tomáš Pecka authored 10 years ago
  
  e994d881
Nov 22, 2014
- algo: concat, union+concat tests · 9853e073
  Tomáš Pecka authored 10 years ago
  
  9853e073
Nov 18, 2014
- Algo: Brzozowski Minimize · f1b161a2
  Tomáš Pecka authored 10 years ago
  
  f1b161a2
Nov 15, 2014
- Fix singleInitialState algorithm · 6cdca5de
  Tomáš Pecka authored 10 years ago
  
  6cdca5de
Oct 22, 2014
- More renaming and refactoring · 80bcd299
  Jan Trávníček authored 10 years ago
  
  80bcd299
Oct 21, 2014
- more restructualisations · a309fc9f
  Jan Trávníček authored 10 years ago
  
  a309fc9f
Oct 19, 2014
- reorganise alib2algo · fbecf14a
  Jan Trávníček authored 10 years ago
  
  fbecf14a
Oct 18, 2014
- split TrimFSM · 80174bd8
  Jan Trávníček authored 10 years ago
  
  80174bd8
Oct 12, 2014
- singleInitialState for FSMs in alib2algo · 583a0954
  Jan Trávníček authored 10 years ago
  
  583a0954
Sep 27, 2014
- primitive labes handled using primitives · 0fcb1e56
  Jan Trávníček authored 10 years ago
  
  0fcb1e56
Sep 21, 2014
- Algo: FSM: Make DFA total · da4a24d5
  Tomáš Pecka authored 10 years ago
  
  da4a24d5
- Algo: FSM: Convert multi-initial-states NFA to single initial state NFA · 7bd675dd
  Tomáš Pecka authored 10 years ago
  
  7bd675dd

Admin message