Commits · d30742c5fd26bd57430724d0cc544fdd1e817c41 · 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 02, 2019
- 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 6 years ago
  
  d80e2c16
Mar 30, 2019
- Algo: Update minimize doc · 5b6d225c
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  5b6d225c
- Algo: Compute minimal DFA using sets of undistinguishable states · 219056ce
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  219056ce
- Algo: Compute partitions of undistinguishable states · 038558a6
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  038558a6
- Algo: Distinguishable states of DFA · df4f38be
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  df4f38be
- Algo: Check whether DFA/NFA defines an infinite language · 5d7e0886
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 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
- wip redesign unbounded regexp optimisations · c6ec7999
  Jan Trávníček authored 6 years ago
  
  c6ec7999
- desing glushkov algorithm for formal regexps · 5ce45205
  Jan Trávníček authored 6 years ago
  
  5ce45205
- reimplement V8 unbounded regexp optimisation pattern · 977a0f13
  Jan Trávníček authored 6 years ago
  
  977a0f13
Feb 27, 2019
- fix const safeness of dereferencing iterator · 5ce12c3d
  Jan Trávníček authored 6 years ago
  
  5ce12c3d
Feb 25, 2019
- Unit tests: CPPUNIT -> Catch2: algo · 496852b9
  Tomáš Pecka authored 6 years ago
  
  496852b9
Feb 21, 2019
- simplify glushkov rte implementation · 9927dfb9
  Jan Trávníček authored 6 years ago
  
  9927dfb9
Feb 20, 2019
- finish template rte glushkov algo · b1e231d4
  Jan Trávníček authored 6 years ago
  
  b1e231d4
- finish template naive Glushkov rte · 9b37c0e3
  Jan Trávníček authored 6 years ago
  
  9b37c0e3
Feb 19, 2019
- update documentation of string algos · 68937b3f
  Jan Trávníček authored 6 years ago
  
  68937b3f