Commits · 9afc56a1abda2599fac2ac8123209ed36e3a620c · 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.

Nov 13, 2019
- redesign minimize by equivalence partitioning · 9afc56a1
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  9afc56a1
- construction algos for some AAG automata · 9cd08197
  Jan Trávníček authored 5 years ago
  
  9cd08197
- some more determinisation tweaks · fc2d10ae
  Jan Trávníček authored 5 years ago
  
  fc2d10ae
- simplify local closure computation · 8030b6f0
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  8030b6f0
- automaton::simplify::Total: No op for FSM with total transition function (Closes #177 ) · dfd357b6
  Tomáš Pecka authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  dfd357b6
- Algo: CFG alternation/concatenation/iteration (#171 ) · bc250a22
  Tomáš Pecka authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  bc250a22
- GlushkovIndexate: Fix function parameter evaluation order (closes #176 ) · f46c7cb7
  Tomáš Pecka authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  f46c7cb7
Nov 09, 2019
- fix some more static assert issues · 3d2b1cdd
  Jan Trávníček authored 5 years ago
  
  3d2b1cdd
- some more cppcheck issues · 7c369dec
  Jan Trávníček authored 5 years ago
  
  7c369dec
- fix some cppcheck issues · 2db7fe14
  Jan Trávníček authored 5 years ago
  
  2db7fe14
Oct 24, 2019
- Tree MP: Use quadratic BA computation · f31744b6
  Tomáš Pecka authored 5 years ago
  
  f31744b6
- Tree BA: adapt to definition in paper · 78cb2af5
  Tomáš Pecka authored 5 years ago
  
  78cb2af5
Oct 10, 2019
- Tree Border Array - quadratic time solution · c41214cc
  Tomáš Pecka authored 5 years ago
  
  c41214cc
Oct 08, 2019
- fix FormalRegExp Simplify · c94e397e
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  c94e397e
- fix unfortunate condition inverse · d055c4e6
  Jan Trávníček authored 5 years ago
  
  d055c4e6
Sep 29, 2019
- make tree automaton total · a7548798
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  a7548798
- add forgotten reference in Nyldon factoring algo · 7c0788cd
  Jan Trávníček authored 5 years ago
  
  7c0788cd
- remove duplicate code from make total automaton algo · bfe05b1a
  Jan Trávníček authored 5 years ago
  
  bfe05b1a
- remove duplicate code in single initial state epsilon transition · 2f834dbf
  Jan Trávníček authored 5 years ago
  
  2f834dbf
- remove duplicate code in single initial state algo · 19387c37
  Jan Trávníček authored 5 years ago
  
  19387c37
Sep 16, 2019
- simplify unreachable states remover code · 58be2c73
  Jan Trávníček authored 5 years ago
  
  58be2c73
- use ext::excludes instead of intersection computation · 5e89b95e
  Jan Trávníček authored 5 years ago
  
  5e89b95e
- unify repeated code in reachable and useful state computation algos · b1d4373e
  Jan Trávníček authored 5 years ago
  
  b1d4373e
- code shortening of EpsilonClosure class · c6bafd16
  Jan Trávníček authored 5 years ago
  
  c6bafd16
- simplify distinguishable states computation for DFTA · 13eca826
  Jan Trávníček authored 5 years ago
  
  13eca826
- add string reverse algo · 04788817
  Jan Trávníček authored 5 years ago
  
  04788817
- add Nyldon factoring algorithm · fa09834b
  Jan Trávníček authored 5 years ago
  
  fa09834b
- fix Lyndon factoring documentation · d4cd6143
  Jan Trávníček authored 5 years ago
  
  d4cd6143
- safe some symbol comparisons in tree-KM matching · e946d8fb
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  e946d8fb
- tiny improvements · dbbe8164
  Jan Trávníček authored 5 years ago
  
  dbbe8164
- remove not needed includes · 8fd7eb9d
  Jan Trávníček authored 5 years ago
  
  8fd7eb9d
- fix run of RHDPDA · 260ca7c1
  Jan Trávníček authored 5 years ago
  
  260ca7c1
- shorten code · c5465969
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  c5465969
- some more clang-tidy fixes · 315480f2
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  315480f2
Jul 11, 2019
- fixes in knuth morris pratt algo · b9fbd60d
  Jan Trávníček authored 5 years ago
  
  b9fbd60d
- add string knuth morris algorithm · 5c11d751
  Jan Trávníček authored 5 years ago
  
  5c11d751
- remove not needed expression fragments · 9a12ff45
  Jan Trávníček authored 5 years ago
  
  9a12ff45
- unify interface string and tree border array · fe3fe5bc
  Jan Trávníček authored 5 years ago
  
  fe3fe5bc
- remove RankType template parameter from ranked types · 5e380938
  Jan Trávníček authored 5 years ago
  
  5e380938
- move nontemplated code to cpp · 93164446
  Jan Trávníček authored 5 years ago
  
  93164446