1. 14 Sep, 2021 2 commits
  2. 13 Sep, 2021 1 commit
  3. 05 Sep, 2021 3 commits
    • Ferdie Reijnen's avatar
      Merge branch... · c8abff97
      Ferdie Reijnen authored
      Merge branch '164-There-are-no-warnings-for-uncontrollable-events-that-are-never-enabled-in-the-controlled-system-for-datasynth' into 'develop'
      
      #164 Add warnings for uncontrollable events not enabled in the controlled statespace.
      
      Closes #164
      
      See merge request !131
      c8abff97
    • Ferdie Reijnen's avatar
      #164 Consistent method order. · f3f1e15c
      Ferdie Reijnen authored
      - Moved the methods in order they are called by the synthesize method.
      f3f1e15c
    • Ferdie Reijnen's avatar
      #164 Moved event warnings to own method. · dcea94b5
      Ferdie Reijnen authored
      - Created method that checks output edges.
      - Consistend use of guard vs. guards.
      - Removed "linearized", as almost all guards are linearized.
      dcea94b5
  4. 02 Sep, 2021 5 commits
  5. 01 Sep, 2021 1 commit
  6. 31 Aug, 2021 3 commits
  7. 30 Aug, 2021 7 commits
  8. 28 Aug, 2021 1 commit
  9. 27 Aug, 2021 1 commit
  10. 26 Aug, 2021 4 commits
  11. 19 Aug, 2021 1 commit
  12. 04 Aug, 2021 2 commits
  13. 18 Jul, 2021 3 commits
  14. 16 Jul, 2021 5 commits
  15. 15 Jul, 2021 1 commit