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

Aug 24, 2016
- make NFA templated · be2c8adb
  Jan Trávníček authored 8 years ago
  
  be2c8adb
Aug 21, 2016
- continue with templating DFA · 1c655a49
  Jan Trávníček authored 8 years ago
  
  1c655a49
- make OneTapeDTM templated + minimal needed changes · cd3cd414
  Jan Trávníček authored 8 years ago
  
  cd3cd414
- classes for initial, final, fail state labels · 761f2e94
  Jan Trávníček authored 8 years ago
  
  761f2e94
- make wrapper base more safe · c2f56c27
  Jan Trávníček authored 8 years ago
  
  c2f56c27
- and the rest · 5d1ada30
  Jan Trávníček authored 8 years ago
  
  5d1ada30
- continue with alib2algo · 96d6df65
  Jan Trávníček authored 8 years ago
  
  96d6df65
Aug 09, 2016
- implementation of nonlinear tree pattern automaton construction algorithm · 11cf64b4
  Jan Trávníček authored 8 years ago
  
  11cf64b4
- allow specification of fail state in automata run · 9e052067
  Jan Trávníček authored 8 years ago
  
  9e052067
- single nonlinear variable param of random generator of nonlinear ranked patterns · 69bb15f6
  Jan Trávníček authored 8 years ago
  
  69bb15f6
Aug 06, 2016
- GlushkovRTE: Simplify subMap processing. · fffba43f
  Tomáš Pecka authored 8 years ago and Jan Trávníček committed 8 years ago
  
  fffba43f
- RTE: Constant alphabet shall now be known as Subst. alphabet · 278e747a
  Tomáš Pecka authored 8 years ago and Jan Trávníček committed 8 years ago
  
  278e747a
- RTE: GlushkovRTE rewritten and simplified · 90f806f4
  Tomáš Pecka authored 8 years ago and Jan Trávníček committed 8 years ago
  
  90f806f4
- Regexps: Rename indexate to index · 2d0617a2
  Tomáš Pecka authored 8 years ago and Jan Trávníček committed 8 years ago
  
  2d0617a2
Aug 05, 2016
- setting of subtree wildcard from access binary · adc177df
  Jan Trávníček authored 8 years ago
  
  adc177df
Aug 03, 2016
- rename parameter to appropriate name · 0144aacc
  Jan Trávníček authored 8 years ago
  
  0144aacc
Jul 23, 2016
- add reversed variants for nonlinear bltpm · a0866678
  Jan Trávníček authored 8 years ago
  
  a0866678
Jul 22, 2016
- fix implementation of bmh for trees · 30acc960
  Jan Trávníček authored 8 years ago
  
  30acc960
Jul 21, 2016
- bcs on nonlinear tree patterns · 07a6ac05
  Jan Trávníček authored 8 years ago
  
  07a6ac05
- generate random nonlinear tree patterns · d7dd8f34
  Jan Trávníček authored 8 years ago
  
  d7dd8f34
- naive exact pattern matching of nonlinear patterns · c39ac88f
  Jan Trávníček authored 8 years ago
  
  c39ac88f
Jul 19, 2016
- unbounded regexp optimisation improvements · f1fa749a
  Jan Trávníček authored 8 years ago
  
  f1fa749a
- direct constr. of some tmp regexps in optimisation · e238c4f8
  Jan Trávníček authored 8 years ago
  
  e238c4f8
- better constr. of temp regexps in optimisations · d73247a2
  Jan Trávníček authored 8 years ago
  
  d73247a2
- add some regexp optimize tests · cc4946e5
  Jan Trávníček authored 8 years ago
  
  cc4946e5
- finish regexp optimize simplification · 2ef3d26c
  Jan Trávníček authored 8 years ago
  
  2ef3d26c
- simplify public functions of regexp optimize · 66df2aca
  Jan Trávníček authored 8 years ago
  
  66df2aca
- simplify internal regexp optimize api · ad6eb395
  Jan Trávníček authored 8 years ago
  
  ad6eb395
- specialize public optimisation methods · 5fe9d5ce
  Jan Trávníček authored 8 years ago
  
  5fe9d5ce
- rename inner optimize functions · f21625ad
  Jan Trávníček authored 8 years ago
  
  f21625ad
- optimize optimisations · b681639b
  Jan Trávníček authored 8 years ago
  
  b681639b
- make optimisation functions static · bbd90d39
  Jan Trávníček authored 8 years ago
  
  bbd90d39
Jul 18, 2016
- enable more regexp optimisations · a5271286
  Jan Trávníček authored 8 years ago
  
  a5271286
Jul 08, 2016
- add optimisation \e* -> \e to FormalRegExpOptimize · 098bf208
  Jan Trávníček authored 8 years ago
  
  098bf208
- use unique in x+x->x regexp optimisation · 6268d024
  Jan Trávníček authored 8 years ago
  
  6268d024
Jul 07, 2016
- unbounded regexps use new tree representation · edb3c71a
  Jan Trávníček authored 8 years ago
  
  edb3c71a
Jul 05, 2016
- use new tree implementation for formal regexps · 0745ab1d
  Jan Trávníček authored 8 years ago
  
  0745ab1d
Jun 23, 2016
- finish refactoring RTE data structures · 45a2834d
  Jan Trávníček authored 8 years ago
  
  45a2834d
Jun 22, 2016
- GlushkovRTE: add optional verbosity · 6b0e23ff
  Tomáš Pecka authored 8 years ago and Jan Trávníček committed 8 years ago
  
  View commits for tag DP-peckatom DP-peckatom
  
  6b0e23ff
- GlushkovRTEFollow: Follow math, debug, example · 0d45f40f
  Tomáš Pecka authored 8 years ago and Jan Trávníček committed 8 years ago
  
  0d45f40f