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

#1205 Fix CifBddSpec.getBddVarNames: consider interleaving groups.

!1302 · created May 17, 2025 by Dennis Hendriks v8.0
CIF TypeBug
- Merged
- 2
updated May 19, 2025
#1197 Update ESCET IDE screenshots to use new ESCET icon.

!1297 · created May 10, 2025 by Dennis Hendriks v8.0
CIF Chi RelEng/DevOps ToolDef TypeEnhancement
- Merged
- Approved
updated May 11, 2025
#1194 Add clustering parameter options to multi-level splitter

!1294 · created May 06, 2025 by Albert Hofkamp v8.0
CIF TypeEnhancement
- Merged
- 17
- Approved
updated May 08, 2025
#1143 Use new CIF logo/icon

!1293 · created May 03, 2025 by Dennis Hendriks v8.0
CIF TypeEnhancement
- Merged
- 1
- Approved
updated May 06, 2025
#1193 CIF/BDD: extra BDD variable domains now have a name + name is used in BDD variable names

!1292 · created May 03, 2025 by Dennis Hendriks v8.0
CIF TypeEnhancement
- Merged
- 7
- Approved
updated May 06, 2025
#1191 AnnotationEqHashWrap: Document static evaluation assumption.

!1291 · created May 03, 2025 by Dennis Hendriks v8.0
CIF TypeBug
- Merged
- 1
- Approved
updated May 06, 2025
#1180 #1181 #1131 Add GUI connection to the multi-level application.

!1282 · created Apr 07, 2025 by Albert Hofkamp v8.0
CIF TypeEnhancement
- Merged
- 95
- Approved
updated May 04, 2025
#458 CIF/BDD: allow negative integer literals, unary negation, and arbitrary use of binary subtraction

!1290 · created Apr 27, 2025 by Dennis Hendriks v8.0
CIF TypeEnhancement
- Merged
- 40
- Approved
updated May 01, 2025
#1143 Add new CIF logo/icon

!1288 · created Apr 26, 2025 by Dennis Hendriks v8.0
CIF TypeEnhancement
- Merged
- 3
- Approved
updated Apr 29, 2025
#1186 CIF/BDD: CifBddReachability.printSaturationMatrix takes extra domains/varsets into account

!1289 · created Apr 26, 2025 by Dennis Hendriks v8.0
CIF TypeBug
- Merged
- 1
- Approved
updated Apr 28, 2025
#1185 Prevent crashes for CIF name patterns when certain characters are used

!1287 · created Apr 25, 2025 by Dennis Hendriks v8.0
CIF TypeBug
- Merged
- 1
- Approved
updated Apr 27, 2025
#1146 PLCgen: Use real literal values in the PLC that are generated by Java real value text conversion.

!1281 · created Apr 04, 2025 by Albert Hofkamp v8.0
CIF TypeEnhancement
- Merged
- 18
- Approved
updated May 10, 2025
#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
- 30
- Approved
updated May 01, 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

Prev
1
2
3
4
5
…
36
Next

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