Commits · a81219a232cbb74e00c42006fb619c345f58002d · 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.

Sep 07, 2017
- add support for type hinting in file statement · a81219a2
  Jan Trávníček authored 7 years ago
  
  a81219a2
- templatize construction of (Nonlinear)TreePatternAutomaton · 9490756c
  Jan Trávníček authored 7 years ago
  
  9490756c
- fix normalization of input driven xPDA · 809d7575
  Jan Trávníček authored 7 years ago
  
  809d7575
- make arbology indexes properly ranked structures · d7b7bb3d
  Jan Trávníček authored 7 years ago
  
  d7b7bb3d
Sep 06, 2017
- cli syntax + abstraction for parsing set from file · eeec8477
  Jan Trávníček authored 7 years ago
  
  eeec8477
- allow overrides in environment variables · adba10c3
  Jan Trávníček authored 7 years ago
  
  adba10c3
Sep 05, 2017
- use cli in astringology binary · 1a7b9dd3
  Jan Trávníček authored 7 years ago
  
  1a7b9dd3
- register cast from string to bool · 3e9d17df
  Jan Trávníček authored 7 years ago
  
  3e9d17df
- update cli help · ef965abf
  Jan Trávníček authored 7 years ago
  
  ef965abf
- improve registration information · 84bb80a9
  Jan Trávníček authored 7 years ago
  
  84bb80a9
- register some abstractions and overloads · 8f3fc19f
  Jan Trávníček authored 7 years ago
  
  8f3fc19f
- register set of LinearStrings · 7bda9aaa
  Jan Trávníček authored 7 years ago
  
  7bda9aaa
- cli syntax for set construction · 31f307cc
  Jan Trávníček authored 7 years ago
  
  31f307cc
- revise cli options+use in algorithm categorisation · e4da49ea
  Jan Trávníček authored 7 years ago
  
  e4da49ea
- prepare specification of algorithm categories · a7abb9ee
  Jan Trávníček authored 7 years ago
  
  a7abb9ee
- decrease requirements for cli library · d68d2e49
  Jan Trávníček authored 7 years ago
  
  d68d2e49
- improvements in abstraction · a05cff43
  Jan Trávníček authored 7 years ago
  
  a05cff43
- add abstraction for set construction · e544edd9
  Jan Trávníček authored 7 years ago
  
  e544edd9
- YouCompleteMe: fix includes · 2bd1b807
  Tomáš Pecka authored 7 years ago
  
  2bd1b807
- Cli builtin dot: Save in multiple formats · 8a77c965
  Tomáš Pecka authored 7 years ago
  
  8a77c965
Sep 03, 2017
- use cli internally in alangop binary · dde1943f
  Jan Trávníček authored 7 years ago
  
  dde1943f
- use cli internally in atrim binary · 0f4f1864
  Jan Trávníček authored 7 years ago
  
  0f4f1864
- wip use alql in tests · 4d6cfdeb
  Jan Trávníček authored 7 years ago
  
  4d6cfdeb
- use cli in compaction · 38a23283
  Jan Trávníček authored 7 years ago
  
  38a23283
Aug 30, 2017
- use cli in reverse binary · 5316b51b
  Jan Trávníček authored 7 years ago
  
  5316b51b
- use cli internally in derivation, integral binary · 689e0264
  Jan Trávníček authored 7 years ago
  
  689e0264
- add stringApi specialisation for UnboundedRegExp · 7aa1cbb3
  Jan Trávníček authored 7 years ago
  
  7aa1cbb3
- decrease requirements of cli-adapted binaries · d1eb8859
  Jan Trávníček authored 7 years ago
  
  d1eb8859
- use cli internally in echo binary · 32c6c265
  Jan Trávníček authored 7 years ago
  
  32c6c265
- fix indentation determinize binary · 9aa60f7d
  Jan Trávníček authored 7 years ago
  
  9aa60f7d
- use cli internally in rename binary · 842f3c3a
  Jan Trávníček authored 7 years ago
  
  842f3c3a
- use cli internally in minimize · c07a0e37
  Jan Trávníček authored 7 years ago
  
  c07a0e37
- update epsilon to use cli internally · 667147ba
  Jan Trávníček authored 7 years ago
  
  667147ba
Aug 29, 2017
- remove use of multiple dispatch from determinize · a2e6f100
  Jan Trávníček authored 7 years ago
  
  a2e6f100
Aug 28, 2017
- add missing space in overload printing · 73467891
  Jan Trávníček authored 7 years ago
  
  73467891
- add abstraction to compose to string only · 2e157e5b
  Jan Trávníček authored 7 years ago
  
  2e157e5b
Aug 27, 2017
- move helpers to alib2common · a5fedc60
  Jan Trávníček authored 7 years ago
  
  a5fedc60
Aug 26, 2017
- take out core of algorithm evaluation in cli · 448efaa4
  Jan Trávníček authored 7 years ago
  
  448efaa4
- register common automata algorithms to abstraction · 0f220973
  Jan Trávníček authored 7 years ago
  
  0f220973
Aug 25, 2017
- remove not needed code · e15f01cc
  Jan Trávníček authored 7 years ago
  
  e15f01cc