Commits · 1dbb5f7c58074b1f7f6f7f4cfc31b1709fb1ac8c · 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.

May 28, 2021
- data: update documentation of various TA · 1dbb5f7c
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  1dbb5f7c
- data: unify AF{D,N}ZA vs {D,N}AFZA to AF{D,N}ZA · e3233cbe
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  e3233cbe
- aux: convert ZAutomaton to Dot · 3f6c9cae
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  3f6c9cae
- algo: simplify UnrankedPatternMatchingAutomaton · ea7a89ef
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  ea7a89ef
- algo: map to bool -> set in automata generators · 225ad4bb
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  225ad4bb
- algo: simplify infinite language · f458ab5b
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  f458ab5b
- algo: simplify regular equations solver · 9c5a13fe
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  9c5a13fe
- algo: optimize EpsilonClosure code · 37fa8e73
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  37fa8e73
- tests: RTE to Epsilon FTA test · 89e981cd
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  89e981cd
- algo: Epsilon exclusion for EpsilonNFTA · 2a1d4873
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  2a1d4873
- aux: EpsilonNFTA to dot converter · 01a6747b
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  01a6747b
- algo: epsilon closure for EpsilonNFTA · 05374275
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  05374275
- algo: RTE to EpsilonNFTA by Thompson's like method · a03f9164
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  a03f9164
- algo: remove not-supposed-to-exist declaration from Glushkov follow · 3ae215b2
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  3ae215b2
- data: add epsilon NFTA · dfedadeb
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  dfedadeb
- examples: another zautomaton example · c11a19e9
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  c11a19e9
- algo: trim of nondeterministic zautomaton · 6ac9daa4
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  6ac9daa4
- algo: trim for Z-Automata · 45eeb955
  Tomáš Pecka authored 3 years ago
  
  45eeb955
- algo: useless states remover for Z-Automata · 051e080d
  Tomáš Pecka authored 3 years ago
  
  051e080d
- algo: unreachable states remover for Z-Automata · 7889f49f
  Tomáš Pecka authored 3 years ago
  
  7889f49f
- algo: reachable states for Z-Automata · 5400f6be
  Tomáš Pecka authored 3 years ago
  
  5400f6be
- algo: useful states for Z-Automata · de7830e2
  Tomáš Pecka authored 3 years ago
  
  de7830e2
- data: isNAFZA and isDAFZA traits · 954b47a7
  Tomáš Pecka authored 3 years ago
  
  954b47a7
- aux: dot converter of arc factored ZAutomata · b42b0ca7
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  b42b0ca7
- xml: fix alphabet node of ZAutomata · 4f6005f1
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  4f6005f1
- algo: add missing header to ForwardBisimulation · f6f78729
  Tomáš Pecka authored 3 years ago
  
  f6f78729
- algo: ZAutomata bisimulation · 61460230
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  61460230
- algo: ZAutomaton to PDA · cef792ef
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  cef792ef
May 11, 2021
- std: re-enable swap in forward_tree, it was correct in the first place · 20a3a7d0
  Jan Trávníček authored 3 years ago
  
  20a3a7d0
- abstraction: const more (run and, getParams) · 7fa9f75e
  Jan Trávníček authored 3 years ago
  
  7fa9f75e
- tidy: remove not needed explicit non-equality operators · 3b35af31
  Jan Trávníček authored 3 years ago
  
  3b35af31
- tidy: fix incorrect foreach over maps · 6ebda628
  Jan Trávníček authored 3 years ago
  
  6ebda628
Apr 03, 2021
- algo: (unordered) unranked trees reference matching · c0ac370e
  Jan Trávníček authored 4 years ago
  
  c0ac370e
- data: unordered unranked trees and patterns · 2e900def
  Jan Trávníček authored 4 years ago
  
  2e900def
- data: fix UnrankedTree documentation · e52da91d
  Jan Trávníček authored 4 years ago
  
  e52da91d
- data: normalize multiset of symbols · 76e4923c
  Jan Trávníček authored 4 years ago
  
  76e4923c
- algo: unranked tree pattern matching using ZAutomata · c96791be
  Jan Trávníček authored 4 years ago
  
  c96791be
- algo: Z-Automata: Rename · 90e1d874
  Jan Trávníček authored 4 years ago
  
  90e1d874
- algo: Z-Automata: run (Occurrences) · 43a25c86
  Jan Trávníček authored 4 years ago
  
  43a25c86
- algo: Z-Automata: run (Accept) · eae33041
  Jan Trávníček authored 4 years ago
  
  eae33041