Merge requests · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Merge trains

tests: Fix wrong select timeout handling since glibc=2.33

!177 · created Mar 11, 2021 by Tomáš Pecka
updated Mar 11, 2021
Various fixes jt+mp

!178 · created Mar 12, 2021 by Jan Trávníček
- Merged
- 2
- 1
updated Mar 12, 2021
C casts to C++ casts redesign

!179 · created Mar 19, 2021 by Jan Trávníček
- Merged
- 32
updated Mar 25, 2021
Clang tidy fixes merge

!181 · created Mar 26, 2021 by Jan Trávníček
updated Mar 26, 2021
Clang tidy fixes merge

!182 · created Apr 01, 2021 by Jan Trávníček
updated Apr 02, 2021
Z automata

!183 · created Apr 03, 2021 by Jan Trávníček
updated Apr 03, 2021
Tidy fixes merge

!184 · created May 12, 2021 by Jan Trávníček
- Merged
- 1
updated May 12, 2021
Z automata merge

!185 · created May 17, 2021 by Jan Trávníček
- Merged
- 24
updated May 28, 2021
Merge jt

!186 · created Jun 23, 2021 by Jan Trávníček
- Merged
- 1
updated Jun 28, 2021
Merge jt - various fixes and improvements

!187 · created Jul 17, 2021 by Jan Trávníček
updated Jul 19, 2021
Extended tree patterns

!188 · created Jul 20, 2021 by Jan Trávníček
updated Aug 14, 2021
Small changes

!189 · created Aug 14, 2021 by Tomáš Pecka
updated Aug 14, 2021
Improvements in RHDPDA and NPDA determinisation

!190 · created Sep 23, 2021 by Jan Trávníček
updated Sep 24, 2021
Fixing unintentional copying, possible index out of bounds; Enable compilation with g++-11

!191 · created Oct 15, 2021 by Jan Trávníček
- Merged
- 10
updated Oct 16, 2021
Some backlog changes from g++-11 adaptation attempts

!192 · created Oct 16, 2021 by Jan Trávníček
- Merged
- 2
updated Nov 21, 2021
aql: Download new TClap by cmake

!193 · created Oct 27, 2021 by Tomáš Pecka
D-build D-packaging P-high external/upstream
updated Oct 29, 2021
Merge tp

!196 · created Nov 20, 2021 by Tomáš Pecka
updated Nov 20, 2021
documentation fixups; str fixups and improvements

!197 · created Nov 22, 2021 by Jan Trávníček
- Merged
- 4
updated Nov 22, 2021
Merge jt

!198 · created Nov 23, 2021 by Jan Trávníček
updated Nov 24, 2021
Revert "str: tune the pair from string parsing"

!199 · created Nov 25, 2021 by Tomáš Pecka
updated Nov 25, 2021