Commits · ef0768fef4de0cf2e403f764248033ebba348cd2 · 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 04, 2020
- first child next sibling unranked to ranked tree · ef0768fe
  Jan Trávníček authored 4 years ago
  
  ef0768fe
Apr 02, 2020
- minimize by partitioning for unordered fta · 5a23a72c
  Jan Trávníček authored 5 years ago
  
  5a23a72c
- unranked tree automata bisimulation · ebde3b29
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 4 years ago
  
  ebde3b29
Mar 08, 2020
- algo: Add algorithm for existence of a synchronizing word on DFA · c75612e9
  Tomáš Pecka authored 5 years ago
  
  Unverified
  
  c75612e9
Feb 06, 2020
- add union of finite (tree) automata by merging · 4b7ad64f
  Jan Trávníček authored 5 years ago
  
  4b7ad64f
- make unranked match really unranked · a50e5bf1
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  a50e5bf1
- catalog normalize tree labels · b842f1b6
  Jan Trávníček authored 5 years ago
  
  b842f1b6
Dec 28, 2019
- fix header guards in some algos · b59a1431
  Jan Trávníček authored 5 years ago
  
  b59a1431
Dec 10, 2019
- fix bisimulation implementation · b8a989dd
  Jan Trávníček authored 5 years ago
  
  b8a989dd
- Unordered DFTA and Unordered pattern matching with FTA · cf313355
  Jan Trávníček authored 5 years ago
  
  cf313355
- prepare unordered tree pattern matching · 4a0c16a1
  Jan Trávníček authored 5 years ago
  
  4a0c16a1
Dec 04, 2019
- improve NFTA determinisation · ab4989bd
  Jan Trávníček authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  ab4989bd
- improve bottom up NFTA pattern matching construction algo · 1f554ac4
  Jan Trávníček authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  1f554ac4
Nov 13, 2019
- allow NFA to be minimized by equivalence classes · 85a06d51
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  85a06d51
- test implementation forward and backward bisimulation FSM · 42a18b90
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  42a18b90
- redesign undistinguishable states computation · ebc6b852
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  ebc6b852
- backward bisimulation and forward bisimulation by definition · 302a4980
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  302a4980
- redesign distinguishable to undistinguishable states relation conversion · f6df4c0b
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  f6df4c0b
- 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
  
  Unverified
  
  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