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

#54 Use https for links.

!219 · created Dec 05, 2021 by Ferdie Reijnen v0.4
CIF Chi Products SeText ToolDef TypeEnhancement
- Merged
- 6
- Approved
updated Dec 06, 2021
#239 Add link from documentation TOC back to website.

!220 · created Dec 06, 2021 by Dennis Hendriks v0.4
CIF Chi RelEng/DevOps ToolDef TypeEnhancement
- Merged
- 2
- Approved
updated Dec 07, 2021
#257 Configure Checkstyle for asciidoc files.

!221 · created Dec 06, 2021 by Ferdie Reijnen v0.4
CIF Chi Products SeText ToolDef TypeEnhancement
- Merged
- 26
updated Dec 09, 2021
#245 ElimLocRefExprs and linearization naming improvements

!223 · created Dec 07, 2021 by Dennis Hendriks v0.4
CIF TypeEnhancement
- Merged
- 5
- Approved
updated Dec 09, 2021
#247 CIF code generator generated Java code for enum compare improved.

!224 · created Dec 07, 2021 by Dennis Hendriks v0.4
CIF TypeEnhancement
- Merged
- Approved
updated Dec 08, 2021
#257 Configure Checkstyle for AsciiDoc files.

!225 · created Dec 08, 2021 by Ferdie Reijnen v0.4
CIF Chi Products SeText ToolDef TypeEnhancement
- Merged
- Approved
updated Dec 08, 2021
#188 Move Convert CIF to Yed diagram to CIF miscellaneous tools

!226 · created Dec 08, 2021 by Martijn Goorden v0.4
CIF TypeEnhancement
- Merged
- 13
- Approved
updated Feb 18, 2023
#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
#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
#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
#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
#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
#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
#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
#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
#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
#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
#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
#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

Prev
1
2
3
4
5
6
7
8
…
36
Next

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