Commits · c5e564a33e137543ce5555404c84f83dc2cf7f35 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

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
Dec 21, 2017
- update includes in algo · 7210180a
  Jan Trávníček authored 7 years ago
  
  7210180a
Nov 07, 2017
- change std::cout to common::Streams::out · 24c2d552
  Jan Trávníček authored 7 years ago
  
  24c2d552
- change std::clog to common::Streams::log · 63f2eee8
  Jan Trávníček authored 7 years ago
  
  63f2eee8
- change std::cerr to common::Streams::err · d729ee82
  Jan Trávníček authored 7 years ago
  
  d729ee82
- make minimize algorithm report number of steps · 185555a8
  Jan Trávníček authored 7 years ago
  
  185555a8
Nov 02, 2017
- heterogeneous lookups · 9f170721
  Jan Trávníček authored 7 years ago
  
  9f170721
Oct 22, 2017
- Epsilon Remover Outgoing: Print eps-closure while in verbose mode · b4eede6b
  Tomáš Pecka authored 7 years ago
  
  b4eede6b
Sep 22, 2017
- optimize includes · 8e288773
  Jan Trávníček authored 7 years ago
  
  8e288773
- split alib2common to common measure and xml · a8554a96
  Jan Trávníček authored 7 years ago
  
  a8554a96
Sep 11, 2017
- new registration of remaining arbology and automata algos · 4c069421
  Jan Trávníček authored 7 years ago
  
  4c069421
- use cli in normalize binary · 89968a59
  Jan Trávníček authored 7 years ago
  
  89968a59
- use cli in rand binary · ad0372b1
  Jan Trávníček authored 7 years ago
  
  ad0372b1
- use cli in conversions · 05ae3b46
  Jan Trávníček authored 7 years ago
  
  05ae3b46
Sep 10, 2017
- use cli in aquery binary · 8c406d31
  Jan Trávníček authored 7 years ago
  
  8c406d31

Admin message