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

#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
#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
#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
#897 PLCgen: Allow for custom I/O variable names.

!971 · created Jul 16, 2024 by Albert Hofkamp v5.0
CIF TypeEnhancement
- Merged
- 32
updated Aug 08, 2024
#742 Add SBE course modules 1.2 and 1.3.

!970 · created Jul 16, 2024 by Dennis Hendriks v6.0
CIF TypeEnhancement
- Merged
- 74
- Approved
updated Nov 11, 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
#881 Cleanup CifWriter usage.

!968 · created Jul 12, 2024 by Albert Hofkamp v5.0
CIF TypeEnhancement
- Merged
- Approved
updated Jul 12, 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
#814 PLCgen: Insert @doc annotations in the generated PLC code.

!964 · created Jul 04, 2024 by Albert Hofkamp v5.0
CIF TypeEnhancement
- Merged
- 91
- Approved
updated Jul 30, 2024
#879 CIF/BDD: Introduce CifBddEdgeApplyDirection and CifBddEdgeKind.

!962 · created Jul 04, 2024 by Dennis Hendriks
CIF TypeEnhancement
- Merged
- 5
- Approved
updated Jul 04, 2024
#907 Controller checker: assert consistency of finite response and bounded response.

!960 · created Jul 03, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- Approved
updated Jul 04, 2024
#906 CIF benchmark overview script: consistently generate '?' instead of '-1'.

!959 · created Jul 03, 2024 by Dennis Hendriks v5.0
CIF TypeEnhancement
- Merged
- Approved
updated Jul 04, 2024
#881 Cleanup box writing

!950 · created Jun 28, 2024 by Albert Hofkamp v5.0
CIF TypeEnhancement
- Merged
- 38
- Approved
updated Jul 12, 2024
#887 CIF benchmark overview script: generate proper row-averages.

!947 · created Jun 25, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- 7
- Approved
updated Jun 26, 2024
#882 CIF explorer statistic output: 'states space' -> 'state space'.

!944 · created Jun 22, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- Approved
updated Jun 22, 2024
#867 Use `relnextIntersection` and `relprevIntersection`

!942 · created Jun 21, 2024 by Wytse Oortwijn v4.0
CIF TypeEnhancement
- Merged
- 9
- Approved
updated Jun 21, 2024
#878 Accounting for runtime errors earlier during data based synthesis

!941 · created Jun 20, 2024 by Wytse Oortwijn v4.0
CIF TypeEnhancement
- Merged
- 21
- Approved
updated Jul 09, 2024
#691 CIF explorer: use proper edge vs transition terminology

!938 · created Jun 18, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- 18
updated Jun 21, 2024
#410 CIF controller properties checker: add non-blocking under control check

!931 · created Jun 16, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- 56
- Approved
updated Jun 25, 2024
#873 CIF data-based synthesis: allow converting resulting predicates explicitly to only CNF or DNF

!930 · created Jun 15, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- 3
updated Jun 17, 2024

Prev
1
…
11
12
13
14
15
16
17
18
19
…
33
Next

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