Commits · 4c05f60172471d5952c93186aba816bec0cec378 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

"git@gitlab.fit.cvut.cz:stercjak/BP.git" did not exist on "7de1f843ce89731101668b9ab2325890ab10ae0f"

Oct 15, 2020
- algo: improved undistinguishable states algo · 4c05f601
  Jan Trávníček authored 4 years ago
  
  4c05f601
May 28, 2020
- algo: fta2rte state elimination · c8e50ada
  Tomáš Pecka authored 4 years ago
  
  Unverified
  
  c8e50ada
May 04, 2020
- algo: Fix parameter documentation in random automaton generators · 383c9fd2
  Tomáš Pecka authored 4 years ago and Jan Trávníček committed 4 years ago
  
  383c9fd2
Apr 23, 2020
- intersect deterministic tree automata · f77d8d09
  Jan Trávníček authored 4 years ago
  
  f77d8d09
Apr 18, 2020
- remove unwanted copies · b078259d
  Tomáš Pecka authored 4 years ago
  
  Unverified
  
  b078259d
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 5 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
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
Dec 04, 2019
- improve NFTA determinisation · ab4989bd
  Jan Trávníček authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  ab4989bd
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
Nov 09, 2019
- 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 08, 2019
- 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
- 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
- tiny improvements · dbbe8164
  Jan Trávníček authored 5 years ago
  
  dbbe8164
- 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
- remove RankType template parameter from ranked types · 5e380938
  Jan Trávníček authored 5 years ago
  
  5e380938

Admin message