Issues · Algorithms Library Toolkit / Algorithms Library Toolkit Core

New issue

Parser does not parse grammar with arithmetic symbols in input alphabet

#212 · opened Feb 06, 2021 by Tomáš Pecka T-bug P-low C-cli
- 0
updated Feb 06, 2021
automaton::transform::AutomatonIteration returns invalid automaton for L*

#211 · opened Jan 30, 2021 by Tomáš Pecka T-bug P-high C-algorithm
- CLOSED
- 1
- 0
updated Jan 31, 2021
Text format for PDAs

#210 · opened Dec 15, 2020 by Tomáš Pecka
- 0
updated Dec 15, 2020
Automaton parser does not recognize `-` as a symbol of alphabet

#209 · opened Dec 08, 2020 by Tomáš Pecka
- 0
updated Feb 06, 2021
EpsilonNPDA and NPDA in automaton run

#208 · opened Nov 29, 2020 by Ing. Jan Trávníček
- 0
updated Nov 29, 2020
ToCNF

#207 · opened Nov 23, 2020 by Tomáš Pecka
- 0
updated Feb 21, 2021
ToCNF creates unreachable nonterminals

#206 · opened Nov 23, 2020 by Tomáš Pecka
- 0
updated Nov 23, 2020
Brzozowski Derivatives stuck on a simple input

#205 · opened Nov 14, 2020 by Tomáš Pecka T-bug P-medium C-algorithm
- 4
updated Nov 14, 2020
RegExpOptimize crash from webui

#204 · opened Oct 30, 2020 by Tomáš Pecka
- CLOSED
- 1
- 1
updated Oct 30, 2020
From-string-parsers not tested

#203 · opened Oct 06, 2020 by Ing. Jan Trávníček
- 3
updated Oct 07, 2020
clang-format

#202 · opened Aug 03, 2020 by Tomáš Pecka Aug 6, 2020 T-feature P-high D-ci
- 2
updated Feb 07, 2021
Stuff to do in August - checklist 13 of 25 tasks completed

#201 · opened Aug 02, 2020 by Tomáš Pecka Sep 1, 2020 T-feature P-high D-ci D-build
- CLOSED
- 3
updated Feb 19, 2021
Indexes location

#200 · opened Aug 01, 2020 by Tomáš Pecka
- 0
updated Aug 01, 2020
Merge Dot2 and Dot algorithms

#199 · opened Jul 20, 2020 by Tomáš Pecka
- CLOSED
- 1
- 0
updated Aug 01, 2020
Integrate aql tests into testing process

#198 · opened Jun 20, 2020 by Tomáš Pecka T-feature P-high D-tests
- CLOSED
- 1
- 1
- 4
updated Aug 05, 2020
Graphviz opens on termination

#197 · opened Jun 08, 2020 by Jan Wijnhorst external/upstream
- 3
updated Nov 08, 2020
Debian repository broken on fit.cvut.cz

#196 · opened Jun 07, 2020 by Jan Wijnhorst
- CLOSED
- 9
updated Jun 09, 2020
Tests

#195 · opened May 17, 2020 by Tomáš Pecka
- 0
updated May 17, 2020
STD extensions incompatible with libc++

#194 · opened May 16, 2020 by Tomáš Pecka external/upstream T-bug P-high D-build
- 7
updated Aug 03, 2020
Catch2 vs doctest

#192 · opened May 01, 2020 by Tomáš Pecka D-tests
- CLOSED
- 2
updated Nov 08, 2020

Prev
1
2
3
4
5
…
Next
Last »