Commits · ef52757baefd5298aace7b0e5324b8fc5cf61e93 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Dec 26, 2021
- tests: add missing includes with libc++ · ef52757b
  Jan Trávníček authored 3 years ago
  
  ef52757b
Nov 23, 2021
- tests: split conversions test into multiple ones for better parallelization · 87a7c848
  Jan Trávníček authored 3 years ago
  
  87a7c848
Jan 15, 2021

clang-tidy: some uncategorised fixes · 59a7da43

removal of an unnecessary recursion, addition of forgotten move, removal of
unnecessary const qualifier, change int to -> size_t

59a7da43

Aug 04, 2020

testing: Move integration tests, add support for Aql files · d79fe028

Tomáš Pecka authored 4 years ago

Added support for testing aql files (tests/aql).
Removed alib2integrationtests/ in favour of tests/ directory.

Sorry for a messy commit.
Closes #198.

d79fe028

Mar 26, 2019
- Algo: FA to RE conversion using the algorithm from the proof of the DFA->RE theorem · 95f28a3f
  Tomáš Pecka authored 6 years ago
  
  95f28a3f
Feb 28, 2019
- desing glushkov algorithm for formal regexps · 5ce45205
  Jan Trávníček authored 6 years ago
  
  5ce45205
Feb 22, 2019
- Introduce alib2integrationtest · 27ef056d
  Tomáš Pecka authored 6 years ago and Jan Trávníček committed 6 years ago
  
  27ef056d