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
!504
#531
Add maximum used memory statistics to the CIF data-based synthesis tool
Code
Review changes
Check out branch
Download
Patches
Plain diff
Merged
Dennis Hendriks
requested to merge
531-add-memory-statisics-to-data-based-synthesis
into
develop
Feb 16, 2023
Overview
5
Commits
4
Pipelines
3
Changes
14
Upgrade to JavaBDD 4.0.0.
Added the extra statistic to the existing statistics option.
Closes
#531 (closed)
