Commits · 6683c5f30e2653c2c583fee78eb8f5f956ebdfac · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Dec 28, 2019
- 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
Nov 25, 2019
- disallow temporaries to bind to non-const references · f52865b5
  Jan Trávníček authored 5 years ago
  
  f52865b5
Nov 23, 2019
- fix comments · 0c103b06
  Jan Trávníček authored 5 years ago
  
  0c103b06
Nov 22, 2019
- Fix CMAKE_BUILD_TYPE comparison · 1b14a3cd
  Tomáš Pecka authored 5 years ago
  
  1b14a3cd
- declare implicitly nonexistent methods · b86970c5
  Jan Trávníček authored 5 years ago
  
  b86970c5
- fix signed vs unsigned comparison warning · 44cce026
  Jan Travnicek authored 5 years ago
  
  44cce026

Admin message