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

#976 CIF SBE FIFO example: improve documentation

!1049 · created Sep 03, 2024 by Dennis Hendriks v5.0
CIF TypeBug
- Merged
- 1
- Approved
updated Sep 05, 2024
#935 #912 PLCgen: Add transitions in functions

!1046 · created Aug 27, 2024 by Albert Hofkamp v5.0
CIF TypeBug
- Merged
- 40
- Approved
updated Jan 31, 2025
#964 CIF controller properties checker: termination request fix/improve.

!1045 · created Aug 23, 2024 by Dennis Hendriks v5.0
CIF TypeBug
- Merged
- Approved
updated Aug 25, 2024
#955 CIF to mCRL2: improve translation of minimum-representable integer value

!1043 · created Aug 20, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 5
- Approved
updated Aug 22, 2024
#956 PLCgen: Allow algebraic variables as output in I/O.

!1042 · created Aug 20, 2024 by Albert Hofkamp v5.0
CIF TypeEnhancement
- Merged
- 20
- Approved
updated Aug 22, 2024
#954 CIF to mCRL2: simplify the generated (range) guards

!1041 · created Aug 18, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 7
- Approved
updated Aug 19, 2024
#816 PLCgen: Adopt maximum iteration boundaries from the bounded response check if they exist.

!1040 · created Aug 16, 2024 by Albert Hofkamp v5.0
CIF TypeEnhancement
- Merged
- 77
- Approved
updated Aug 31, 2024
#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
#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
#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

Prev
1
…
4
5
6
7
8
9
10
11
12
…
36
Next

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