Commits · 52e2a4862e460cd0ed39043b33a70c14d745911c · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Oct 10, 2014
- remove UnknownAutomaton UnknownGrammar · 86c6e33d
  Jan Trávníček authored 10 years ago
  
  86c6e33d
Oct 05, 2014
- RealTimeHeightDeterministicDPDA VisiblyPushdownDPDA · a5decc19
  Jan Trávníček authored 10 years ago
  
  a5decc19
Sep 27, 2014
- primitive labes handled using primitives · 0fcb1e56
  Jan Trávníček authored 10 years ago
  
  0fcb1e56
Sep 22, 2014
- Merge · 2cfcc027
  Jan Trávníček authored 10 years ago
  
  2cfcc027
- algo: fa2re StateElimination API correction · 96951612
  Tomáš Pecka authored 10 years ago
  
  96951612
- algo: fa2re: Algebraic API · 8efa194a
  Tomáš Pecka authored 10 years ago
  
  8efa194a
- RHPDA internal form · 01501e0e
  Jan Trávníček authored 10 years ago
  
  01501e0e
Sep 16, 2014
- algo: conversions: Rename classes. 1st part · 2ec68340
  Tomáš Pecka authored 10 years ago
  
  2ec68340
- algo: conversions: namespace · 2a657433
  Tomáš Pecka authored 10 years ago
  
  2a657433
Sep 15, 2014
- symbol, label, state (, string) API · 621b73fc
  Jan Trávníček authored 10 years ago
  
  621b73fc
Sep 14, 2014
- draft InputDriven and VisiblyPushdown automata · 690f8f2d
  Jan Trávníček authored 10 years ago
  
  690f8f2d
Sep 11, 2014
- data: ExtendedNFA: It is sufficient for transition alphabet to be only subset... · 79aa79b8
  Tomáš Pecka authored 10 years ago
  
  data: ExtendedNFA: It is sufficient for transition alphabet to be only subset of automaton's alphabet
  79aa79b8
- algo: post-merge fix · 26045970
  Tomáš Pecka authored 10 years ago
  
  26045970
- algo: StateElimination · 9c4a6b19
  Tomáš Pecka authored 10 years ago
  
  9c4a6b19
Sep 07, 2014
- EpsilonNFA to RE by algebraic method · 2509b901
  Jan Trávníček authored 10 years ago
  
  2509b901
Sep 06, 2014
- regexp optimize · 13a7dd52
  Jan Trávníček authored 10 years ago
  
  13a7dd52
- cleanup code · 7c66feb4
  Jan Trávníček authored 10 years ago
  
  7c66feb4
- c++11 std::move · 804b8f73
  Jan Trávníček authored 10 years ago
  
  804b8f73
- simplify equation creating · e8dd9d08
  Jan Trávníček authored 10 years ago
  
  e8dd9d08
Sep 05, 2014
- support more concrete formalisms · bf30589a
  Jan Trávníček authored 10 years ago
  
  bf30589a
- Algo: Revise conversions dir structure · dde1fcc6
  Tomáš Pecka authored 10 years ago
  
  dde1fcc6

Admin message