Commits · 8466267b2f3ccef5d62db2c4a3f9980edc00358c · 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 09, 2020
- fix variant comparison · 8466267b
  Jan Trávníček authored 4 years ago
  
  8466267b
Apr 06, 2020
- fix undefined behaviour test · e79f141a
  Jan Trávníček authored 4 years ago
  
  e79f141a
- attempt to fix undefined behavior in tree_base · 23b9eb61
  Jan Trávníček authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  Unverified
  
  23b9eb61
- integrationtest: Report stdout and stderr output from child · 890dbeca
  Tomáš Pecka authored 4 years ago
  
  Unverified
  
  890dbeca
- CI: Test with clang-ubsan and clang-asan too (#188 ) · 55805ac4
  Tomáš Pecka authored 4 years ago
  
  Unverified
  
  55805ac4
- alib2integrationtest: add sanitizer test · 3fb746af
  Tomáš Pecka authored 4 years ago
  
  Unverified
  
  3fb746af
- aql: fix tclap visitor leak · d1741cfc
  Tomáš Pecka authored 4 years ago
  
  Unverified
  
  d1741cfc
- cmake: Fix warning regarding case-sensitivity of find_package · 31e0df4b
  Tomáš Pecka authored 4 years ago
  
  Unverified
  
  31e0df4b
Apr 04, 2020
- first child next sibling unranked to ranked tree · ef0768fe
  Jan Trávníček authored 4 years ago
  
  ef0768fe
- ranked tree to dot · 6ffdddfa
  Jan Trávníček authored 4 years ago
  
  6ffdddfa
Apr 03, 2020
- fix naming of parser tokens in cli · 396618ec
  Jan Trávníček authored 4 years ago
  
  396618ec
Apr 02, 2020
- minimize by partitioning for unordered fta · 5a23a72c
  Jan Trávníček authored 5 years ago
  
  5a23a72c
- UnorderedNFTA to Dot · 90b87ee2
  Jan Trávníček authored 5 years ago
  
  90b87ee2
- xmlapi Unordered NFTA · 994c874c
  Jan Trávníček authored 5 years ago
  
  994c874c
- unranked tree automata bisimulation · ebde3b29
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 4 years ago
  
  ebde3b29
- fix error reporting when printing void · cbf3b6d4
  Jan Trávníček authored 5 years ago
  
  cbf3b6d4
Apr 01, 2020
- cmake: allow specifying library directory name (closes #187 ) · bfaa0e0e
  Tomáš Pecka authored 4 years ago
  
  Unverified
  
  bfaa0e0e
Mar 17, 2020
- algo_experimental: Fix compile error · e4e2c4ee
  Tomáš Pecka authored 5 years ago
  
  Unverified
  
  e4e2c4ee
- integration tests: fix unwanted copy · c9f45c3f
  Tomáš Pecka authored 5 years ago
  
  Unverified
  
  c9f45c3f
- alib2str: Add MISENFA parser and composer · 9c7ba884
  Tomáš Pecka authored 5 years ago
  
  Unverified
  
  9c7ba884
Mar 11, 2020
- update alpine build image to 3.11 · 054e13d6
  Jan Trávníček authored 5 years ago
  
  054e13d6
- move graph common helpers under graph::common · 54faf8e9
  Jan Trávníček authored 5 years ago
  
  54faf8e9
- move graph normalize class under graph namespace · f884e7cb
  Jan Trávníček authored 5 years ago
  
  f884e7cb
- rename automaton registration file to proper name · 59019ee8
  Jan Trávníček authored 5 years ago
  
  59019ee8
Mar 08, 2020
- algo: Add algorithm for existence of a synchronizing word on DFA · c75612e9
  Tomáš Pecka authored 5 years ago
  
  Unverified
  
  c75612e9
- cmake: find module for ALT · 96dbf5b6
  Tomáš Pecka authored 5 years ago
  
  Unverified
  
  96dbf5b6
Feb 15, 2020
- cli: fix include · 0fa3d28b
  Tomáš Pecka authored 5 years ago
  
  Unverified
  
  0fa3d28b
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
- fix normalization of multi initial state epsilon NFA · 2fb49bc1
  Jan Trávníček authored 5 years ago
  
  2fb49bc1
- type introspection with type · bcaf0fb7
  Jan Trávníček authored 5 years ago
  
  bcaf0fb7
Jan 17, 2020
- add dry-comparisons library + use · cf6d94a8
  Jan Travnicek authored 5 years ago
  
  cf6d94a8
Jan 03, 2020
- redesign abstraction Value hierarchy · 169a5bc3
  Jan Trávníček authored 5 years ago
  
  169a5bc3
Jan 01, 2020
- fix exception description · cba3cd3a
  Jan Trávníček authored 5 years ago
  
  cba3cd3a
- rename ParamQualifiers to TypeQualifiers · fbaeb5ac
  Jan Trávníček authored 5 years ago
  
  fbaeb5ac
Dec 28, 2019
- add basic cli parsing test · 28cdbdf1
  Jan Trávníček authored 5 years ago
  
  28cdbdf1
- declare runnables command · 28fd9129
  Jan Trávníček authored 5 years ago
  
  28fd9129
- move cli test line to common file · cc040652
  Jan Trávníček authored 5 years ago
  
  cc040652
- factor out qualified auto type parsing · 245f50fc
  Jan Trávníček authored 5 years ago
  
  245f50fc