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

#319 Add sub-plant creation functionality

!696 · created Nov 20, 2023 by Albert Hofkamp v4.0
CIF TypeEnhancement
- Merged
- 373
- Approved
updated Apr 25, 2024
#319 Add sub-plant creation functionality (small improvements)

!741 · created Dec 27, 2023 by Dennis Hendriks v3.0 319-add-subplant-3
CIF TypeEnhancement
- Merged
- 30
- Approved
updated Jan 03, 2024
#320 Remove unused algebraic variables

!269 · created Feb 23, 2022 by Albert Hofkamp v0.5
CIF TypeEnhancement
- Merged
- 66
- Approved
updated Mar 02, 2022
#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
#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
#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
#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
#333 Replace `StringUtils.join` by native `String.join`

!288 · created Mar 25, 2022 by Albert Hofkamp v0.6
CIF Chi Common SeText ToolDef TypeEnhancement
- Merged
- 9
- Approved
updated May 21, 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
#347 Add dark theme support for/to SeText-based text editors

!367 · created Sep 04, 2022 by Dennis Hendriks v0.7
CIF Chi SeText ToolDef TypeEnhancement
- Merged
- 34
- Approved
updated Sep 23, 2022
#351 Change org.apache.commons language library

!303 · created Apr 12, 2022 by Albert Hofkamp v0.6
CIF Chi Common SeText ToolDef TypeEnhancement
- Merged
- 25
- Approved
updated Apr 25, 2022
#352 #224 Reimplement CIF to mCRL2 using linearization.

!1020 · created Aug 06, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 2
- Approved
updated Aug 06, 2024
#353 CIF to mCRL2: add 'marked' action

!1032 · created Aug 13, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 5
- Approved
updated Aug 14, 2024
#354 Linearize merge/product documentation improvements.

!306 · created Apr 17, 2022 by Dennis Hendriks v0.6
CIF TypeEnhancement
- Merged
- Approved
updated Apr 20, 2022
#357 Update CIF documentation for recent Inkscape versions

!397 · created Oct 22, 2022 by Martijn Goorden v0.8
CIF TypeBug
- Merged
- 40
- 1
updated Nov 24, 2022
#358 Improve field descriptions of TextPosition and Position classes.

!310 · created Apr 21, 2022 by Albert Hofkamp v0.6
CIF Common TypeBug
- Merged
- 1
- Approved
updated Apr 25, 2022
#35 New static home/landing webpages to replace placeholder and AsciiDoc-generated home/landing pages

!167 · created Oct 20, 2021 by Dennis Hendriks v0.4
CIF Chi Products SeText ToolDef TypeEnhancement
- Merged
- 38
updated Oct 29, 2021
#364 Add ADAS model as CIF benchmark model.

!527 · created Mar 05, 2023 by Dennis Hendriks v0.9
CIF TypeEnhancement
- Merged
- Approved
updated Mar 11, 2023
#364 Add AGV model as CIF benchmark model.

!522 · created Mar 05, 2023 by Dennis Hendriks v0.9
CIF TypeEnhancement
- Merged
- Approved
updated Mar 11, 2023

Prev
1
…
3
4
5
6
7
8
9
10
11
…
32
Next

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