Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Eclipse Projects
Eclipse ESCET (Supervisory Control Engineering Toolkit)
escet
Merge requests
!128
#144
Changed supervisor simplification for events that are not enabled in the system to true.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Merged
Ferdie Reijnen
requested to merge
144-Supervisor-simplification-with-respect-to-plant-guards-misses-trivial-case
into
develop
Aug 27, 2021
Overview
6
Commits
3
Pipelines
2
Changes
21
Expand
Closes
#144 (closed)
Merge request reports
