Merge requests · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Merge jt

!198 · created Nov 23, 2021 by Ing. Jan Trávníček
- Merged
- 0
updated Nov 24, 2021
documentation fixups; str fixups and improvements

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

!196 · created Nov 20, 2021 by peckato1
- Merged
- 0
updated Nov 20, 2021
registry: overload documentation

!195 · created Nov 20, 2021 by peckato1
- Closed
- 1
updated Nov 20, 2021
algo: Add tree::properties::BorderArray for PrefixRankedExtendedPattern

!194 · created Nov 10, 2021 by peckato1
- Closed
- 0
updated Nov 20, 2021
aql: Download new TClap by cmake

!193 · created Oct 27, 2021 by peckato1
D-build D-packaging P-high external/upstream
- Merged
- 0
updated Oct 29, 2021
Some backlog changes from g++-11 adaptation attempts

!192 · created Oct 16, 2021 by Ing. Jan Trávníček
- Merged
- 2
updated Nov 21, 2021
Fixing unintentional copying, possible index out of bounds; Enable compilation with g++-11

!191 · created Oct 15, 2021 by Ing. Jan Trávníček
- Merged
- 10
updated Oct 16, 2021
Improvements in RHDPDA and NPDA determinisation

!190 · created Sep 23, 2021 by Ing. Jan Trávníček
- Merged
- 0
updated Sep 24, 2021
Small changes

!189 · created Aug 14, 2021 by peckato1
- Merged
- 0
updated Aug 14, 2021
Extended tree patterns

!188 · created Jul 20, 2021 by Ing. Jan Trávníček
- Merged
- 0
updated Aug 14, 2021
Merge jt - various fixes and improvements

!187 · created Jul 17, 2021 by Ing. Jan Trávníček
- Merged
- 0
updated Jul 19, 2021
Merge jt

!186 · created Jun 23, 2021 by Ing. Jan Trávníček
- Merged
- 1
updated Jun 28, 2021
Z automata merge

!185 · created May 17, 2021 by Ing. Jan Trávníček
- Merged
- 24
updated May 28, 2021
Tidy fixes merge

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

!183 · created Apr 03, 2021 by Ing. Jan Trávníček
- Merged
- 0
updated Apr 03, 2021
Clang tidy fixes merge

!182 · created Apr 01, 2021 by Ing. Jan Trávníček
- Merged
- 0
updated Apr 02, 2021
Clang tidy fixes merge

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

!180 · created Mar 25, 2021 by Ing. Jan Trávníček
- Closed
- 0
updated Mar 26, 2021
C casts to C++ casts redesign

!179 · created Mar 19, 2021 by Ing. Jan Trávníček
- Merged
- 32
updated Mar 25, 2021