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
!129
#162
#150
Use ctrlBeh predicate to determine whether an event is enabled in controlled system for datasynth
Code
Review changes
Check out branch
Download
Patches
Plain diff
Merged
Ferdie Reijnen
requested to merge
162-Databased-synthesis-doesn't-recognize-events-not-enabled-in-the-controlled-system
into
develop
Aug 31, 2021
Overview
4
Commits
3
Pipelines
1
Changes
12
Closes
#162 (closed)
Closes
#150 (closed)
Edited
Aug 31, 2021
by
Ferdie Reijnen