- Sep 20, 2022
-
-
Tomáš Pecka authored
Will be used for testing occurrences in ZA/PDA.
-
Tomáš Pecka authored
In long aql scripts sometimes we hit an exception early in the script and the rest of the script continues executing which makes the output really complicated as the errors keep chaining. This commit introduces a 'set exit_on_failure' command which (if true) stops the execution on first exception raised. This is similar to "set -e" command in bash which stops script execution on non-OK exit code.
-
Tomáš Pecka authored
We used debian bookworm instead of debian sid. Only god knows if that was intentional or not.
-
Tomáš Pecka authored
For some reason, setuptools module is missing when running `apkg build`
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
- May 23, 2022
-
-
Tomáš Pecka authored
-
Tomáš Pecka authored
This should speed up CI a bit. CI stages are separated with a barrier, i.e. all the jobs from the previous stage must finish before first job of a next phase starts. In our current build phase we have the following jobs: * build (gcc) * build (clang-sanitizers) * clang-tidy The build jobs are kind-of fast (ca. 5 and 10 mins, but not in parallel, i.e. 15 mins in total) and the clang-tidy job is slow (ca. 27 mins). After the clang-tidy jobs finishes we move on to the test phase where the CI has to download dependencies (i.e. the build directory) in order to run tests (ca. 3 + 5 mins, i.e. 8 minutes). I think we can squeeze this 8 minute-test-jobs into the build phase where we have to wait anyway. Also, we don't have to upload and download the build directory which is a big plus (and can save some time too).
-
Tomáš Pecka authored
No recursion, just iterations using stack.
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
- May 22, 2022
-
-
Tomáš Pecka authored
So far only the PrefixRankedTree -> NPDA version existed. This commit adds a version that constructs an NFTA for RankedTree.
-
- May 15, 2022
-
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
- May 08, 2022
-
-
Tomáš Pecka authored
-
- Apr 29, 2022
-
-
Tomáš Pecka authored
-
- Apr 28, 2022
-
-
Jan Trávníček authored
closes #203 - somehow it works if I broke string parser of automata it must have been in a way tests didn't report it.
-
Jan Trávníček authored
-
- Apr 27, 2022
-
-
Jan Trávníček authored
-
- Apr 25, 2022
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
closes 227
-
- Apr 20, 2022
-
-
Jan Trávníček authored
closes 229
-
- Apr 19, 2022
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
- Apr 18, 2022
-
-
Tomáš Pecka authored
It seems we do not need to alter anything in the spec file.
-
Tomáš Pecka authored
By pulling as much images as we can from local cached copy we could (hopefully) avoid the docker TOOMANYREQUESTS error.
-
- Apr 16, 2022
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-