Commits · f52865b5011eedd3ebe310d37852a4394ae28686 · 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 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
- 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
- more of cli char sequence redesign · d9cbc3f2
  Jan Trávníček authored 5 years ago
  
  d9cbc3f2
- Disable THAT measure test (we all know what test i am talking about) · fa887d5c
  Tomáš Pecka authored 5 years ago
  
  fa887d5c
- automaton::simplify::Total: No op for FSM with total transition function (Closes #177 ) · dfd357b6
  Tomáš Pecka authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  dfd357b6
- LatexConverter for finite automata and RRG/CFG (Closes #172 ). · 1b6f3bd5
  Tomáš Pecka authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  1b6f3bd5
- Algo: CFG alternation/concatenation/iteration (#171 ) · bc250a22
  Tomáš Pecka authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  bc250a22