Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
Eclipse Projects
Eclipse ESCET (Supervisory Control Engineering Toolkit)
escet
Merge requests
!494
#198
State requirement invariants per edge: replace simplify by a skip.
Code
Review changes
Check out branch
Download
Email patches
Plain diff
Merged
Dennis Hendriks
requested to merge
198-efficient-enforcement-of-state-invariant-requirements-in-databased-synthesis-2
into
develop
Jan 27, 2023
Overview
4
Commits
1
Pipelines
1
Changes
2
After
our discussions
, I'm replacing the simplify with a skip check.
Closes
#198 (closed)