Commits · 389ac49590d9fd080a26dc0a957b1a3bfbeb5c9c · Algorithms Library Toolkit / Algorithms Library Toolkit Core

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
- update epsilon to use cli internally · 667147ba
  Jan Trávníček authored 7 years ago
  
  667147ba
Aug 29, 2017
- remove use of multiple dispatch from determinize · a2e6f100
  Jan Trávníček authored 7 years ago
  
  a2e6f100
Aug 26, 2017
- register common automata algorithms to abstraction · 0f220973
  Jan Trávníček authored 7 years ago
  
  0f220973
Aug 23, 2017
- allow specification of param names in algo reg · 0fc707bc
  Jan Trávníček authored 7 years ago
  
  0fc707bc
Aug 18, 2017
- register Cartesian intersection of automata in abstraction · 02c5085f
  Jan Trávníček authored 7 years ago
  
  02c5085f
Aug 11, 2017
- move pair to ext namespace · 01ff6206
  Jan Trávníček authored 7 years ago
  
  01ff6206
- move deque to ext namespace · 05f56ec9
  Jan Trávníček authored 7 years ago
  
  05f56ec9
- move tuple to ext namespace · 244179cd
  Jan Trávníček authored 7 years ago
  
  244179cd
- move map to ext namespace · 8e681f2c
  Jan Trávníček authored 7 years ago
  
  8e681f2c

Admin message