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

#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
#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
#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
#424 CIF explorer: calculate possible initial states in a way that is compatible with the precondition check.

!1007 · created Jul 30, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- Approved
updated Jul 30, 2024
#944 LinearizeBase: throw right exception for precondition violation.

!1006 · created Jul 30, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- Approved
updated Jul 30, 2024
#42 Improve CifWriter/CifResource writing performance, especially when using platform paths

!1001 · created Jul 27, 2024 by Dennis Hendriks v5.0
CIF Chi Common ToolDef TypeEnhancement
- Merged
- 2
updated Jul 29, 2024
#424 CIF explorer: migrate to new precondition checker framework + improve 'too many initial states' check

!999 · created Jul 26, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 10
- Approved
updated Jul 29, 2024
#424 CIF to mCRL2: use new precondition checking framework.

!998 · created Jul 26, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- Approved
updated Jul 26, 2024
#934 PLCgen: Simplify bit size handling of numeric types, select smaller edge variable types.

!995 · created Jul 25, 2024 by Albert Hofkamp v5.0
CIF TypeBug
- Merged
- 34
- Approved
updated Aug 05, 2024

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

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