Commits · 83806e736616640a63d8ac9f0d51cca48bf80789 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Oct 20, 2017
- refactor includes · 83806e73
  Jan Trávníček authored 7 years ago
  
  83806e73
Sep 21, 2017
- split type registrations to xml and abstraction · a5038486
  Jan Trávníček authored 7 years ago
  
  a5038486
Jul 16, 2017
- use registration class to unify type registration · 0b267aed
  Jan Trávníček authored 7 years ago
  
  0b267aed
Oct 04, 2016
- move castApi and xmlApi to core · e7fd80f8
  Jan Trávníček authored 8 years ago
  
  e7fd80f8
Sep 15, 2016
- template InputDrivenDPDA automaton · 911bd1f3
  Jan Trávníček authored 8 years ago
  
  911bd1f3
Aug 23, 2016
- make Automata XML parsing templated · 11228175
  Jan Trávníček authored 8 years ago
  
  11228175
Aug 22, 2016
- make use of to_string function · ff074831
  Jan Trávníček authored 8 years ago
  
  ff074831
Aug 19, 2016
- remove automaton::State in favour of label::Label from data · a35033d1
  Jan Trávníček authored 8 years ago
  
  a35033d1
Aug 02, 2016
- rename components2 to components · 88247925
  Jan Trávníček authored 8 years ago
  
  88247925
Aug 01, 2016
- move updated constraints to header files · a4fd9c00
  Jan Trávníček authored 8 years ago
  
  a4fd9c00
Jul 28, 2016
- update PDAs to new components · b9ffdf21
  Jan Trávníček authored 8 years ago
  
  b9ffdf21
Jun 20, 2016
- fix possible segmentation fault · 7569bf57
  Jan Trávníček authored 8 years ago
  
  7569bf57
May 31, 2016
- more PDAs use components · 1d780324
  Jan Trávníček authored 8 years ago
  
  1d780324
May 30, 2016
- Stack to PushdownStore rename · df1f7bee
  Jan Trávníček authored 8 years ago
  
  df1f7bee
Apr 13, 2016
- do not copy in const foreach loops · dbd39826
  Jan Trávníček authored 8 years ago
  
  dbd39826
Feb 25, 2016
- modify data library to compile · 72c54aba
  Jan Trávníček authored 9 years ago
  
  72c54aba
Feb 19, 2016
- move measurements and sax together before data · bc1a898c
  Jan Trávníček authored 9 years ago
  
  bc1a898c
Nov 19, 2015
- simplify parser function registration · 1914cdaf
  Jan Trávníček authored 9 years ago
  
  1914cdaf
Jul 26, 2015
- finish refactoring xmlApi · 825ae70f
  Jan Trávníček authored 9 years ago
  
  825ae70f
Jul 23, 2015
- continue with automata · 68e098ca
  Jan Trávníček authored 9 years ago
  
  68e098ca
Apr 25, 2015
- move semantics for alib2data · f122eeaa
  Jan Trávníček authored 9 years ago
  
  f122eeaa
Jan 21, 2015
- better setPushdownStoreOperations for InputDrivenPDAs · eae9aee6
  Jan Trávníček authored 10 years ago
  
  eae9aee6
Jan 17, 2015
- inplement InputDrivenDPDA and transform IDPDA examples to new format · 187949b1
  Jan Trávníček authored 10 years ago
  
  187949b1
Jan 12, 2015
- make number of initial states and symbols match formal definitions · ff52c866
  Jan Trávníček authored 10 years ago
  
  ff52c866
Nov 28, 2014
- fix typos · 5bb3d98b
  Jan Trávníček authored 10 years ago
  
  5bb3d98b
Nov 23, 2014
- std::tie compare capability · 0ab49136
  Jan Trávníček authored 10 years ago
  
  0ab49136
- add compare capability to tuple and variant · dd062c85
  Jan Trávníček authored 10 years ago
  
  dd062c85
Nov 20, 2014
- inline compare's double dispatch helper method · d056c892
  Jan Trávníček authored 10 years ago
  
  d056c892
Nov 18, 2014
- operators < and == implemented via compare methods · e2fe0b22
  Jan Trávníček authored 10 years ago
  
  e2fe0b22
Sep 14, 2014
- draft InputDriven and VisiblyPushdown automata · 690f8f2d
  Jan Trávníček authored 10 years ago
  
  690f8f2d