Commits · 4e47112cf6c27fdcbd188dc09767aefc2817dd44 · 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 11, 2019
- unify renaming code of FTAs · 4e47112c
  Jan Trávníček authored 5 years ago
  
  4e47112c
- tiny optimize · ec32f150
  Jan Trávníček authored 5 years ago
  
  ec32f150
Apr 10, 2019
- use multimap in NFTA · 2ceabadb
  Jan Trávníček authored 5 years ago
  
  2ceabadb
- 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 6 years ago
  
  81afeebd
- use multimap in CompactNFA · 72eecf03
  Jan Trávníček authored 6 years ago
  
  72eecf03
- use multimap in Extended nfa · b886587c
  Jan Trávníček authored 6 years ago
  
  b886587c
- use multiset in MultiInitialStateNFA · f59fa426
  Jan Trávníček authored 6 years ago
  
  f59fa426
- redesign templating of some automata algorithms · 0cbe5736
  Jan Trávníček authored 6 years ago
  
  0cbe5736
- use multimap in EpsilonNFA · 67c13385
  Jan Trávníček authored 6 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
Mar 30, 2019
- Algo: Update minimize doc · 5b6d225c
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  5b6d225c
- Algo: Compute minimal DFA using sets of undistinguishable states · 219056ce
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  219056ce
- Algo: Compute partitions of undistinguishable states · 038558a6
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  038558a6
- Algo: Distinguishable states of DFA · df4f38be
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  df4f38be
- Algo: Check whether DFA/NFA defines an infinite language · 5d7e0886
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 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 01, 2019
- fix FTA to PDA · 69f05a8b
  Jan Trávníček authored 6 years ago
  
  69f05a8b
- template FTA to PostfixPDA · 7e3f919b
  Jan Trávníček authored 6 years ago
  
  7e3f919b
- add NFA and NPDA renaming algo · c59ea8fb
  Jan Trávníček authored 6 years ago
  
  c59ea8fb
Feb 14, 2019
- fix used documentation typo · 90ca5b5c
  Jan Trávníček authored 6 years ago
  
  90ca5b5c
Feb 02, 2019
- user documentation of automata simplification · 5ab8f6aa
  Jan Trávníček authored 6 years ago
  
  5ab8f6aa
- user documentation of automata transformation · 19a1bbce
  Jan Trávníček authored 6 years ago
  
  19a1bbce
- user documentation of automata run algos · ce79e836
  Jan Trávníček authored 6 years ago
  
  ce79e836
- user documentation of algorithm properties · 496bd348
  Jan Trávníček authored 6 years ago
  
  496bd348
- user documentation of automaton generate · e22cfafb
  Jan Trávníček authored 6 years ago
  
  e22cfafb
- user documentation of automaton conversions · d9e084e8
  Jan Trávníček authored 6 years ago
  
  d9e084e8
Feb 01, 2019
- make determinisation documentation available · 161d48fd
  Jan Trávníček authored 6 years ago
  
  161d48fd
- allow setting documentation to algorithm overloads · 4ffe816a
  Jan Trávníček authored 6 years ago
  
  4ffe816a