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
!425
#459
Improve CIF data-based synthesis documentation on supported updated/expressions/predicates
Code
Review changes
Check out branch
Download
Patches
Plain diff
Merged
Dennis Hendriks
requested to merge
459-improve-cif-data-based-synthesis-on-supported-updates-expressions
into
develop
Nov 27, 2022
Overview
10
Commits
7
Pipelines
4
Changes
1
Closes
#459 (closed)