Commits · 1123bf6d70175cc8f6a4b314a3defe964fb76249 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Aug 01, 2020
- 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
- handle line and position in parser errors · 88ab4a27
  Jan Trávníček authored 4 years ago and Jan Trávníček committed 4 years ago
  
  88ab4a27
- rename getLine in CharSequence · 80704fe6
  Jan Trávníček authored 4 years ago and Jan Trávníček committed 4 years ago
  
  80704fe6
- extra type traits test · 3d9333a9
  Jan Trávníček authored 4 years ago and Jan Trávníček committed 4 years ago
  
  3d9333a9
- simplify is_in trait · 002c1280
  Jan Trávníček authored 4 years ago and Jan Trávníček committed 4 years ago
  
  002c1280
- 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
Jun 07, 2020
- cmake: use GNUInstallDirs (#187 ) · a1b3eed6
  Tomáš Pecka authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  a1b3eed6
- aql: Fix uncaught exception when env[HOME] does not exist · 6053bf35
  Tomáš Pecka authored 4 years ago
  
  6053bf35
- Revert "CI: Notify webui rebuild" · f0c36913
  Tomáš Pecka authored 4 years ago
  
  This reverts commit 572b1e23. Wrong approach, we need to do this in builder repository.
  f0c36913
Jun 04, 2020
- CI: Notify webui rebuild · 572b1e23
  Tomáš Pecka authored 4 years ago
  
  572b1e23
May 31, 2020
- comparison is always zero · 673d95b1
  Jan Trávníček authored 4 years ago
  
  673d95b1
- 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
- CI: Simplify CI builds · 9103f85b
  Tomáš Pecka authored 4 years ago
  
  9103f85b
- alib2std: Fix include · 4a9387e8
  Tomáš Pecka authored 4 years ago
  
  4a9387e8
- CMake: remove sanitizers from cmake · 901689de
  Tomáš Pecka authored 4 years ago
  
  901689de
- algo: fta2rte state elimination · c8e50ada
  Tomáš Pecka authored 4 years ago
  
  c8e50ada
May 25, 2020
- conditional filesystem include needed by OpenSUSE15.2 · dcf2c79a
  Jan Trávníček authored 4 years ago
  
  dcf2c79a
- fix ambiguous assignment in stream wrappers · 1cf1e633
  Jan Trávníček authored 4 years ago
  
  1cf1e633
- switch to non-experimental filesystem include · acec80b0
  Jan Trávníček authored 4 years ago
  
  acec80b0
- make min max of semirandom device constexpr · 3965b4b8
  Jan Trávníček authored 4 years ago
  
  3965b4b8
- fix comparators of grids · 188a3055
  Jan Trávníček authored 4 years ago
  
  188a3055
- fix tuple vs pair inconsistency · d841790e
  Jan Trávníček authored 4 years ago
  
  d841790e
- drop dependency on non-standard libstdc++ features · 1ac160e9
  Jan Trávníček authored 4 years ago
  
  1ac160e9
- add missing includes · b6d54d39
  Jan Trávníček authored 4 years ago
  
  b6d54d39
May 13, 2020
- Readme: Update website link, update some content ; needs further revision · 4827fe4e
  Tomáš Pecka authored 4 years ago
  
  4827fe4e
May 04, 2020
- make capture of this explicit · 90c10511
  Jan Trávníček authored 4 years ago
  
  90c10511
- 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
- add missing const to various iterator (non)equality operator overloads · e8484a52
  Jan Trávníček authored 4 years ago
  
  e8484a52
May 03, 2020
- redesign heaps to unify comparator interface · d42b3acd
  Jan Trávníček authored 4 years ago
  
  d42b3acd
Apr 29, 2020
- allow parsing of double in the cli · 0b7f3ab0
  Jan Trávníček authored 4 years ago
  
  0b7f3ab0
Apr 27, 2020
- cleanup measurement from aql main binary · 3eedfe35
  Jan Trávníček authored 4 years ago
  
  3eedfe35
- CI: Build on 8 cores · 05b6b917
  Tomáš Pecka authored 4 years ago and Jan Trávníček committed 4 years ago
  
  05b6b917
- fix readline version · 6040c862
  Jan Trávníček authored 4 years ago
  
  6040c862
- fix multiple definitions · 3d5a7c7a
  Jan Trávníček authored 4 years ago
  
  3d5a7c7a
- CI: Debian uses noninteractive frontend · 5cce7e7b
  Tomáš Pecka authored 4 years ago
  
  5cce7e7b
- the generated subject tree should be longer than the pattern · d6e77b6e
  Jan Trávníček authored 4 years ago
  
  d6e77b6e
Apr 26, 2020
- add example measuring script · c3d305ef
  Jan Trávníček authored 4 years ago
  
  c3d305ef

Admin message