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

#952 CIF code generator: 'event' to 'edge' in generator and generated code.

!1039 · created Aug 15, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 4
updated Nov 30, 2024
#953 CIF benchmarks overview generation script: adapt for indent change.

!1038 · created Aug 15, 2024 by Dennis Hendriks v5.0
CIF TypeBug
- Merged
- Approved
updated Aug 15, 2024
#950 CIF to mCRL2: simplify and fix 'delta' for empty process.

!1037 · created Aug 15, 2024 by Dennis Hendriks v5.0
CIF TypeBug
- Merged
- 2
updated Aug 16, 2024
#628 CIF code generator: split svgin/uncontrollable/controllable events into separate loops

!1036 · created Aug 14, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 5
updated Aug 15, 2024
#947 Using saturation to improve BDD reachability performance

!1035 · created Aug 14, 2024 by Wytse Oortwijn v5.0
CIF TypeEnhancement
- Merged
- 41
- Approved
updated Aug 27, 2024
#935 Make PLCgen transition generator more flexible

!1034 · created Aug 14, 2024 by Albert Hofkamp v5.0
CIF TypeBug
- Merged
- 39
- Approved
updated Aug 22, 2024
#841 develop to master for v5.0-M1

!1033 · created Aug 14, 2024 by Dennis Hendriks v5.0 master
RelEng/DevOps TypeEnhancement
- Merged
updated Aug 14, 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
#949 Improve and add descriptions to CIF benchmark models.

!1031 · created Aug 13, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 5
- Approved
updated Aug 14, 2024
#948 CIF to mCRL2 precheck/docs: div/mod for positive divisor.

!1030 · created Aug 13, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- Approved
updated Aug 13, 2024
#935 PLCgen: CifProcessor collects results, target distributes them.

!1029 · created Aug 12, 2024 by Albert Hofkamp v5.0
CIF TypeBug
- Merged
- 21
- Approved
updated Aug 13, 2024
#948 CIF to mCRL2 supports div/mod on positive divisors

!1027 · created Aug 11, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 8
- Approved
updated Aug 13, 2024
#938 Improved data-based synthesis and controller properties checker debug/warning output

!1026 · created Aug 11, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 3
- Approved
updated Aug 14, 2024
#841 Update release notes for v5.0-M1.

!1025 · created Aug 10, 2024 by Dennis Hendriks v5.0
RelEng/DevOps TypeEnhancement
- Merged
- 3
updated Aug 14, 2024
#947 Upgrading to JavaBDD 8.0.0

!1024 · created Aug 09, 2024 by Wytse Oortwijn v5.0
CIF RelEng/DevOps TypeEnhancement
- Merged
- 2
- Approved
updated Feb 12, 2025
#948 #229 CIF to mCRL2: support more CIF concepts

!1023 · created Aug 08, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 1
- Approved
updated Aug 11, 2024
#226 CIF to mCRL2 transformation: support 'tau' events

!1022 · created Aug 06, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- Approved
updated Aug 07, 2024
#934 PLCgen: Re-implement enum conversion, use smaller data types for conversion to constants or integers.

!1021 · created Aug 06, 2024 by Albert Hofkamp v5.0
CIF TypeBug
- Merged
- 31
- Approved
updated Aug 30, 2024
#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
#934 PLCgen: Allow BOOL also for integer literals

!1019 · created Aug 05, 2024 by Albert Hofkamp v5.0
CIF TypeBug
- Merged
- 4
- Approved
updated Aug 09, 2024

Prev
1
…
12
13
14
15
16
17
18
19
20
…
65
Next

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