Commits · cf31335555c67beb5e1a025c848fa68865dde2b9 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Dec 10, 2019
- Unordered DFTA and Unordered pattern matching with FTA · cf313355
  Jan Trávníček authored 5 years ago
  
  cf313355
Dec 04, 2019
- improve NFTA determinisation · ab4989bd
  Jan Trávníček authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  ab4989bd
Nov 13, 2019
- some more determinisation tweaks · fc2d10ae
  Jan Trávníček authored 5 years ago
  
  fc2d10ae
- simplify local closure computation · 8030b6f0
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  8030b6f0
Jul 11, 2019
- remove RankType template parameter from ranked types · 5e380938
  Jan Trávníček authored 5 years ago
  
  5e380938
Jun 04, 2019
- fix some performance clang-tidy issues · 085c0beb
  Jan Trávníček authored 5 years ago
  
  085c0beb
Jun 03, 2019
- fix unintended implicit conversion · 858d38e6
  Jan Travnicek authored 5 years ago
  
  858d38e6
- fix parameter names · 52162076
  Jan Travnicek authored 5 years ago
  
  52162076
- use unnamed namespaces in registration · cab374cf
  Jan Trávníček authored 5 years ago
  
  cab374cf
May 29, 2019
- Parameter names in declaration and definition should be equal · 27055eff
  Tomáš Pecka authored 5 years ago and Jan Trávníček committed 5 years ago
  
  27055eff
- use multimap in RHDPDA and VPA · 7d2a5e3f
  Jan Trávníček authored 5 years ago
  
  7d2a5e3f
May 22, 2019
- InputDrivenNPDA uses multimap in transition · 71232b50
  Jan Trávníček authored 5 years ago
  
  71232b50
May 20, 2019
- replace variant with symbol_or_epsilon in epsilon allowed automata · e58add44
  Jan Travnicek authored 5 years ago
  
  e58add44
May 15, 2019
- some tiny fixes · f129f02e
  Jan Trávníček authored 5 years ago
  
  f129f02e
Apr 10, 2019
- use multimap in NFTA · 2ceabadb
  Jan Trávníček authored 6 years ago
  
  2ceabadb
- redesign NFTA determinisation algo · b71f62d9
  Jan Trávníček authored 6 years ago
  
  b71f62d9
Apr 02, 2019
- use multiset in MultiInitialStateNFA · f59fa426
  Jan Trávníček authored 6 years ago
  
  f59fa426
- use multimap in NFA transitions · d30742c5
  Jan Trávníček authored 6 years ago
  
  d30742c5
Feb 01, 2019
- make determinisation documentation available · 161d48fd
  Jan Trávníček authored 6 years ago
  
  161d48fd
- allow setting documentation to algorithm overloads · 4ffe816a
  Jan Trávníček authored 6 years ago
  
  4ffe816a
Jul 16, 2018
- algo: doc automaton::determinize · 6d177b64
  Tomáš Pecka authored 6 years ago
  
  6d177b64
Jun 14, 2018
- drop dependency on AutomatonFeatures header · fe13ff21
  Jan Trávníček authored 6 years ago
  
  fe13ff21
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
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 10, 2017
- use cli in aquery binary · 8c406d31
  Jan Trávníček authored 7 years ago
  
  8c406d31
Aug 29, 2017
- remove use of multiple dispatch from determinize · a2e6f100
  Jan Trávníček authored 7 years ago
  
  a2e6f100