Commits · e2877f1b4c71dad0978f516adc72a3262ecfde43 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Dec 11, 2019
- 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
  
  Unverified
  
  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
- fix eof after newline bug in CharSequence · 63ab528a
  Jan Travnicek authored 5 years ago
  
  63ab528a
- add comments · 08e94971
  Jan Travnicek authored 5 years ago
  
  08e94971
- drop parsing negative numbers in lexer · 121dddbf
  Jan Travnicek authored 5 years ago
  
  121dddbf
- operators Lexing redesign · a90cb6dc
  Jan Travnicek authored 5 years ago
  
  a90cb6dc
- redesign some abstraction inner constructs · df8c979e
  Jan Trávníček authored 5 years ago
  
  df8c979e
- extend lexer with some needed symbols · a5f3f1b0
  Jan Trávníček authored 5 years ago
  
  a5f3f1b0
- use optional ref in environment nesting · 251e7e4f
  Jan Trávníček authored 5 years ago
  
  251e7e4f
- take out result interpretation for cli from environment · 2024fafb
  Jan Trávníček authored 5 years ago
  
  2024fafb
- improve lexer tokens printing · 8f78bcae
  Jan Trávníček authored 5 years ago
  
  8f78bcae
- make lexer tokens comparable · 9e3a0991
  Jan Trávníček authored 5 years ago
  
  9e3a0991
- sample aql file · 2185ac3a
  Jan Trávníček authored 5 years ago
  
  2185ac3a
- fixup load and unload statements · 3043d25b
  Jan Trávníček authored 5 years ago
  
  3043d25b
Nov 21, 2019
- CMake: Doxygen target · 173d3037
  Tomáš Pecka authored 5 years ago
  
  173d3037
- CMake: case insensitive BUILD_TYPE · 2915a84d
  Tomáš Pecka authored 5 years ago
  
  2915a84d
Nov 15, 2019
- CI: Disable doc job for a while · 919b6dd0
  Tomáš Pecka authored 5 years ago
  
  919b6dd0

Admin message