Commits · e46f0fb5ac635b6e294c43047d05372ff3714afa · Algorithms Library Toolkit / Algorithms Library Toolkit Core

May 10, 2019
- remove dependency on alib2xml · e46f0fb5
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  e46f0fb5
- some fixes in automata and grammar datatypes · 7f38157a
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  7f38157a
- split definition and declaration of relevant code · 52334779
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  52334779
- fix MultiInitialState(Epsilon)NFA · 67814972
  Jan Trávníček authored 5 years ago
  
  67814972
Apr 28, 2019
- CI: Changes with new ubuntu 19.04 · e6b77f56
  Tomáš Pecka authored 5 years ago
  
  e6b77f56
Apr 26, 2019
- fix cppunit complaint in CharSequenceBase · d82adbba
  Jan Trávníček authored 5 years ago
  
  d82adbba
- remove not needed code · 95d9d67f
  Jan Trávníček authored 5 years ago
  
  95d9d67f
Apr 25, 2019
- some more cppcheck fixes · b3077a9a
  Jan Trávníček authored 5 years ago
  
  b3077a9a
- fix including of xml api · 936a1312
  Jan Trávníček authored 5 years ago
  
  936a1312
- fix some more cppcheck warnings · efb41d47
  Jan Trávníček authored 5 years ago
  
  efb41d47
- 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

Admin message