Commits · b71f62d9e053d7bc973f4c307cce7343be98059e · 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 10, 2019
- redesign NFTA determinisation algo · b71f62d9
  Jan Trávníček authored 5 years ago
  
  b71f62d9
- add rename algo for DFTA and NFTA automata · 9a664d5d
  Jan Trávníček authored 5 years ago
  
  9a664d5d
- redesign StateType, SymbolType retrieval from FSMs · b9989265
  Jan Trávníček authored 5 years ago
  
  b9989265
- unify code in automaton rename algo · b448dc86
  Jan Trávníček authored 5 years ago
  
  b448dc86
- unify some algorithm code · 361225b0
  Jan Trávníček authored 5 years ago
  
  361225b0
Apr 03, 2019
- use move semantics in compaction · d83aad67
  Jan Travnicek authored 5 years ago
  
  d83aad67
- 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