Commits · 22db9d9d102a4a693c91a8e0794d90cd08db73c9 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Jul 19, 2017
- register first few algos · 22db9d9d
  Jan Trávníček authored 7 years ago
  
  22db9d9d
Jul 16, 2017
- algorithm overloads registration unified · 7968cd68
  Jan Trávníček authored 7 years ago
  
  7968cd68
Apr 12, 2017
- make automaton determinize use set · 940a3ade
  Jan Trávníček authored 8 years ago
  
  940a3ade
- normalize after determinisation · 3331d68e
  Jan Trávníček authored 7 years ago
  
  3331d68e
Jan 11, 2017
- delete some not needed classes + cleanup includes · a1c63108
  Jan Trávníček authored 8 years ago
  
  a1c63108
Dec 28, 2016
- use any object in determinize VPA and RHDPDA · 57d3815c
  Jan Trávníček authored 8 years ago
  
  57d3815c
Dec 22, 2016
- finish transformation from Symbol and Label to Object types · 114f04fc
  Jan Trávníček authored 8 years ago
  
  114f04fc
Dec 20, 2016
- fix invalid use of moves · 022b5558
  Jan Trávníček authored 8 years ago
  
  022b5558
Dec 16, 2016
- Symbol to Label + cleanup and fixes · 16e3e24b
  Jan Trávníček authored 8 years ago
  
  16e3e24b
Nov 26, 2016
- ease requirements on RankType · 3e93e25c
  Jan Trávníček authored 8 years ago
  
  3e93e25c
Oct 11, 2016
- template NFTA automaton · 62add538
  Jan Trávníček authored 8 years ago
  
  62add538
- template DFTA automaton · 264de006
  Jan Trávníček authored 8 years ago
  
  264de006
Oct 10, 2016
- make ranked symbol templated · 310d4b86
  Jan Trávníček authored 8 years ago
  
  310d4b86
Sep 21, 2016
- template VisiblyPushdownNPDA automaton · 1b3deb5f
  Jan Trávníček authored 8 years ago
  
  1b3deb5f
- template VisiblyPushdownDPDA automaton · e165be84
  Jan Trávníček authored 8 years ago
  
  e165be84
- template SinglePopDPDA automaton · 10cc3688
  Jan Trávníček authored 8 years ago
  
  10cc3688
- template RealTimeHeightDeterministicNPDA automaton · fa2f56bf
  Jan Trávníček authored 8 years ago
  
  fa2f56bf
- template RealTimeHeightDetermnisticDPDA automaton · 11106fec
  Jan Trávníček authored 8 years ago
  
  11106fec
Sep 15, 2016
- template NPDA automaton · 15a9e3c9
  Jan Trávníček authored 8 years ago
  
  15a9e3c9
- template InputDrivenNPDA automaton · dd203e42
  Jan Trávníček authored 8 years ago
  
  dd203e42
- template InputDrivenDPDA automaton · 911bd1f3
  Jan Trávníček authored 8 years ago
  
  911bd1f3
- template DPDA automaton · 4dcc8aa9
  Jan Trávníček authored 8 years ago
  
  4dcc8aa9
Sep 05, 2016
- make dispatch algorithms more general · 83e36524
  Jan Trávníček authored 8 years ago
  
  83e36524
Sep 01, 2016
- templated epsilon · 38eb8f32
  Jan Trávníček authored 8 years ago
  
  38eb8f32
Aug 24, 2016
- fix some whitespace errors · 1720cdcf
  Jan Trávníček authored 8 years ago
  
  1720cdcf
- make MultiInitialStateNFA templated · 57d59780
  Jan Trávníček authored 8 years ago
  
  57d59780
- make NFA templated · be2c8adb
  Jan Trávníček authored 8 years ago
  
  be2c8adb
Aug 21, 2016
- continue with templating DFA · 1c655a49
  Jan Trávníček authored 8 years ago
  
  1c655a49
- make OneTapeDTM templated + minimal needed changes · cd3cd414
  Jan Trávníček authored 8 years ago
  
  cd3cd414
- continue with alib2algo · 96d6df65
  Jan Trávníček authored 8 years ago
  
  96d6df65
May 30, 2016
- Stack to PushdownStore rename · df1f7bee
  Jan Trávníček authored 8 years ago
  
  df1f7bee
May 29, 2016
- Tree automata use components · 27e4b72f
  Jan Trávníček authored 8 years ago
  
  27e4b72f
Apr 15, 2016
- simplify dispatch and error reporting · 1b79f68c
  Jan Trávníček authored 8 years ago
  
  1b79f68c
Apr 14, 2016
- AlibException->CommonException in alib2algo · a65e65d4
  Jan Trávníček authored 8 years ago
  
  a65e65d4
Apr 08, 2016
- use natural unsigned type · 5141e7e6
  Jan Trávníček authored 8 years ago
  
  5141e7e6
Apr 07, 2016
- replace empty_intersection with excludes algorithm · ac246bfb
  Jan Trávníček authored 8 years ago
  
  ac246bfb
Mar 23, 2016
- fix determinisation of PDAs · a2052479
  Jan Trávníček authored 9 years ago
  
  a2052479
Feb 25, 2016
- make algo library compile · 5e7ad310
  Jan Trávníček authored 9 years ago
  
  5e7ad310
Feb 23, 2016
- move GlobalData to common · 9998649b
  Jan Trávníček authored 9 years ago
  
  9998649b
Nov 11, 2015
- some verbose output · 1dc97bdc
  Jan Trávníček authored 9 years ago
  
  1dc97bdc

Admin message