Commits · d68d2e494090c065e0ecb3bd1b3f2555d1ff18ec · Algorithms Library Toolkit / Algorithms Library Toolkit Core

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
- 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 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 26, 2017
- register common automata algorithms to abstraction · 0f220973
  Jan Trávníček authored 7 years ago
  
  0f220973
Aug 23, 2017
- allow specification of param names in algo reg · 0fc707bc
  Jan Trávníček authored 7 years ago
  
  0fc707bc
Aug 18, 2017
- register Cartesian intersection of automata in abstraction · 02c5085f
  Jan Trávníček authored 7 years ago
  
  02c5085f
Aug 11, 2017
- move pair to ext namespace · 01ff6206
  Jan Trávníček authored 7 years ago
  
  01ff6206
- move deque to ext namespace · 05f56ec9
  Jan Trávníček authored 7 years ago
  
  05f56ec9
- move tuple to ext namespace · 244179cd
  Jan Trávníček authored 7 years ago
  
  244179cd
- move map to ext namespace · 8e681f2c
  Jan Trávníček authored 7 years ago
  
  8e681f2c
- move set to ext namespace · c645a96e
  Jan Trávníček authored 7 years ago
  
  c645a96e
- move vector to ext namespace · 3fef381f
  Jan Trávníček authored 7 years ago
  
  3fef381f
Aug 08, 2017
- move iterator extensions to ext namespace · 7942c75a
  Jan Trávníček authored 7 years ago
  
  7942c75a
Aug 07, 2017
- move algo extensions to ext namespace · fae1e9c0
  Jan Trávníček authored 7 years ago
  
  fae1e9c0
- move range to namespace ext · e85a5799
  Jan Trávníček authored 7 years ago
  
  e85a5799
- move random to namespace ext · a08bfc68
  Jan Trávníček authored 7 years ago
  
  a08bfc68
Aug 05, 2017
- move tree types to namespace ext · 572cdc21
  Jan Trávníček authored 7 years ago
  
  572cdc21
Aug 04, 2017
- move variant to ext namespace · c3589cde
  Jan Trávníček authored 7 years ago
  
  c3589cde
- move to_string and from_string to ext namespace · 91a09721
  Jan Trávníček authored 7 years ago
  
  91a09721
Aug 03, 2017
- move ranked_symbol from namespace std to common · 6e8e7547
  Jan Trávníček authored 7 years ago
  
  6e8e7547
- move dispatch algos from namespace std to alib · e9ada489
  Jan Trávníček authored 7 years ago
  
  e9ada489
Aug 02, 2017
- register remaining callbacks of determinize algo · b28fa169
  Jan Trávníček authored 7 years ago
  
  b28fa169
Aug 01, 2017
- add some const references in determinisation algo · 02fa82d5
  Jan Trávníček authored 7 years ago
  
  02fa82d5
Jul 19, 2017
- register first few algos · 22db9d9d
  Jan Trávníček authored 7 years ago
  
  22db9d9d
Jul 16, 2017
- algorithm overloads registration unified · 7968cd68
  Jan Trávníček authored 7 years ago
  
  7968cd68
- use registration class to unify cast registration · be9de068
  Jan Trávníček authored 7 years ago
  
  be9de068
Jul 03, 2017
- use range in DFAs transitions from state · 5d6ae957
  Jan Trávníček authored 7 years ago
  
  5d6ae957
Apr 25, 2017
- DFTA and NFTA conversion · 0cb28380
  Štěpán Plachý authored 8 years ago and Jan Trávníček committed 7 years ago
  
  0cb28380
- FTA trim algorithm and test · bd47d2f3
  Štěpán Plachý authored 7 years ago and Jan Trávníček committed 7 years ago
  
  bd47d2f3
- DFTA minimize function and test · c9f686cb
  Štěpán Plachý authored 8 years ago and Jan Trávníček committed 7 years ago
  
  c9f686cb
- optimise minimise algorithm · b78b9b38
  Jan Trávníček authored 7 years ago
  
  b78b9b38
Apr 24, 2017
- typo fix · f0b7b18c
  Štěpán Plachý authored 8 years ago and Jan Trávníček committed 7 years ago
  
  f0b7b18c
- normalize Cartesian product based algorithms · 4ec0d1cd
  Jan Trávníček authored 7 years ago
  
  4ec0d1cd
Apr 15, 2017
- normalise Automaton types after normalisation algo · 3d941dba
  Jan Trávníček authored 7 years ago
  
  3d941dba
Apr 12, 2017
- make automaton determinize use set · 940a3ade
  Jan Trávníček authored 8 years ago
  
  940a3ade

Admin message