Commits · f4cd153ac947e2e216ce4cf616bb99fbf9fd8a30 · Algorithms Library Toolkit / Algorithms Library Toolkit Core · GitLab

Snippets Groups Projects

Due to electrical outage, several university services are very limited. Thank you for your patience while we recover network and affected services.

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.

Jul 08, 2021
- data: drop use of enable if in data · f4cd153a
  Jan Trávníček authored 3 years ago
  
  f4cd153a
Jul 06, 2021
- graph_data: remove unused code · 2f6aab4f
  Jan Trávníček authored 3 years ago
  
  2f6aab4f
- common: use requires instead of enable_if · e5a14779
  Jan Trávníček authored 3 years ago
  
  e5a14779
- abstraction: drop use of enable_if · 43b6c192
  Jan Trávníček authored 3 years ago
  
  43b6c192
Jul 03, 2021
- std: remove require in favor of requires · 5df929c2
  Jan Trávníček authored 3 years ago
  
  5df929c2
- std: improve three-way comparison of tuple and pair · e55d24ac
  Jan Trávníček authored 3 years ago
  
  e55d24ac
- graph_data: remove using namespace std · a6135768
  Jan Trávníček authored 3 years ago
  
  a6135768
- data: optimize transitions from state getter · 430627a4
  Jan Trávníček authored 3 years ago
  
  430627a4
- algo, str: various simplifications · 76c805de
  Jan Trávníček authored 3 years ago
  
  76c805de
- algo: simplify some algos · dd409b69
  Jan Trávníček authored 3 years ago
  
  dd409b69
- std: tuple_size and tuple_element for ext pair · 0ac21245
  Jan Trávníček authored 3 years ago
  
  0ac21245
Jun 23, 2021
- graph algo: fix Dijkstra's algo · 3544acf4
  Jan Trávníček authored 3 years ago
  
  3544acf4
- data: fixup ext vs std in IndexesNormalize · bf6d1072
  Jan Trávníček authored 3 years ago
  
  bf6d1072
- std: fixes in use of spaceship operator · 1f49d21c
  Jan Trávníček authored 3 years ago
  
  1f49d21c
- std: make more relation operators derivable from spaceship · ad32dcb6
  Jan Trávníček authored 3 years ago
  
  ad32dcb6
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