Commits · cfed1b3dbdd9acdb38d09ecbe94e51d5f4d65377 · 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 06, 2018
- 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
- fix invalid use of move · dc18181a
  Jan Trávníček authored 7 years ago
  
  dc18181a
- partial template tree pattern matching automata construction · cd445640
  Jan Trávníček authored 7 years ago
  
  cd445640
- nonlinear TreePatternAutomaton for ranked bar tree · 3df74417
  Jan Trávníček authored 7 years ago
  
  3df74417
- fix normalisation of visibly pushdown automata · 01c8571c
  Jan Trávníček authored 7 years ago
  
  01c8571c
Jan 27, 2018
- ranked bar notation to tree pattern automaton · 1f0f6a6c
  Jan Trávníček authored 7 years ago
  
  1f0f6a6c
Jan 26, 2018
- overload for fail state label of ext unsigned type · 244d6662
  Jan Trávníček authored 7 years ago
  
  244d6662
- template determinisation of InputDrivenPDAs · 866daa2a
  Jan Trávníček authored 7 years ago
  
  866daa2a