Commits · f31744b697af8b69f19da82fadf3affe0618a951 · Algorithms Library Toolkit / Algorithms Library Toolkit Core · GitLab

Snippets Groups Projects

Oct 24, 2019
- Tree MP: Use quadratic BA computation · f31744b6
  Tomáš Pecka authored 5 years ago
  
  f31744b6
- Tree BA: adapt to definition in paper · 78cb2af5
  Tomáš Pecka authored 5 years ago
  
  78cb2af5
Oct 23, 2019
- Debian packages dependency version on core (fixes #162 ) · 8325ddb6
  Tomáš Pecka authored 5 years ago
  
  8325ddb6
Oct 22, 2019
- Set proper image for ubuntu disco (fixes #168 ) · 8b5327c8
  Tomáš Pecka authored 5 years ago
  
  8b5327c8
- Register print map<object, set<object>> · 6b19261a
  Tomáš Pecka authored 5 years ago
  
  6b19261a
Oct 18, 2019
- Introduce BUILD_TYPE cmake option, fix #164 · c3e7dad5
  Tomáš Pecka authored 5 years ago
  
  c3e7dad5
- Add website · 54c4c5cf
  Tomáš Pecka authored 5 years ago
  
  54c4c5cf
- CI: update to changes in alt-builder image · 5ea3ebe7
  Tomáš Pecka authored 5 years ago
  
  5ea3ebe7
Oct 17, 2019
- cleanup root, move some scripts, deprecate formatters · e5c7d8a8
  Tomáš Pecka authored 5 years ago
  
  e5c7d8a8
Oct 10, 2019
- Tree Border Array - quadratic time solution · c41214cc
  Tomáš Pecka authored 5 years ago
  
  c41214cc
- Allow printing and comparing of vector<ulong> · ba3f3be6
  Tomáš Pecka authored 5 years ago
  
  ba3f3be6
Oct 08, 2019
- cap symbol rank to 2 in tests · c7705b00
  Jan Trávníček authored 5 years ago
  
  c7705b00
- fix FormalRegExp Simplify · c94e397e
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  c94e397e
- fix unfortunate condition inverse · d055c4e6
  Jan Trávníček authored 5 years ago
  
  d055c4e6
- use Outgoing epsilon remover algo in tests · 7f7e2fc6
  Jan Trávníček authored 5 years ago
  
  7f7e2fc6
Oct 05, 2019
- Integration tests: Slight changes in timeout reporting · f1358010
  Tomáš Pecka authored 5 years ago
  
  f1358010
- Catch2: Update to 2.9.2 · c5a1ddb7
  Tomáš Pecka authored 5 years ago
  
  c5a1ddb7
Oct 01, 2019
- CD: Arch deployment: Add grep package needed by repo-add · 121a52b4
  Tomáš Pecka authored 5 years ago
  
  121a52b4
- Packaging: Arch: Remove tclap from dependencies · 9fe55a40
  Tomáš Pecka authored 5 years ago
  
  9fe55a40
Sep 29, 2019
- fix #160 add missing match option in aql parser · d925c4e8
  Jan Trávníček authored 5 years ago
  
  d925c4e8
- use anonymous function in tuple print · f9e8a9a3
  Jan Trávníček authored 5 years ago
  
  f9e8a9a3
- make tree automaton total · a7548798
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  a7548798
- add forgotten reference in Nyldon factoring algo · 7c0788cd
  Jan Trávníček authored 5 years ago
  
  7c0788cd
- remove duplicate code from make total automaton algo · bfe05b1a
  Jan Trávníček authored 5 years ago
  
  bfe05b1a
- remove duplicate code in single initial state epsilon transition · 2f834dbf
  Jan Trávníček authored 5 years ago
  
  2f834dbf
- remove duplicate code in single initial state algo · 19387c37
  Jan Trávníček authored 5 years ago
  
  19387c37
Sep 27, 2019
- CI/CD: Package & deploy: Debian, Arch, Ubuntu, Docker, sources · 54e7d5f9
  Tomáš Pecka authored 5 years ago
  
  54e7d5f9
Sep 23, 2019
- update readme and doc · 7383ce33
  Jan Travnicek authored 5 years ago
  
  7383ce33
- remove old file · d01d80fd
  Jan Travnicek authored 5 years ago
  
  d01d80fd
Sep 20, 2019
- CI: Run build: and test: on ALTBUILDER machine · b5a6c5f8
  Tomáš Pecka authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  b5a6c5f8
Sep 16, 2019
- simplify unreachable states remover code · 58be2c73
  Jan Trávníček authored 5 years ago
  
  58be2c73
- use ext::excludes instead of intersection computation · 5e89b95e
  Jan Trávníček authored 5 years ago
  
  5e89b95e
- unify repeated code in reachable and useful state computation algos · b1d4373e
  Jan Trávníček authored 5 years ago
  
  b1d4373e
- code shortening of EpsilonClosure class · c6bafd16
  Jan Trávníček authored 5 years ago
  
  c6bafd16
- simplify distinguishable states computation for DFTA · 13eca826
  Jan Trávníček authored 5 years ago
  
  13eca826
- use string view in string trim · a4a891a7
  Jan Trávníček authored 5 years ago
  
  a4a891a7
- implement semicolon separation of commands · fd93cba8
  Jan Trávníček authored 5 years ago
  
  fd93cba8
- add string reverse algo · 04788817
  Jan Trávníček authored 5 years ago
  
  04788817
- add Nyldon factoring algorithm · fa09834b
  Jan Trávníček authored 5 years ago
  
  fa09834b
- fix Lyndon factoring documentation · d4cd6143
  Jan Trávníček authored 5 years ago
  
  d4cd6143