Reviews run for a minimum of one week. The outcome of the review is decided on this date. This is the last day to make comments or ask questions about this review.
0.6
This release has several major new features, including a DSM clustering tool, CIF benchmarking models, named invariants in CIF, the new DCSH variable ordering algorithm, and additional warnings for data-based synthesis. Most of these relate to (the performance of) supervisor synthesis. Furthermore, various internal changes were performed that prepare for future extensions and improvements.
For more information:
- Eclipse ESCET v0.6-RC1 release notes
- Eclipse ESCET GitLab v0.6 issues
- Log in to post comments