Commits · 2eba8e08edb30185a7ca0d567c09e876df81e041 · Algorithms Library Toolkit / Algorithms Library Toolkit Core · GitLab

Snippets Groups Projects

From 1. 4., DockerHub introduces new very strict rate limitations on docker image pulls.

Consider changing FROM tags in dockerfiles to use altenative providers or add login step at the beginning of CI/CD job as authenticated requests aren't affected.

Mar 16, 2018
- fix to string on char datatype · 2eba8e08
  Jan Trávníček authored 7 years ago
  
  2eba8e08
- safer use of EpsilonType in automata · 58f272d3
  Jan Trávníček authored 7 years ago
  
  58f272d3
Mar 15, 2018
- simple tune of one of the grammar tests · 31781e36
  Jan Trávníček authored 7 years ago
  
  31781e36
- document string types · 2e1b61b3
  Jan Trávníček authored 7 years ago
  
  2e1b61b3
Mar 07, 2018
- document RealTimeHeightDeterministic autoamta · e49d0402
  Jan Trávníček authored 7 years ago
  
  e49d0402
- comment the hack/fix · 671dea2c
  Jan Trávníček authored 7 years ago
  
  671dea2c
Mar 06, 2018
- documentation of visibly pushdown PDAs · d5766ed9
  Jan Trávníček authored 7 years ago
  
  d5766ed9
- fix undefined reference to allocator::allocator() · cfed1b3d
  Jan Trávníček authored 7 years ago
  
  cfed1b3d
- document some more automata · d916f499
  Jan Trávníček authored 7 years ago
  
  d916f499
Feb 27, 2018
- fix example in documentation stub · f9c18a8d
  Jan Trávníček authored 7 years ago
  
  f9c18a8d
- update automata documentation · f65ed87c
  Jan Trávníček authored 7 years ago
  
  f65ed87c
- delete not needed statement · e5ca6c45
  Jan Trávníček authored 7 years ago
  
  e5ca6c45
Feb 15, 2018
- revise casting helper functions · f40bec89
  Jan Trávníček authored 7 years ago
  
  f40bec89
Feb 13, 2018
- direct postfix to prefix cast · 4cb38f01
  Jan Trávníček authored 7 years ago
  
  4cb38f01
- update suffix automaton and factor oracle indexes · 997692cb
  Jan Trávníček authored 7 years ago
  
  997692cb
- specific factor oracle automaton · 33a576b3
  Jan Trávníček authored 7 years ago
  
  33a576b3
Feb 09, 2018
- template pattern matching automaton construct algo · 3bfdcf82
  Jan Trávníček authored 7 years ago
  
  3bfdcf82
- template subtree matching automaton construct algo · 4ad1812e
  Jan Trávníček authored 7 years ago
  
  4ad1812e
- fix missing move · 1de1deef
  Jan Trávníček authored 7 years ago
  
  1de1deef
- more PDA determinisation improvements · 671dc9f2
  Jan Trávníček authored 7 years ago
  
  671dc9f2
- continue work on PDA determinisation · 0f440640
  Jan Trávníček authored 7 years ago
  
  0f440640
Feb 08, 2018
- continue simplification PDA determinisation · 389ac495
  Jan Trávníček authored 7 years ago
  
  389ac495
- some simplifications of PDA determinisation · ccd7e4df
  Jan Trávníček authored 7 years ago
  
  ccd7e4df
- add safe include · e033da54
  Jan Trávníček authored 7 years ago
  
  e033da54
- nonrecursive local closure algo · 69290943
  Jan Trávníček authored 7 years ago
  
  69290943
Feb 06, 2018
- simplify VPA and RHDPDA determinisation algo · 05811c4f
  Jan Trávníček authored 7 years ago
  
  05811c4f
- template remaining determinisation algorithms · 3735a6b0
  Jan Trávníček authored 7 years ago
  
  3735a6b0
- register compose callbacks for some other normalized types · 8e4e8f25
  Jan Trávníček authored 7 years ago
  
  8e4e8f25
- fix normalize of RHPDA · 2652b836
  Jan Trávníček authored 7 years ago
  
  2652b836
- ranked_symbol instance specialisation · 31d1aab9
  Jan Trávníček authored 7 years ago
  
  31d1aab9
Feb 01, 2018
- remove not needed code · a6c9747c
  Jan Trávníček authored 7 years ago
  
  a6c9747c
- continue templating determinize algo · 11ffc781
  Jan Trávníček authored 7 years ago
  
  11ffc781
- more concrete nonlinear variable symbol construction · 28a33c49
  Jan Trávníček authored 7 years ago
  
  28a33c49
- more concrete ranked_symbol construction · 02ce24bc
  Jan Trávníček authored 7 years ago
  
  02ce24bc
- documentation DPDA NPDA · 247c2274
  Jan Trávníček authored 7 years ago
  
  247c2274
Jan 30, 2018
- update documentation for some PDAs · cb9a8dea
  Jan Trávníček authored 7 years ago
  
  cb9a8dea
- nonlinear tree pattern automaton space improvement · 27f2cd43
  Jan Trávníček authored 7 years ago
  
  27f2cd43
Jan 28, 2018
- tune instance creation of FailStateLabel · 808cb99e
  Jan Trávníček authored 7 years ago
  
  808cb99e
- expose and test tree pattern automaton on bar notation · 8ce3e300
  Jan Trávníček authored 7 years ago
  
  8ce3e300
- add access method for variables bar on pattern in bar notation · dd8165bd
  Jan Trávníček authored 7 years ago
  
  dd8165bd