Commits · a4cd9127dcb09a2bc28d6f302bac52dac8eaf468 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Sep 02, 2016
- make strings templated · a4cd9127
  Jan Trávníček authored 8 years ago
  
  a4cd9127
Sep 01, 2016
- templated epsilon · 38eb8f32
  Jan Trávníček authored 8 years ago
  
  38eb8f32
- make EpsilonNFA templated · c55e3098
  Jan Trávníček authored 8 years ago
  
  c55e3098
Aug 25, 2016
- templates for CompactNFA plus some optimisations · ea0a931f
  Jan Trávníček authored 8 years ago
  
  ea0a931f
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
- classes for initial, final, fail state labels · 761f2e94
  Jan Trávníček authored 8 years ago
  
  761f2e94
- and the rest · 5d1ada30
  Jan Trávníček authored 8 years ago
  
  5d1ada30
- continue with alib2algo · 96d6df65
  Jan Trávníček authored 8 years ago
  
  96d6df65
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 9 years ago
  
  9b67e1f1
- simplify dispatch and error reporting · 1b79f68c
  Jan Trávníček authored 9 years ago
  
  1b79f68c
Apr 14, 2016
- AlibException->CommonException in alib2algo · a65e65d4
  Jan Trávníček authored 9 years ago
  
  a65e65d4
Apr 13, 2016
- do not copy in const foreach loops · dbd39826
  Jan Trávníček authored 9 years ago
  
  dbd39826
Apr 08, 2016
- UnboundedRegExp to new alphabets + cleanup · 83b0ce1a
  Jan Trávníček authored 9 years ago
  
  83b0ce1a
- use natural unsigned type · 5141e7e6
  Jan Trávníček authored 9 years ago
  
  5141e7e6
Apr 07, 2016
- replace empty_intersection with excludes algorithm · ac246bfb
  Jan Trávníček authored 9 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