Merge requests · Eclipse Projects / Eclipse ESCET (Supervisory Control Engineering Toolkit) / escet · GitLab

#1181 Perform data-based synthesis pre-checks on multi-level partial specifications

!1283 · created Apr 07, 2025 by Albert Hofkamp v8.0
CIF TypeEnhancement
- Merged
- 28
- Approved
updated Apr 23, 2025
#1183 Eliminate most cast uses in StateInitOrderer.collectDependencies

!1286 · created Apr 14, 2025 by Albert Hofkamp v8.0
CIF TypeEnhancement
- Merged
- 3
- Approved
updated Apr 19, 2025
#1164 CIF/BDD: Add BddUtils.printAsDot + some helper functions

!1269 · created Mar 26, 2025 by Terence Beijloos v8.0
CIF TypeEnhancement
- Merged
- 91
- Approved
updated Apr 04, 2025
#1178 Removed unused BDDPairings in CifBDDSpec.

!1280 · created Apr 04, 2025 by Dion Bremer v8.0
CIF TypeEnhancement
- Merged
- 5
- Approved
updated Apr 04, 2025
#1163 CIF type checker: add warning for variables that are effectively constant

!1274 · created Mar 30, 2025 by Dennis Hendriks v8.0
CIF TypeEnhancement
- Merged
- 19
- Approved
updated Apr 02, 2025
#1176 CIF/BDD custom var order parser: fix regex creation from filter.

!1277 · created Mar 30, 2025 by Dennis Hendriks v8.0
CIF TypeBug
- Merged
- 8
- Approved
updated Apr 02, 2025
#1175 CIF type checker: don't check annotations if the model has errors

!1275 · created Mar 30, 2025 by Dennis Hendriks v8.0
CIF TypeBug
- Merged
- 7
- Approved
updated Apr 02, 2025
#1165 CIF/BDD: Add 'repeat' variable orderer.

!1276 · created Mar 30, 2025 by Dennis Hendriks v8.0
CIF TypeEnhancement
- Merged
- 4
updated Mar 31, 2025
#1168 Allow annotation providers to handle more than one annotation.

!1264 · created Mar 21, 2025 by Albert Hofkamp v7.0
CIF TypeEnhancement
- Merged
- 47
- Approved
updated Mar 26, 2025
#458 CIF/BDD bit vectors: rename non-negative classes, move classes to sub-package, introduce common base classes

!1266 · created Mar 21, 2025 by Dennis Hendriks v7.0
CIF TypeEnhancement
- Merged
- 41
- Approved
updated Mar 26, 2025
#458 Add two's complement CIF/BDD bit vector + some changes to non-negative CIF/BDD bit vector

!1254 · created Mar 04, 2025 by Dennis Hendriks v7.0
CIF TypeEnhancement
- Merged
- 145
- Approved
updated Mar 18, 2025
#1159 CIF/BDD: Added BDD variable indices to the variable ordering debug output

!1258 · created Mar 14, 2025 by Terence Beijloos v7.0
CIF TypeEnhancement
- Merged
- 11
- Approved
updated Mar 17, 2025
#1154 Always optimize created con/dis-junctions.

!1257 · created Mar 12, 2025 by Albert Hofkamp v7.0
CIF TypeEnhancement
- Merged
- 3
- Approved
updated Mar 17, 2025
#1162 Fix 'divident' typo in CIF metamodel docs.

!1259 · created Mar 16, 2025 by Dennis Hendriks v7.0
CIF TypeBug
- Merged
- Approved
updated Mar 16, 2025
#1109 PLC external/execution tests: 'expr_stdlib' test extended for newly supported functions.

!1256 · created Mar 10, 2025 by Dennis Hendriks v7.0
CIF TypeEnhancement
- Merged
- Approved
updated Mar 10, 2025
#1071 Document how to reliably get information from a CIF specification

!1236 · created Feb 10, 2025 by Albert Hofkamp v7.0
CIF TypeEnhancement
- Merged
- 181
- Approved
updated Mar 01, 2025
#738 Generate a ToolDef script to perform multilevel synthesis

!1237 · created Feb 11, 2025 by Albert Hofkamp v7.0
CIF TypeEnhancement
- Merged
- 32
- Approved
updated Feb 27, 2025
#1157 CIF codegen: fix setting SVG output attribute for invalid CSS value.

!1251 · created Feb 23, 2025 by Dennis Hendriks v7.0
CIF TypeBug
- Merged
- Approved
updated Feb 25, 2025
#1137 Revert 1137-enable-optimized-s7-blocks

!1240 · created Feb 12, 2025 by Albert Hofkamp v7.0
CIF TypeEnhancement
- Merged
- 2
- Approved
updated Feb 18, 2025
#715 HTML codegen: fix 'svgout' to work for all attributes.

!1243 · created Feb 16, 2025 by Dennis Hendriks v7.0
CIF TypeBug
- Merged
- 6
- Approved
updated Feb 21, 2025

Prev
1
2
3
4
5
…
36
Next

Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent