Commits · a99b19a16177a264c93c52ce5b12e49b76580fd4 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

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
Nov 03, 2015
- patch up determinisation of RHDPDA · bd19d4ae
  Jan Trávníček authored 9 years ago
  
  bd19d4ae
Oct 29, 2015
- optimize determinisation with dsubset iterator · 23ee6378
  Jan Trávníček authored 9 years ago
  
  23ee6378
Oct 28, 2015
- format code · 193b51d3
  Jan Trávníček authored 9 years ago
  
  193b51d3
- tweak NFA, DFA, IDNPDA determinisation · 1879523c
  Jan Trávníček authored 9 years ago
  
  1879523c
Aug 13, 2015
- continue with determinize · eb7b5fa0
  Jan Trávníček authored 9 years ago
  
  eb7b5fa0
May 20, 2015
- rank is unsigned integer · e35af02c
  Jan Trávníček authored 9 years ago
  
  e35af02c
May 12, 2015
- make alib2algo compilant with llvm · a495ae8c
  Jan Trávníček authored 9 years ago
  
  a495ae8c
May 03, 2015
- move semantics in NFA determinize · 15823ad1
  Jan Trávníček authored 9 years ago
  
  15823ad1
May 01, 2015
- moveable set and used in NFA determinisation algo · 0afa7a6b
  Jan Trávníček authored 9 years ago
  
  0afa7a6b
Apr 27, 2015
- move std dir to separate module · aa101f95
  Jan Trávníček authored 9 years ago
  
  aa101f95
Apr 18, 2015
- Tree automaton determinization accept occurences, random tree generator · 03492001
  Štěpán Plachý authored 9 years ago
  
  03492001
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
- rename InputSymbols to InputAlphabet and similairly · 0a51a6cb
  Jan Trávníček authored 10 years ago
  
  0a51a6cb
- make number of initial states and symbols match formal definitions · ff52c866
  Jan Trávníček authored 10 years ago
  
  ff52c866
Dec 08, 2014
- Speedup and cleanup rhpda and vpa determinize · 293730c3
  Jan Trávníček authored 10 years ago
  
  293730c3
Nov 30, 2014
- change determinize internal api · 485ce712
  Jan Trávníček authored 10 years ago
  
  485ce712
Nov 04, 2014
- simplify determinize binary · bf5e7020
  Jan Trávníček authored 10 years ago
  
  bf5e7020
Oct 30, 2014
- move more · d13953ae
  Jan Trávníček authored 10 years ago
  
  d13953ae
Oct 27, 2014
- fix typos · c9decaa6
  Jan Trávníček authored 10 years ago
  
  c9decaa6
Oct 22, 2014
- More renaming and refactoring · 80bcd299
  Jan Trávníček authored 10 years ago
  
  80bcd299
Oct 19, 2014
- reorganise alib2algo · fbecf14a
  Jan Trávníček authored 10 years ago
  
  fbecf14a

Admin message