Commits · a5f3f1b046bf4bd88cc0fb98af9d3409efd5fc31 · 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 22, 2019
- 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
- Fix NFA total() · 35df2633
  Tomáš Pecka authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  35df2633
- GlushkovIndexate: Fix function parameter evaluation order (closes #176 ) · f46c7cb7
  Tomáš Pecka authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  f46c7cb7
Nov 09, 2019
- update documentation · 04ee7f15
  Jan Trávníček authored 5 years ago
  
  04ee7f15
- fix some more static assert issues · 3d2b1cdd
  Jan Trávníček authored 5 years ago
  
  3d2b1cdd
- some more cppcheck issues · 7c369dec
  Jan Trávníček authored 5 years ago
  
  7c369dec
- fix some more cppcheck issues · 35ecea47
  Jan Trávníček authored 5 years ago
  
  35ecea47
- fix some cppcheck issues · 2db7fe14
  Jan Trávníček authored 5 years ago
  
  2db7fe14
- proper register unregister scheme in file type registraion · 65f33c0a
  Jan Trávníček authored 5 years ago
  
  65f33c0a
- override equal_range in ext set · b4aa3e86
  Jan Trávníček authored 5 years ago
  
  b4aa3e86
- cast int to char · fa1e08bf
  Jan Trávníček authored 5 years ago
  
  fa1e08bf