Commits · c1aefe9b11b41e901043c5bc898523960ea999d9 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Apr 25, 2019
- address some cppcheck warnings · c1aefe9b
  Jan Trávníček authored 5 years ago
  
  c1aefe9b
- address clang-tidy warning in alib2gui · 3fb327c3
  Jan Trávníček authored 5 years ago
  
  3fb327c3
- apply some cppcheck proposed changes · 9a380daa
  Jan Trávníček authored 5 years ago
  
  9a380daa
- more simplifications of grammar properties algorithms · 85b58d09
  Jan Trávníček authored 5 years ago
  
  85b58d09
- address some cppcheck reports · fc4686ef
  Jan Trávníček authored 5 years ago
  
  fc4686ef
- shorten reachable and useful states computation code · c8aa8e87
  Jan Trávníček authored 5 years ago
  
  c8aa8e87
Apr 24, 2019
- Add integration tests to cli group · b1c90ae3
  Tomáš Pecka authored 5 years ago
  
  b1c90ae3
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 5 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

Admin message