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

#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
#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
#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
#679 Improve naming of tuple types in PLCgen

!1018 · created Aug 02, 2024 by Albert Hofkamp v5.0
CIF TypeEnhancement
- Merged
- 6
- Approved
updated Sep 26, 2024
#739 Improve CIF tutorial lesson on initialization predicates.

!1017 · created Aug 01, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 1
- Approved
updated Aug 02, 2024
#836 Eclipse ESCET download page improvements.

!1016 · created Aug 01, 2024 by Dennis Hendriks v5.0
RelEng/DevOps TypeEnhancement
- Merged
- 2
updated Aug 05, 2024
#946 Add PLC structured text syntax highlighting for PLCgen docs

!1015 · created Aug 01, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- Approved
updated Aug 02, 2024
#896 Properly handle controller properties annotations in other CIF tools besides the CIF controller properties checker

!1014 · created Aug 01, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 1
- Approved
updated Aug 02, 2024
#945 Rework the name generator

!1013 · created Jul 31, 2024 by Albert Hofkamp v5.0
CIF TypeEnhancement
- Merged
- 24
- Approved
updated Aug 04, 2024
#424 test_event_disabler.tooldef: remove outdated line.

!1012 · created Jul 31, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- Approved
updated Jul 31, 2024
#424 Event-based toolset: use CIF precondition checker framework

!1011 · created Jul 30, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- Approved
updated Jul 31, 2024
#424 CIF to yEd: use new precondition checking framework

!1010 · created Jul 30, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 2
updated Jul 31, 2024
#424 CIF event disabler supports component definition/instantiation

!1009 · created Jul 30, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- Approved
updated Jul 31, 2024
#424 CIF simulator uses new precondition checking framework

!1008 · created Jul 30, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- Approved
updated Jul 31, 2024

Prev
1
…
23
24
25
26
27
28
29
30
31
…
65
Next

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