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

#150, #144 Add warning message for event not enabled in controlled state space and changed simplificating for those events

!122 · created Jul 20, 2021 by Ferdie Reijnen v0.3
CIF TypeEnhancement
- Closed
- 16
updated Aug 31, 2021
#148 Add switch expressions to data-based synthesis.

!121 · created Jul 18, 2021 by Ferdie Reijnen v0.3
CIF TypeEnhancement
- Merged
- 2
updated Jul 18, 2021
#137 Prepare for v0.3 development

!115 · created Jul 07, 2021 by Dennis Hendriks v0.3
RelEng/DevOps TypeEnhancement
- Merged
- 0
updated Jul 08, 2021
#122 Add controller check for finite response

!97 · created Jun 17, 2021 by Albert Hofkamp v0.3
CIF TypeEnhancement
- Merged
- 177
updated Sep 28, 2021
#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
#191 Update release notes for v0.4-RC1.

!234 · created Dec 12, 2021 by Dennis Hendriks v0.4
RelEng/DevOps TypeEnhancement
- Merged
- Approved
- 7
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
- Approved
- 10
updated Dec 13, 2021
#165 Add Eclipse/Orbit update sites to our update site.

!232 · created Dec 12, 2021 by Dennis Hendriks v0.4
RelEng/DevOps TypeEnhancement
- Merged
- 1
updated Dec 12, 2021
#159 Refer to target file rather than target artefact for Maven build

!231 · created Dec 12, 2021 by Dennis Hendriks v0.4
RelEng/DevOps TypeEnhancement
- Merged
- Approved
- 0
updated Dec 12, 2021
#158 Upgrade from Tycho 2.3 to 2.5

!228 · created Dec 10, 2021 by Ferdie Reijnen v0.4
RelEng/DevOps TypeEnhancement
- Merged
- Approved
- 4
updated Dec 11, 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
#184 Explain easier collaboration with forks/contributors.

!222 · created Dec 07, 2021 by Dennis Hendriks v0.4
Products RelEng/DevOps TypeEnhancement
- Merged
- Approved
- 6
updated Dec 08, 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

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

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