Commits · 72d841ed8ec2c466265aea78275b558836cf5f27 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Dec 04, 2019
- 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
- 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
- Doxygen template · 9f09b98c
  Tomáš Pecka authored 5 years ago
  
  9f09b98c
Nov 13, 2019
- allow NFA to be minimized by equivalence classes · 85a06d51
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  85a06d51
- test implementation forward and backward bisimulation FSM · 42a18b90
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  42a18b90
- redesign undistinguishable states computation · ebc6b852
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  ebc6b852
- backward bisimulation and forward bisimulation by definition · 302a4980
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  302a4980
- redesign distinguishable to undistinguishable states relation conversion · f6df4c0b
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  f6df4c0b
- equivalence relation to equivalence induced partitioning · 0658224d
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  0658224d
- redesign minimize by equivalence partitioning · 9afc56a1
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  9afc56a1
- reduce includes in LibraryLoader · b4852ca2
  Jan Trávníček authored 5 years ago
  
  b4852ca2
- construction algos for some AAG automata · 9cd08197
  Jan Trávníček authored 5 years ago
  
  9cd08197
- some more determinisation tweaks · fc2d10ae
  Jan Trávníček authored 5 years ago
  
  fc2d10ae
- simplify local closure computation · 8030b6f0
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  8030b6f0
- simplify variant extension · 303861c2
  Jan Trávníček authored 5 years ago
  
  303861c2
- some readline interface tuning · 9809bb2f
  Jan Trávníček authored 5 years ago
  
  9809bb2f
- redesign readline interface classes · 4ca41344
  Jan Trávníček authored 5 years ago
  
  4ca41344

Admin message