Commits · 8e4e8f253a43203c712ea8a479777c0d0801157e · 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.

Feb 06, 2018
- 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
- cleanup reversed boyer moore horspool for trees · dc890c62
  Jan Trávníček authored 7 years ago
  
  dc890c62
- nonlinear knuth morris like algo for trees · c2c23dbb
  Jan Trávníček authored 7 years ago
  
  c2c23dbb
Jan 25, 2018
- fix documentation of InputDrivenPDAs · 57017721
  Jan Trávníček authored 7 years ago
  
  57017721
- allow printing set of unsigned integers in cli · 82fcfb72
  Jan Trávníček authored 7 years ago
  
  82fcfb72
- proper fix suffix automaton factors algo · 174f23b8
  Jan Trávníček authored 7 years ago
  
  174f23b8
Jan 18, 2018
- some new basic arbology tree+pattern test files · 4d544f41
  Jan Trávníček authored 7 years ago
  
  4d544f41
- some user experience improvements in alib2str · 8222024c
  Jan Trávníček authored 7 years ago
  
  8222024c
- allow immediate value as base of execute colon · 1a92e7f1
  Jan Trávníček authored 7 years ago
  
  1a92e7f1
Jan 17, 2018
- fix suffix automata datastructure and query algo · e0e6b393
  Jan Trávníček authored 7 years ago
  
  e0e6b393
- ranked bar notations extend bars alphabet method · 4ac1156b
  Jan Trávníček authored 7 years ago
  
  4ac1156b
- optimize some arbology algos · 5bb215b0
  Jan Trávníček authored 7 years ago
  
  5bb215b0
- fix by one error in occs reporting by BMH algo · c4fe7254
  Jan Trávníček authored 7 years ago
  
  c4fe7254
- refactoring boyer moore horspool · 812e0083
  Jan Trávníček authored 7 years ago
  
  812e0083
- fix raw Parse wrapper abstraction · 56440f25
  Jan Trávníček authored 7 years ago
  
  56440f25
Jan 12, 2018
- fix full and linear index for trees · 219203e5
  Jan Trávníček authored 7 years ago
  
  219203e5
- continue documentation of Input driven PDAs · 576f5317
  Jan Trávníček authored 7 years ago
  
  576f5317
- fix documentation of FSMs add finite state set · 818bedfa
  Jan Trávníček authored 7 years ago
  
  818bedfa
Jan 10, 2018
- add introduction to user guide · d4929065
  Jan Trávníček authored 7 years ago
  
  d4929065
- extract xml api from label to separate files · c863c079
  Jan Trávníček authored 7 years ago
  
  c863c079
Jan 09, 2018
- documentation improvements · c942b1b4
  Jan Trávníček authored 7 years ago
  
  c942b1b4