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

Snippets Groups Projects

From 1. 4., DockerHub introduces new very strict rate limitations on docker image pulls.

Consider changing FROM tags in dockerfiles to use altenative providers or add login step at the beginning of CI/CD job as authenticated requests aren't affected.

Nov 07, 2019
- CMake: Support for providing snapshot versions manually · c6bc1049
  Tomáš Pecka authored 5 years ago
  
  Unverified
  
  c6bc1049
- Remove obsolete CD scripts · d74eca6f
  Tomáš Pecka authored 5 years ago
  
  Unverified
  
  d74eca6f
Nov 04, 2019
- .gitlab-ci.yml · a85b1918
  Tomáš Pecka authored 5 years ago
  
  a85b1918
- Move release jobs to separate repository · 313fdfb1
  Tomáš Pecka authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  Unverified
  
  313fdfb1
Nov 02, 2019
- refactor aql executable, redesign -f, c, and -i flags · 6abe0a87
  Tomáš Pecka authored 5 years ago and Jan Trávníček committed 5 years ago
  
  6abe0a87
- unify cli parser call in CliTest · f10d7514
  Jan Trávníček authored 5 years ago
  
  f10d7514
- simplify parser implementation · 1c2c1029
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  1c2c1029
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
  
  Unverified
  
  8b5327c8
- Register print map<object, set<object>> · 6b19261a
  Tomáš Pecka authored 5 years ago
  
  Unverified
  
  6b19261a
Oct 18, 2019
- Introduce BUILD_TYPE cmake option, fix #164 · c3e7dad5
  Tomáš Pecka authored 5 years ago
  
  Unverified
  
  c3e7dad5
- Add website · 54c4c5cf
  Tomáš Pecka authored 5 years ago
  
  Unverified
  
  54c4c5cf
- CI: update to changes in alt-builder image · 5ea3ebe7
  Tomáš Pecka authored 5 years ago
  
  Unverified
  
  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
  
  Unverified
  
  c41214cc
- Allow printing and comparing of vector<ulong> · ba3f3be6
  Tomáš Pecka authored 5 years ago
  
  Unverified
  
  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
  
  Unverified
  
  f1358010
- Catch2: Update to 2.9.2 · c5a1ddb7
  Tomáš Pecka authored 5 years ago
  
  Unverified
  
  c5a1ddb7
Oct 01, 2019
- CD: Arch deployment: Add grep package needed by repo-add · 121a52b4
  Tomáš Pecka authored 5 years ago
  
  Unverified
  
  121a52b4
- Packaging: Arch: Remove tclap from dependencies · 9fe55a40
  Tomáš Pecka authored 5 years ago
  
  Unverified
  
  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
  
  Unverified
  
  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
  
  Unverified
  
  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