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

#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
#424 CIF to BDD: split precondition checking from conversion + support statically-evaluable predicates

!990 · created Jul 22, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 5
- Approved
updated Jul 26, 2024
#937 CIF controller properties checker: debug output improvements (related to indentation)

!994 · created Jul 24, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 3
- Approved
updated Jul 25, 2024
#881 Extend/deprecate FileAppStream constructors

!969 · created Jul 12, 2024 by Albert Hofkamp v5.0
CIF TypeEnhancement
- Merged
- 11
- Approved
updated Jul 25, 2024
#936 Introduce and use 'Termination' interface + improve termination request checking performance

!992 · created Jul 23, 2024 by Dennis Hendriks v5.0
CIF Common TypeEnhancement
- Merged
- Approved
updated Jul 24, 2024
#932 Better document CIF metamodel classes like 'DiscVariable' that are reused in other contexts

!987 · created Jul 19, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 2
- Approved
updated Jul 23, 2024
#917 CIF controller properties checker: app/lib split, class moves, etc

!989 · created Jul 19, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 7
- Approved
updated Jul 23, 2024
#933 RemoveRequirements: small code improvements.

!988 · created Jul 19, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- Approved
updated Jul 19, 2024
#931 Fix 'is be printed' typo in CIF to CIF 'lift events' docs.

!986 · created Jul 19, 2024 by Dennis Hendriks v5.0
CIF TypeBug
- Merged
- Approved
updated Jul 19, 2024
#926 Common/CIF/SeText/ToolDef integration tests: remove and prevent empty expected output files

!981 · created Jul 19, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 1
- Approved
updated Jul 19, 2024
#917 CIF controller properties checker: common check base classes and less duplicate check code

!978 · created Jul 19, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 7
- Approved
updated Jul 19, 2024
#929 CIF simulator SVG viz sim doc page was missing a section link.

!984 · created Jul 19, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- Approved
updated Jul 19, 2024
#917 CIF controller properties checker: separate app from library

!976 · created Jul 16, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 19
- Approved
updated Jul 19, 2024
#869 Declare annotations a stable CIF language feature.

!973 · created Jul 16, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- Approved
updated Jul 18, 2024
#916 Remove 'org.eclipse.escet.cif.examples' plugin self-dependency.

!975 · created Jul 16, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- Approved
updated Jul 18, 2024
#742 Add SBE course, with home page, module 1 introduction, and module 1.1.

!966 · created Jul 09, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- 28
- Approved
updated Jul 15, 2024
#881 Cleanup box writing

!950 · created Jun 28, 2024 by Albert Hofkamp v5.0
CIF TypeEnhancement
- Merged
- 38
- Approved
updated Jul 12, 2024
#881 Cleanup CifWriter usage.

!968 · created Jul 12, 2024 by Albert Hofkamp v5.0
CIF TypeEnhancement
- Merged
- Approved
updated Jul 12, 2024
#681 PLCgen: Improve prechecking error reports.

!798 · created Feb 06, 2024 by Albert Hofkamp v3.0
CIF TypeEnhancement
- Merged
- 53
- Approved
updated Jul 10, 2024
#860 PLCgen: Force minimum size of the S7 TEMP variable table

!965 · created Jul 08, 2024 by Albert Hofkamp v5.0
CIF TypeBug
- Merged
- 15
- Approved
updated Jul 10, 2024

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

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