Commits · b3e11ff70b4fd33cd5321b372d9c18b651aa94bc · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Apr 04, 2018
- finish documentation of tree automata · b3e11ff7
  Jan Trávníček authored 6 years ago
  
  b3e11ff7
- document NFTA automaton · 0d06a81f
  Jan Trávníček authored 6 years ago
  
  0d06a81f
Feb 09, 2018
- fix missing move · 1de1deef
  Jan Trávníček authored 7 years ago
  
  1de1deef
Dec 24, 2017
- match namespace with file path · 71806540
  Jan Trávníček authored 7 years ago
  
  71806540
Dec 21, 2017
- update includes in data · f656f4a7
  Jan Trávníček authored 7 years ago
  
  f656f4a7
Dec 11, 2017
- update xml registration · bf8c0299
  Jan Trávníček authored 7 years ago
  
  bf8c0299
Nov 15, 2017
- revise components · b5183959
  Jan Trávníček authored 7 years ago
  
  b5183959
Oct 20, 2017
- remove naming api · 1692f4fc
  Jan Trávníček authored 7 years ago
  
  1692f4fc
- refactor includes · 83806e73
  Jan Trávníček authored 7 years ago
  
  83806e73
Sep 22, 2017
- split alib2common to common measure and xml · a8554a96
  Jan Trávníček authored 7 years ago
  
  a8554a96
Sep 21, 2017
- split type registrations to xml and abstraction · a5038486
  Jan Trávníček authored 7 years ago
  
  a5038486
Sep 18, 2017
- make compose methods static and use registration · d7800491
  Jan Trávníček authored 7 years ago
  
  d7800491
Sep 16, 2017
- reinvent normalize · f7a58637
  Jan Trávníček authored 7 years ago
  
  f7a58637
- add move getters to datatypes · 46d08c31
  Jan Trávníček authored 7 years ago
  
  46d08c31
Aug 11, 2017
- move type_index to ext namespace and cleanup · 7a63c2a6
  Jan Trávníček authored 7 years ago
  
  7a63c2a6
- 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 map and set extensions to ext namespace · d1ea919c
  Jan Trávníček authored 7 years ago
  
  d1ea919c
Aug 07, 2017
- move algo extensions to ext namespace · fae1e9c0
  Jan Trávníček authored 7 years ago
  
  fae1e9c0
Aug 04, 2017
- move to_string and from_string to ext namespace · 91a09721
  Jan Trávníček authored 7 years ago
  
  91a09721
- move compare to ext namespace · 5d9691d4
  Jan Trávníček authored 7 years ago
  
  5d9691d4
Aug 03, 2017
- move ranked_symbol from namespace std to common · 6e8e7547
  Jan Trávníček authored 7 years ago
  
  6e8e7547
- move components from namespace std to alib · 3de6f0ef
  Jan Trávníček authored 7 years ago
  
  3de6f0ef
Jul 16, 2017
- use registration class to unify type registration · 0b267aed
  Jan Trávníček authored 7 years ago
  
  0b267aed
- make datatypes final · e5db9d8a
  Jan Trávníček authored 7 years ago
  
  e5db9d8a
Jul 07, 2017
- expose normalized type in some classes · ac9ea46b
  Jan Trávníček authored 7 years ago
  
  ac9ea46b
Apr 13, 2017
- optimize normalisation · 6771c3c2
  Jan Trávníček authored 7 years ago
  
  6771c3c2
Apr 09, 2017
- unify common normalize functions · 1eea4716
  Jan Trávníček authored 7 years ago
  
  1eea4716
Apr 05, 2017
- normalize tree automata · 8deb0f86
  Jan Trávníček authored 7 years ago
  
  8deb0f86
- addTransitions in tree automata · d66ae442
  Jan Trávníček authored 7 years ago
  
  d66ae442
- move semantics in tree automata addTransition · 3250c491
  Jan Trávníček authored 7 years ago
  
  3250c491
Jan 09, 2017
- static compare functor · f1ffe284
  Jan Trávníček authored 8 years ago
  
  f1ffe284
Dec 01, 2016
- template some conversion constructors · fbbc49e2
  Jan Trávníček authored 8 years ago
  
  fbbc49e2
Nov 26, 2016
- ease requirements on RankType · 3e93e25c
  Jan Trávníček authored 8 years ago
  
  3e93e25c
Nov 19, 2016
- allow inc on all datatypes · f16da90a
  Jan Trávníček authored 8 years ago
  
  f16da90a
Oct 11, 2016
- template NFTA automaton · 62add538
  Jan Trávníček authored 8 years ago
  
  62add538

Admin message