Commits · 50f6d9785fa124e75dc6854f97d228cef3998ad5 · 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.

Dec 28, 2019
- fix throw cause string · 50f6d978
  Jan Trávníček authored 5 years ago
  
  50f6d978
- Lazy value proxy abstraction returns cached value only · 74fbc5fa
  Jan Trávníček authored 5 years ago
  
  74fbc5fa
- unify type qualifiers in abstraction value · 91113e48
  Jan Trávníček authored 5 years ago
  
  91113e48
- decouple Value interfaces · a38b84ea
  Jan Trávníček authored 5 years ago
  
  a38b84ea
- raw algorithm registration in abstraction · 5f50abd0
  Jan Trávníček authored 5 years ago
  
  5f50abd0
- clean readline history in aql on exit · 6683c5f3
  Jan Trávníček authored 5 years ago
  
  6683c5f3
- move on assigning to variable in cli · 70b0784e
  Jan Trávníček authored 5 years ago
  
  70b0784e
- fix header guards in some algos · b59a1431
  Jan Trávníček authored 5 years ago
  
  b59a1431
- move LazyValue under PackingAbstraction · 7ce5a09f
  Jan Trávníček authored 5 years ago
  
  7ce5a09f
- drop life reference from abstraction value · 1c872fc9
  Jan Trávníček authored 5 years ago
  
  1c872fc9
- podpora jsoncpp-1.9.2-r2 na Gentoo · 8acf8349
  Ondřej Guth authored 5 years ago
  
  8acf8349
Dec 18, 2019
- CI: Upgrade libreadline for debian testing · e7aba85b
  Tomáš Pecka authored 5 years ago
  
  e7aba85b
- operator registering facility and int operators · a49fd9c0
  Jan Trávníček authored 5 years ago
  
  a49fd9c0
- improved parser error reporting and parser refactoring · f30dded7
  Jan Trávníček authored 5 years ago
  
  f30dded7
- update documentation · 4ca969bd
  Jan Trávníček authored 5 years ago
  
  4ca969bd
- print statement and redesign results of batches · f4ffb11b
  Jan Trávníček authored 5 years ago
  
  f4ffb11b
- lvalue refs cannot be temporaries · 7b99a66e
  Jan Trávníček authored 5 years ago
  
  7b99a66e
Dec 12, 2019
- implicit move construction of values in abstraction::Value · b942ee4e
  Jan Trávníček authored 5 years ago
  
  b942ee4e
Dec 11, 2019
- move commands under ast · 05620b8e
  Jan Trávníček authored 5 years ago
  
  05620b8e
- redesign value holder qualifier representation · e785c6c3
  Jan Trávníček authored 5 years ago
  
  e785c6c3
- redesign type qualifier representation in abstraction · e2877f1b
  Jan Trávníček authored 5 years ago
  
  e2877f1b
- life reference param for abstraction value clone · 14686320
  Jan Trávníček authored 5 years ago
  
  14686320
- redesign ValueHolder cloning · 889efc4e
  Jan Trávníček authored 5 years ago
  
  889efc4e
- simplify EOTCommand · 334cdaa0
  Jan Trávníček authored 5 years ago
  
  334cdaa0
Dec 10, 2019
- add basic relation properties detection · eb56ee16
  Jan Trávníček authored 5 years ago
  
  eb56ee16
- fix bisimulation implementation · b8a989dd
  Jan Trávníček authored 5 years ago
  
  b8a989dd
- add catch2 patch · 507011d1
  Jan Trávníček authored 5 years ago
  
  507011d1
- reapply wip #147 disable linewraps in catch2 to updated catch2 · 87314472
  Jan Trávníček authored 5 years ago
  
  87314472
- Unordered DFTA and Unordered pattern matching with FTA · cf313355
  Jan Trávníček authored 5 years ago
  
  cf313355
- prepare unordered tree pattern matching · 4a0c16a1
  Jan Trávníček authored 5 years ago
  
  4a0c16a1
Dec 04, 2019
- multiset extensions · 9a8c6b5f
  Jan Trávníček authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  9a8c6b5f
- improve NFTA determinisation · ab4989bd
  Jan Trávníček authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  ab4989bd
- improve ext tree comparison · 34eec775
  Jan Trávníček authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  34eec775
- improve bottom up NFTA pattern matching construction algo · 1f554ac4
  Jan Trávníček authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  1f554ac4
- improvements · c50317c0
  Jan Trávníček authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  c50317c0
- one more grammar example · 72d841ed
  Jan Trávníček authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  72d841ed
- decouple Command and Environment classes · 797051a7
  Jan Trávníček authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  797051a7
Dec 03, 2019
- Register vector<vector<set<object>>> (cyk) · 9b7e476b
  Tomáš Pecka authored 5 years ago
  
  9b7e476b
Nov 28, 2019
- CMake: Fix python warnings · b198c1f9
  Tomáš Pecka authored 5 years ago
  
  b198c1f9
Nov 26, 2019
- CMake: Force CMAKE_BUILD_TYPE set · a83ad318
  Tomáš Pecka authored 5 years ago
  
  a83ad318