Commits · 653a0ad77bead1062898c6abf3a57318e210f0e1 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Aug 09, 2016
- allow specification of fail state in automata run · 9e052067
  Jan Trávníček authored 8 years ago
  
  9e052067
Jul 05, 2016
- use new tree implementation for formal regexps · 0745ab1d
  Jan Trávníček authored 8 years ago
  
  0745ab1d
Jun 16, 2016
- shared_ptr to simplify cleanup of NTPDA run algo · 34d20323
  Jan Trávníček authored 8 years ago
  
  34d20323
May 30, 2016
- Stack to PushdownStore rename · df1f7bee
  Jan Trávníček authored 8 years ago
  
  df1f7bee
- iteration improvements · 76a32400
  Jan Trávníček authored 8 years ago
  
  76a32400
May 29, 2016
- Tree automata use components · 27e4b72f
  Jan Trávníček authored 8 years ago
  
  27e4b72f
May 27, 2016
- Added run capabilities for NPDTA · 0459d0be
  Jakub Doupal authored 8 years ago and Jan Trávníček committed 8 years ago
  
  0459d0be
Apr 15, 2016
- finish simplification of dispatch api · 9b67e1f1
  Jan Trávníček authored 8 years ago
  
  9b67e1f1
- 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 13, 2016
- do not copy in const foreach loops · dbd39826
  Jan Trávníček authored 8 years ago
  
  dbd39826
Apr 08, 2016
- UnboundedRegExp to new alphabets + cleanup · 83b0ce1a
  Jan Trávníček authored 8 years ago
  
  83b0ce1a
- 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 24, 2016
- RHDPDA run transition search · da39eeb7
  Tomáš Pecka authored 9 years ago
  
  da39eeb7
- allow mltiple pops from temporary states · 02f79beb
  Jan Trávníček authored 9 years ago
  
  02f79beb
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
Feb 09, 2016
- auto -> type · 002bfdb5
  Jan Trávníček authored 9 years ago
  
  002bfdb5
Feb 02, 2016
- fix unneeded copying in foreach + bit refactoring · b41230f9
  Jan Trávníček authored 9 years ago
  
  b41230f9
Feb 01, 2016
- refactor iterators to foreach · c92dbd65
  Jan Trávníček authored 9 years ago
  
  c92dbd65
Jan 30, 2016
- Minimize: Label groups by lexicographically smallest state label · 57fa05dc
  Tomáš Pecka authored 9 years ago
  
  57fa05dc
- Minimize: verbose pretty print · 15892f06
  Tomáš Pecka authored 9 years ago
  
  15892f06
Nov 11, 2015
- some verbose output · 1dc97bdc
  Jan Trávníček authored 9 years ago
  
  1dc97bdc
Nov 06, 2015
- clang3.7 build fix · 5f2301a9
  Tomáš Pecka authored 9 years ago
  
  5f2301a9
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
Oct 27, 2015
- return pushdown store from computation · 35e1e5ec
  Jan Trávníček authored 9 years ago
  
  35e1e5ec
Oct 26, 2015
- format code · 7b2e311b
  Jan Trávníček authored 9 years ago
  
  7b2e311b
- reversed push forward pop in PDA <> RHDPDA · 431cfe27
  Jan Trávníček authored 9 years ago
  
  431cfe27
- verbose: print states pushdownStore and transition · b48cfb11
  Jan Trávníček authored 9 years ago
  
  b48cfb11
Oct 25, 2015
- - bottomOfThePushdownStore symbol from stackAlph. · 9712e98c
  Jan Trávníček authored 9 years ago
  
  9712e98c
- run RHDPDA · f3a90454
  Jan Trávníček authored 9 years ago
  
  f3a90454
- castting accepts a function, use in RHDPDA <> PDA · 83b7ca0b
  Jan Trávníček authored 9 years ago
  
  83b7ca0b
Oct 23, 2015
- run vpa + tests · f3bce893
  Jan Trávníček authored 9 years ago
  
  f3bce893
Oct 22, 2015
- code union for run DPDA · 7443817d
  Jan Trávníček authored 9 years ago
  
  7443817d
- format code · 094f761d
  Jan Trávníček authored 9 years ago
  
  094f761d

Admin message