Commits · f884e7cb18194a3c2740d4308249a787ad0865b7 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Mar 11, 2020
- move graph normalize class under graph namespace · f884e7cb
  Jan Trávníček authored 5 years ago
  
  f884e7cb
- rename automaton registration file to proper name · 59019ee8
  Jan Trávníček authored 5 years ago
  
  59019ee8
Mar 08, 2020
- algo: Add algorithm for existence of a synchronizing word on DFA · c75612e9
  Tomáš Pecka authored 5 years ago
  
  c75612e9
- cmake: find module for ALT · 96dbf5b6
  Tomáš Pecka authored 5 years ago
  
  96dbf5b6
Feb 15, 2020
- cli: fix include · 0fa3d28b
  Tomáš Pecka authored 5 years ago
  
  0fa3d28b
Feb 06, 2020
- add union of finite (tree) automata by merging · 4b7ad64f
  Jan Trávníček authored 5 years ago
  
  4b7ad64f
- make unranked match really unranked · a50e5bf1
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  a50e5bf1
- catalog normalize tree labels · b842f1b6
  Jan Trávníček authored 5 years ago
  
  b842f1b6
- fix normalization of multi initial state epsilon NFA · 2fb49bc1
  Jan Trávníček authored 5 years ago
  
  2fb49bc1
- type introspection with type · bcaf0fb7
  Jan Trávníček authored 5 years ago
  
  bcaf0fb7
Jan 17, 2020
- add dry-comparisons library + use · cf6d94a8
  Jan Travnicek authored 5 years ago
  
  cf6d94a8
Jan 03, 2020
- redesign abstraction Value hierarchy · 169a5bc3
  Jan Trávníček authored 5 years ago
  
  169a5bc3
Jan 01, 2020
- fix exception description · cba3cd3a
  Jan Trávníček authored 5 years ago
  
  cba3cd3a
- rename ParamQualifiers to TypeQualifiers · fbaeb5ac
  Jan Trávníček authored 5 years ago
  
  fbaeb5ac
Dec 28, 2019
- add basic cli parsing test · 28cdbdf1
  Jan Trávníček authored 5 years ago
  
  28cdbdf1
- declare runnables command · 28fd9129
  Jan Trávníček authored 5 years ago
  
  28fd9129
- move cli test line to common file · cc040652
  Jan Trávníček authored 5 years ago
  
  cc040652
- factor out qualified auto type parsing · 245f50fc
  Jan Trávníček authored 5 years ago
  
  245f50fc
- add type expression to cli · adc61900
  Jan Trávníček authored 5 years ago
  
  adc61900
- variable declaration · 9efc9116
  Jan Trávníček authored 5 years ago
  
  9efc9116
- add break and continue commands · 3f17fa9a
  Jan Trávníček authored 5 years ago
  
  3f17fa9a
- while command · 0a234c4d
  Jan Trávníček authored 5 years ago
  
  0a234c4d
- unify batch and expressions · 1e576519
  Jan Trávníček authored 5 years ago
  
  1e576519
- return command in aql · 752421c1
  Jan Trávníček authored 5 years ago
  
  752421c1
- if command · 72355b23
  Jan Trávníček authored 5 years ago
  
  72355b23
- eval and interpret commands in aql · 996e78ae
  Jan Trávníček authored 5 years ago
  
  996e78ae
- add begin end block statement · 4aaa81fa
  Jan Trávníček authored 5 years ago
  
  4aaa81fa
- error reporting in expression parser · acf0dbf5
  Jan Trávníček authored 5 years ago
  
  acf0dbf5
- expression parsing in cli · a172d771
  Jan Trávníček authored 5 years ago
  
  a172d771
- drop move qualifier from Parser · da386a4b
  Jan Trávníček authored 5 years ago
  
  da386a4b
- drop use of move qualifier in cli · b781a16b
  Jan Trávníček authored 5 years ago
  
  b781a16b
- builtin move in cli · f16e8ab1
  Jan Trávníček authored 5 years ago
  
  f16e8ab1
- fix throw cause string · 50f6d978
  Jan Trávníček authored 5 years ago
  
  50f6d978
- Lazy value proxy abstraction returns cached value only · 74fbc5fa
  Jan Trávníček authored 5 years ago
  
  74fbc5fa
- unify type qualifiers in abstraction value · 91113e48
  Jan Trávníček authored 5 years ago
  
  91113e48
- decouple Value interfaces · a38b84ea
  Jan Trávníček authored 5 years ago
  
  a38b84ea
- raw algorithm registration in abstraction · 5f50abd0
  Jan Trávníček authored 5 years ago
  
  5f50abd0
- 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

Admin message