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

#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
- 0
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
- 0
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
- 0
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
- Approved
- 6
updated Jan 05, 2022
#280 Debugging simulator code doesn't work

!242 · created Dec 24, 2021 by Ferdie Reijnen v0.5
CIF TypeBug
- Merged
- Approved
- 55
updated Jan 06, 2022
#216 Cannot terminate GUI simulations with terminate button

!237 · created Dec 15, 2021 by Martijn Goorden v0.4
CIF TypeEnhancement
- Merged
- Approved
- 7
updated Dec 16, 2021
#156 Don't eliminate enums for CIF to mCRL2

!233 · created Dec 12, 2021 by Dennis Hendriks v0.4
CIF TypeEnhancement
- Merged
- Approved
- 10
updated Dec 13, 2021
#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
- Approved
- 34
updated Dec 12, 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
- Approved
- 13
updated Feb 18, 2023
#257 Configure Checkstyle for AsciiDoc files.

!225 · created Dec 08, 2021 by Ferdie Reijnen v0.4
CIF Chi Products SeText ToolDef TypeEnhancement
- Merged
- Approved
- 0
updated Dec 08, 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
- 0
updated Dec 08, 2021
#245 ElimLocRefExprs and linearization naming improvements

!223 · created Dec 07, 2021 by Dennis Hendriks v0.4
CIF TypeEnhancement
- Merged
- Approved
- 5
updated Dec 09, 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
#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
- Approved
- 2
updated Dec 07, 2021
#54 Use https for links.

!219 · created Dec 05, 2021 by Ferdie Reijnen v0.4
CIF Chi Products SeText ToolDef TypeEnhancement
- Merged
- Approved
- 6
updated Dec 06, 2021
#236 Make paper/book/etc references in documentation consistent

!218 · created Dec 05, 2021 by Martijn Goorden v0.4
CIF Chi RelEng/DevOps ToolDef TypeEnhancement
- Merged
- Approved
- 23
updated Feb 18, 2023
#54 One empty line separation in documentation.

!217 · created Dec 05, 2021 by Ferdie Reijnen v0.4
CIF Chi Products SeText ToolDef TypeEnhancement
- Merged
- Approved
- 6
updated Dec 13, 2021
#235 Rename and reorder statistics options

!216 · created Dec 03, 2021 by Martijn Goorden v0.4
CIF TypeEnhancement
- Merged
- Approved
- 3
updated Dec 05, 2021
#54 Codebox style improvements

!215 · created Dec 01, 2021 by Ferdie Reijnen v0.4
CIF Chi Products SeText ToolDef TypeEnhancement
- Merged
- Approved
- 6
updated Dec 05, 2021
#256 Better explain trinary value of 'Event.controllable'.

!213 · created Nov 30, 2021 by Ferdie Reijnen v0.4
CIF TypeEnhancement
- Merged
- Approved
- 1
updated Nov 30, 2021

Prev
1
…
8
9
10
11
12
13
14
15
Next

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