Commits · b078259d81b30dc113b89d1de533376fc9af6c3c · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Apr 18, 2020
- remove unwanted copies · b078259d
  Tomáš Pecka authored 4 years ago
  
  b078259d
- Use =default where appropriate · aadc2dea
  Tomáš Pecka authored 4 years ago
  
  aadc2dea
- std: Remove magic constant in hexavigesimal · edf117d7
  Tomáš Pecka authored 4 years ago
  
  edf117d7
Apr 10, 2020
- do not copy the variant in its visitor · ee2e3350
  Jan Trávníček authored 4 years ago
  
  ee2e3350
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
  
  23b9eb61
- integrationtest: Report stdout and stderr output from child · 890dbeca
  Tomáš Pecka authored 4 years ago
  
  890dbeca
- CI: Test with clang-ubsan and clang-asan too (#188 ) · 55805ac4
  Tomáš Pecka authored 4 years ago
  
  55805ac4
- alib2integrationtest: add sanitizer test · 3fb746af
  Tomáš Pecka authored 4 years ago
  
  3fb746af
- aql: fix tclap visitor leak · d1741cfc
  Tomáš Pecka authored 4 years ago
  
  d1741cfc
- cmake: Fix warning regarding case-sensitivity of find_package · 31e0df4b
  Tomáš Pecka authored 4 years ago
  
  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
  
  bfaa0e0e
Mar 17, 2020
- algo_experimental: Fix compile error · e4e2c4ee
  Tomáš Pecka authored 5 years ago
  
  e4e2c4ee
- integration tests: fix unwanted copy · c9f45c3f
  Tomáš Pecka authored 5 years ago
  
  c9f45c3f
- alib2str: Add MISENFA parser and composer · 9c7ba884
  Tomáš Pecka authored 5 years ago
  
  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
  
  c75612e9
- cmake: find module for ALT · 96dbf5b6
  Tomáš Pecka authored 5 years ago
  
  96dbf5b6
Feb 15, 2020
- cli: fix include · 0fa3d28b
  Tomáš Pecka authored 5 years ago
  
  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

Admin message