Commits · 684b86f81fdf65032e62fe486a99d61302dc707d · 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.

Apr 03, 2019
- use require in compaction algo and implement it for NFa · 684b86f8
  Jan Travnicek authored 5 years ago
  
  684b86f8
- fix compaction algo · fda815ea
  Jan Travnicek authored 5 years ago
  
  fda815ea
- add and test use automata detection traits · 320ed635
  Jan Trávníček authored 5 years ago
  
  320ed635
Apr 02, 2019
- use multimap in multi initial state epsilon nfa · 81afeebd
  Jan Travnicek authored 5 years ago
  
  81afeebd
- use multimap in CompactNFA · 72eecf03
  Jan Trávníček authored 5 years ago
  
  72eecf03
- use multimap in Extended nfa · b886587c
  Jan Trávníček authored 5 years ago
  
  b886587c
- use multiset in MultiInitialStateNFA · f59fa426
  Jan Trávníček authored 5 years ago
  
  f59fa426
- redesign templating of some automata algorithms · 0cbe5736
  Jan Trávníček authored 5 years ago
  
  0cbe5736
- use multimap in EpsilonNFA · 67c13385
  Jan Trávníček authored 5 years ago
  
  67c13385
- use multimap in NFA transitions · d30742c5
  Jan Trávníček authored 6 years ago
  
  d30742c5
- some auxiliary algorithms needed by CompactDFA · 035553d9
  Jan Trávníček authored 6 years ago
  
  035553d9
- compactise DFA to CompactDFA · 34a405c5
  Jan Trávníček authored 6 years ago
  
  34a405c5
- fix V2 optimisation of regexps · d80e2c16
  Jan Travnicek authored 5 years ago
  
  d80e2c16
Mar 30, 2019
- Algo: Update minimize doc · 5b6d225c
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 5 years ago
  
  5b6d225c
- Algo: Compute minimal DFA using sets of undistinguishable states · 219056ce
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 5 years ago
  
  219056ce
- Algo: Compute partitions of undistinguishable states · 038558a6
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 5 years ago
  
  038558a6
- Algo: Distinguishable states of DFA · df4f38be
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 5 years ago
  
  df4f38be
- Algo: Check whether DFA/NFA defines an infinite language · 5d7e0886
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 5 years ago
  
  5d7e0886
Mar 27, 2019
- redesign trim FTA · dc65d4b1
  Jan Travnicek authored 6 years ago
  
  dc65d4b1
Mar 26, 2019
- Algo: FA to RE conversion using the algorithm from the proof of the DFA->RE theorem · 95f28a3f
  Tomáš Pecka authored 6 years ago
  
  95f28a3f
Mar 21, 2019
- verbose backward string matching algorithms · 38f78df9
  Jan Trávníček authored 6 years ago
  
  38f78df9
Mar 19, 2019
- enable A9 and some move semantics improvements · f81e77a2
  Jan Trávníček authored 6 years ago
  
  f81e77a2
- enable A8 regexp optimize · 14d6dd76
  Jan Travnicek authored 6 years ago and Jan Trávníček committed 6 years ago
  
  14d6dd76
Mar 14, 2019
- enable V9 regexp optimisation · 920c0f71
  Jan Trávníček authored 6 years ago
  
  920c0f71
Mar 13, 2019
- add reverse V8 regexp optimisation · 2b72060a
  Jan Trávníček authored 6 years ago
  
  2b72060a
- allow another regexp optimization rule · e5054cd1
  Jan Trávníček authored 6 years ago
  
  e5054cd1
Mar 03, 2019
- unify result of DAWG matcher and Naive DAWG matcher construction algo · 45a7b648
  Jan Trávníček authored 6 years ago
  
  45a7b648
- simplify construction of nondeterministic exact factor automaton · 994c0d4e
  Jan Trávníček authored 6 years ago
  
  994c0d4e
- fix construction of nondeterministic exact suffix automaton · da044bff
  Jan Trávníček authored 6 years ago
  
  da044bff
Mar 01, 2019
- fix FTA to PDA · 69f05a8b
  Jan Trávníček authored 6 years ago
  
  69f05a8b
- remove not needed include · 10fcb298
  Jan Trávníček authored 6 years ago
  
  10fcb298
- simplify rte glushkov follow and reuse ftaGlushkov · 4a4f2e5b
  Jan Trávníček authored 6 years ago
  
  4a4f2e5b
- redesign ghlushkov follow · dc9fbc81
  Jan Trávníček authored 6 years ago
  
  dc9fbc81
- Algo: RTE to FTA glushkov (probably working?) · 5078aa2f
  Tomáš Pecka authored 6 years ago and Jan Trávníček committed 6 years ago
  
  5078aa2f
- redesign glushkov follow · be5d20fb
  Jan Trávníček authored 6 years ago
  
  be5d20fb
- glushkov rte preprocess substitution map while traversal · 2d8b321d
  Jan Trávníček authored 6 years ago
  
  2d8b321d
- tiny optimize · 576295e3
  Jan Trávníček authored 6 years ago
  
  576295e3
- template FTA to PostfixPDA · 7e3f919b
  Jan Trávníček authored 6 years ago
  
  7e3f919b
- add NFA and NPDA renaming algo · c59ea8fb
  Jan Trávníček authored 6 years ago
  
  c59ea8fb
Feb 28, 2019
- use visitor in regexp optimize · b17ff9ea
  Jan Travnicek authored 6 years ago
  
  b17ff9ea