Merge requests · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Merge trains

Various fixes jt+mp

!178 · created Mar 12, 2021 by Jan Trávníček
- Merged
- 2
- 1
updated Mar 12, 2021
tests: Fix wrong select timeout handling since glibc=2.33

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

!176 · created Mar 08, 2021 by Jan Trávníček
- Merged
- 1
updated Mar 08, 2021
README: Add CI note when forking

!175 · created Mar 08, 2021 by Tomáš Pecka
- Merged
updated Mar 08, 2021
Dev sources cleanup

!174 · created Mar 04, 2021 by Tomáš Pecka
updated Mar 08, 2021
Resolve "automaton::transform::AutomatonIteration returns invalid automaton for L*"

!173 · created Jan 31, 2021 by Tomáš Pecka
C-algorithm P-high T-bug
updated Jan 31, 2021
Clang tidy fixes merge

!172 · created Jan 25, 2021 by Jan Trávníček
- Merged
- 3
updated Jan 30, 2021
Random {N,D}FA automata generator, ExtendedNFA fix

!171 · created Jan 02, 2021 by Jan Trávníček
- Merged
- 1
updated Jan 09, 2021
Cppcheck fixes

!170 · created Dec 24, 2020 by Jan Trávníček
- Merged
- 6
- 1
updated Dec 25, 2020
NPDA and NPDTA run

!169 · created Nov 28, 2020 by Jan Trávníček
- Merged
- 10
updated Nov 29, 2020
algo: Fix IsLanguageEmpty return value

!168 · created Nov 17, 2020 by Jan Trávníček
updated Nov 17, 2020
Infra update

!167 · created Nov 15, 2020 by Tomáš Pecka
updated Nov 15, 2020
Fix205

!166 · created Nov 14, 2020 by Jan Trávníček
updated Nov 14, 2020
Fix issue 204 - incorrect deallocation

!165 · created Oct 30, 2020 by Jan Trávníček
updated Oct 30, 2020
algo: fixes in automata union algo

!164 · created Oct 25, 2020 by Jan Trávníček
- Merged
- 1
updated Oct 25, 2020
algo: cleanup automata union

!163 · created Oct 24, 2020 by Jan Trávníček
- Merged
updated Oct 24, 2020
algo: improved undistinguishable states algo

!162 · created Oct 15, 2020 by Jan Trávníček
- Merged
- 1
updated Oct 15, 2020
cmake: Fix determining git version

!161 · created Oct 10, 2020 by Tomáš Pecka
- Merged
updated Oct 10, 2020
Merge fixes

!160 · created Oct 09, 2020 by Jan Trávníček
- Merged
- 1
updated Oct 09, 2020
Merge jt

!159 · created Sep 04, 2020 by Jan Trávníček
- Closed
updated Apr 03, 2021