Commits · 4d72c976c79e570afdb494a0b6ace963a862c45a · Algorithms Library Toolkit / Algorithms Library Toolkit Core · GitLab

Snippets Groups Projects

Due to electrical outage, several university services are very limited. Thank you for your patience while we recover network and affected services.

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.

Apr 01, 2018
- take out occurrence test from BMH KMP DZ algos · 4d72c976
  Jan Trávníček authored 6 years ago
  
  4d72c976
- optimize tree pattern pdas · f7b1a076
  Jan Trávníček authored 7 years ago
  
  f7b1a076
- fix opposite push pop for special symbols in PDAs · 5cf57fdc
  Jan Trávníček authored 7 years ago
  
  5cf57fdc
Feb 27, 2018
- delete not needed statement · e5ca6c45
  Jan Trávníček authored 7 years ago
  
  e5ca6c45
Feb 13, 2018
- 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
- 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
- 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
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
Jan 30, 2018
- nonlinear tree pattern automaton space improvement · 27f2cd43
  Jan Trávníček authored 7 years ago
  
  27f2cd43
Jan 28, 2018
- 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
Jan 27, 2018
- ranked bar notation to tree pattern automaton · 1f0f6a6c
  Jan Trávníček authored 7 years ago
  
  1f0f6a6c
Jan 26, 2018
- 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
- proper fix suffix automaton factors algo · 174f23b8
  Jan Trávníček authored 7 years ago
  
  174f23b8
Jan 17, 2018
- fix suffix automata datastructure and query algo · e0e6b393
  Jan Trávníček authored 7 years ago
  
  e0e6b393
- 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
Jan 12, 2018
- fix full and linear index for trees · 219203e5
  Jan Trávníček authored 7 years ago
  
  219203e5
Jan 09, 2018
- introduce SuffixAutomaton as wrapper of DFA · 4b02ab22
  Jan Trávníček authored 7 years ago
  
  4b02ab22
Dec 24, 2017
- match namespace with file path · 71806540
  Jan Trávníček authored 7 years ago
  
  71806540
Dec 21, 2017
- update includes in algo · 7210180a
  Jan Trávníček authored 7 years ago
  
  7210180a
Dec 12, 2017
- remove unused static function header · c87343f5
  Jan Trávníček authored 7 years ago
  
  c87343f5
Nov 25, 2017
- remove not needed ContainerConverter · 90046db4
  Jan Trávníček authored 7 years ago
  
  90046db4
- optimize includes in grammar properties · 7b0c8a2d
  Jan Trávníček authored 7 years ago
  
  7b0c8a2d
Nov 24, 2017
- Algo: Glushkov algorithms for FormalRegExp · ce660561
  Tomáš Pecka authored 7 years ago
  
  ce660561