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

#323 Allow CIF invariant to be named

!285 · created Mar 23, 2022 by Ferdie Reijnen v0.6
CIF TypeEnhancement
- Merged
- 77
- Approved
updated Apr 10, 2022
#330 #336 Use streaming for CifCollectUtils

!281 · created Mar 15, 2022 by Albert Hofkamp v0.6
CIF TypeEnhancement
- Merged
- 40
- Approved
updated Mar 30, 2022
#334 Fixed CIF SBE approaches figure/text inconsistency.

!289 · created Mar 27, 2022 by Dennis Hendriks v0.5
CIF TypeEnhancement
- Merged
- Approved
updated Mar 29, 2022
#325 Add SBE docs and example + some other doc/website improvements.

!282 · created Mar 17, 2022 by Dennis Hendriks v0.5
CIF TypeEnhancement
- Merged
- 86
- Approved
updated Mar 24, 2022
#326 Small documentation fixes for CIF to CIF add initial values transformation.

!274 · created Feb 27, 2022 by Dennis Hendriks v0.5
CIF TypeBug
- Merged
- Approved
updated Feb 28, 2022
#306 Add CIF to CIF anonymize names transformation.

!273 · created Feb 27, 2022 by Dennis Hendriks v0.5
CIF TypeEnhancement
- Merged
- 7
- Approved
updated Mar 01, 2022
#324 CIF explorer, NFA to DFA and DFA minimizer doc improvements

!272 · created Feb 27, 2022 by Dennis Hendriks v0.5
CIF TypeEnhancement
- Merged
- Approved
updated Feb 28, 2022
#320 Remove unused algebraic variables

!269 · created Feb 23, 2022 by Albert Hofkamp v0.5
CIF TypeEnhancement
- Merged
- 66
- Approved
updated Mar 02, 2022
#314 Add release dates to release notes

!266 · created Feb 20, 2022 by Ferdie Reijnen v0.5
CIF Chi Products RelEng/DevOps ToolDef TypeEnhancement
- Merged
- Approved
updated Feb 20, 2022
#301 Move CIF type checks for events that may lead to false positives to post checker

!264 · created Feb 09, 2022 by Ferdie Reijnen v0.5
CIF TypeEnhancement
- Merged
- 46
- Approved
updated Feb 14, 2022
#308 Add cif2cif event controllability rewriting transformations.

!263 · created Feb 09, 2022 by Albert Hofkamp v0.5
CIF TypeEnhancement
- Merged
- 84
- Approved
updated Feb 24, 2022
#300 CIF may produce false warning for globally disabled event that is monitored

!261 · created Feb 01, 2022 by Ferdie Reijnen v0.5
CIF TypeBug
- Merged
- Approved
updated Feb 01, 2022
#298 CIF may produce false positive duplicate event on edge warnings

!259 · created Jan 31, 2022 by Ferdie Reijnen v0.5
CIF TypeEnhancement
- Merged
- 16
- Approved
updated Feb 04, 2022
#142 CIF to PLC should support Siemens S7

!251 · created Jan 06, 2022 by Ferdie Reijnen v0.5
CIF TypeEnhancement
- Merged
- 72
updated Jan 19, 2024
#286 CIF to PLC transformation should not generate formal argument for 'NOT'

!247 · created Jan 05, 2022 by Ferdie Reijnen v0.5
CIF TypeBug
- Merged
- Approved
updated Jan 05, 2022
#282 Multi assignments generated by CIF to PLC have wrong assignment syntax for some temporary variables

!245 · created Jan 02, 2022 by Ferdie Reijnen v0.5
CIF TypeBug
- Merged
- Approved
updated Jan 03, 2022
#217 Have horizontal scroll bar in GUI simulation directly from the start

!244 · created Dec 30, 2021 by Ferdie Reijnen v0.5
CIF TypeBug
- Merged
- Approved
updated Jan 04, 2022
#274 CIF simulator GUI input mode termination by red stop button leaves buttons enabled

!243 · created Dec 30, 2021 by Ferdie Reijnen v0.5
CIF TypeEnhancement
- Merged
- 6
- Approved
updated Jan 05, 2022
#280 Debugging simulator code doesn't work

!242 · created Dec 24, 2021 by Ferdie Reijnen v0.5
CIF TypeBug
- Merged
- 55
- Approved
updated Jan 06, 2022
#107 Data-based synthesis should support state plant invariants

!159 · created Oct 01, 2021 by Ferdie Reijnen v0.5
CIF TypeEnhancement
- Merged
- 111
- Approved
updated Mar 12, 2022

Prev
1
…
25
26
27
28
29
30
31
32
33
Next

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