Commits · 828b1f2ea94ce16848dc6ce8fc26387412a9575b · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Apr 23, 2019
- fix clang tidy warnings · 828b1f2e
  Jan Travnicek authored 5 years ago
  
  828b1f2e
- clang-tidy enabled build by default in all-debug · b206754d
  Jan Travnicek authored 5 years ago
  
  b206754d
Apr 22, 2019
- CI: Static analysis (clang-tidy, cppcheck) · 407bc411
  Tomáš Pecka authored 5 years ago
  
  407bc411
- CI: Nightly deploy on master only · 0ced73b9
  Tomáš Pecka authored 5 years ago
  
  0ced73b9
Apr 20, 2019
- aql: ReadlineCompletion: Add introspect algorithms/datatypes and SET completion. · 5f79e3c3
  Tomáš Pecka authored 5 years ago
  
  5f79e3c3
- Remove accidental double return call · 3e6d05cd
  Tomáš Pecka authored 5 years ago
  
  3e6d05cd
Apr 18, 2019
- fix arbology test, part2 · 0e725e8e
  Jan Trávníček authored 5 years ago
  
  0e725e8e
- add cast to SetOfObjectPairs · 26f67085
  Jan Trávníček authored 5 years ago
  
  26f67085
- fix arbology tests · 9e8185f5
  Jan Trávníček authored 5 years ago
  
  9e8185f5
- add value printing of vector < int > · 9c163523
  Jan Trávníček authored 5 years ago
  
  9c163523
Apr 17, 2019
- random tree automaton generator · 213b9fed
  Jan Trávníček authored 5 years ago
  
  213b9fed
- operator = and copy constructor for ranked_symbol · 2f960bea
  Jan Trávníček authored 5 years ago
  
  2f960bea
Apr 16, 2019
- Data: FormalRTE minor improvements · cb046e2a
  Tomáš Pecka authored 6 years ago and Jan Trávníček committed 5 years ago
  
  cb046e2a
- Examples of DFTAs · dd4cb3d3
  Tomáš Pecka authored 6 years ago and Jan Trávníček committed 5 years ago
  
  dd4cb3d3
- Algo: Normalize DFTA · c3ae7ccc
  Tomáš Pecka authored 6 years ago and Jan Trávníček committed 5 years ago
  
  c3ae7ccc
- add basic rte optimize functionality · cbdf1502
  Jan Trávníček authored 5 years ago
  
  cbdf1502
- use distinguishable states in minimisation algo · 70648cc1
  Jan Trávníček authored 5 years ago
  
  70648cc1
- undistinguishable states - new FTA, tiny redesign DFA · ed89903c
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  ed89903c
- Aux: Simple DotConverter for RTEs and ExtendedNFTA · 1a9a5211
  Tomáš Pecka authored 6 years ago and Jan Trávníček committed 5 years ago
  
  1a9a5211
- Data: ExtendedNFTA · c42927ee
  Tomáš Pecka authored 6 years ago and Jan Trávníček committed 5 years ago
  
  c42927ee
- fix header guards · e1121251
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  e1121251
- register and fix DFTA to NFTA cast · 63cf43b8
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  63cf43b8
Apr 11, 2019
- unify renaming code of FTAs · 4e47112c
  Jan Trávníček authored 5 years ago
  
  4e47112c
- tiny optimize · ec32f150
  Jan Trávníček authored 5 years ago
  
  ec32f150
Apr 10, 2019
- use multimap in NFTA · 2ceabadb
  Jan Trávníček authored 5 years ago
  
  2ceabadb
- redesign NFTA determinisation algo · b71f62d9
  Jan Trávníček authored 5 years ago
  
  b71f62d9
- add rename algo for DFTA and NFTA automata · 9a664d5d
  Jan Trávníček authored 5 years ago
  
  9a664d5d
- add equal_range override to map · 16b84a06
  Jan Trávníček authored 5 years ago
  
  16b84a06
- redesign StateType, SymbolType retrieval from FSMs · b9989265
  Jan Trávníček authored 5 years ago
  
  b9989265
- unify code in automaton rename algo · b448dc86
  Jan Trávníček authored 5 years ago
  
  b448dc86
- unify some algorithm code · 361225b0
  Jan Trávníček authored 5 years ago
  
  361225b0
- add typedef fields to automata datatypes for template parameters · 8feefbbb
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  8feefbbb
- drop usages of shared_ptr in static initialisaion · ce360862
  Jan Trávníček authored 5 years ago
  
  ce360862
Apr 03, 2019
- use move semantics in compaction · d83aad67
  Jan Travnicek authored 5 years ago
  
  d83aad67
- use require in compaction algo and implement it for NFa · 684b86f8
  Jan Travnicek authored 5 years ago
  
  684b86f8
- fix compaction algo · fda815ea
  Jan Travnicek authored 5 years ago
  
  fda815ea
- add and test use automata detection traits · 320ed635
  Jan Trávníček authored 5 years ago
  
  320ed635
Apr 02, 2019
- use multimap in multi initial state epsilon nfa · 81afeebd
  Jan Travnicek authored 5 years ago
  
  81afeebd
- remove not needed specialisation · 76fe40ef
  Jan Trávníček authored 6 years ago
  
  76fe40ef
- use multimap in CompactNFA · 72eecf03
  Jan Trávníček authored 6 years ago
  
  72eecf03

Admin message