Commits · fd911662df239d6d60715e85fbf6856de70eab7f · 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.

Aug 01, 2020
- algo: cover: simplify unit tests, remove boilerplate code · fd911662
  Tomáš Pecka authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  fd911662
- algo: covers: Check also the level of the first element in isBorder · 3bf30949
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  3bf30949
- algo: covers: Extract common function isBorder · 163780af
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  163780af
- algo: covers: Update documentation, use emplace_back instead of push_back · bad58dba
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  bad58dba
- algo: covers: Make class ApproximateEnhancedCoversCommon abstract · a7f4dab1
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  a7f4dab1
- algo: covers: Use automatic allocation instead of dynamic for states · b88d915e
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  b88d915e
- algo: covers: Simplify nested if statements · c44445c5
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  c44445c5
- algo: covers: Use ext::pair instead of std::pair · a9dda656
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  a9dda656
- algo: covers: Change lfactor to a pair of end position and length of factor · 87b9aca3
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  87b9aca3
- algo: covers: Add relaxed approximate enhanced covers · c0f27ae6
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  c0f27ae6
- algo: covers: Add documenation to approximate enhanced covers · 5d476f9a
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  5d476f9a
- algo: covers: Extract common functions of approximate enhanced covers · 31696cd4
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  31696cd4
- algo: covers: Add more extensive tests of approximate enhanced covers · 4510c58d
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  4510c58d
- algo: covers: Fix computing of covered letters in approximate enhanced covers · 05e3b97c
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  05e3b97c
- algo: covers: Fix memory leaks of approximate enhanced covers computation · 1123bf6d
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  1123bf6d
- algo: covers: Add approximate enhaced covers · 0f92d103
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  0f92d103
Jul 20, 2020
- algo: tree border array: Adapt to PSC 2020 version · 2f8deeda
  Tomáš Pecka authored 4 years ago
  
  We changed the BA definition in the paper so the algorithm should change too.
  2f8deeda
May 31, 2020
- more simplifications in ExactPatternMatch · 1f91ca7a
  Jan Trávníček authored 4 years ago
  
  1f91ca7a
- fixes and simplifications in exact subtree match · 777e526a
  Jan Trávníček authored 4 years ago
  
  777e526a
- fixes and simplifications in ExactPatternMatch · c70317d5
  Jan Trávníček authored 4 years ago
  
  c70317d5
May 28, 2020
- algo: fta2rte state elimination · c8e50ada
  Tomáš Pecka authored 4 years ago
  
  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
  
  b078259d
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 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
  
  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