Commits · b9315172cb52f8b7b01a492fac15282894ed195d · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Jul 10, 2018
- 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
Sep 08, 2017
- use cli in run binary · 9409e0d5
  Jan Trávníček authored 7 years ago
  
  9409e0d5
Sep 05, 2017
- prepare specification of algorithm categories · a7abb9ee
  Jan Trávníček authored 7 years ago
  
  a7abb9ee
Sep 03, 2017
- use cli internally in alangop binary · dde1943f
  Jan Trávníček authored 7 years ago
  
  dde1943f
- use cli internally in atrim binary · 0f4f1864
  Jan Trávníček authored 7 years ago
  
  0f4f1864
- use cli in compaction · 38a23283
  Jan Trávníček authored 7 years ago
  
  38a23283
Aug 30, 2017
- use cli in reverse binary · 5316b51b
  Jan Trávníček authored 7 years ago
  
  5316b51b
- use cli internally in rename binary · 842f3c3a
  Jan Trávníček authored 7 years ago
  
  842f3c3a
- use cli internally in minimize · c07a0e37
  Jan Trávníček authored 7 years ago
  
  c07a0e37

Admin message