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

#258 CIF pretty printer breaks for variables used as indices in tuples that are also field names

!227 · created Dec 08, 2021 by Ferdie Reijnen v0.4
CIF TypeBug
- Merged
- 34
- Approved
updated Dec 12, 2021
#54 One empty line separation in documentation.

!217 · created Dec 05, 2021 by Ferdie Reijnen v0.4
CIF Chi Products SeText ToolDef TypeEnhancement
- Merged
- 6
- Approved
updated Dec 13, 2021
#156 Don't eliminate enums for CIF to mCRL2

!233 · created Dec 12, 2021 by Dennis Hendriks v0.4
CIF TypeEnhancement
- Merged
- 10
- Approved
updated Dec 13, 2021
#216 Cannot terminate GUI simulations with terminate button

!237 · created Dec 15, 2021 by Martijn Goorden v0.4
CIF TypeEnhancement
- Merged
- 7
- Approved
updated Dec 16, 2021
#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
#14 Copyright update to 2021.

!14 · created Mar 01, 2021 by Dennis Hendriks v0.1
CIF Chi Common Products RelEng/DevOps SeText Third party ToolDef TypeEnhancement
- Merged
- 2
updated Jan 04, 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
#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
#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
#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
#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
#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
#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
#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
#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
#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
#320 Remove unused algebraic variables

!269 · created Feb 23, 2022 by Albert Hofkamp v0.5
CIF TypeEnhancement
- Merged
- 66
- Approved
updated Mar 02, 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
2
3
4
5
6
7
8
…
30
Next

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