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

#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
#872 Add TM Terminal and EGit features to Eclipse ESCET IDE/product

!937 · created Jun 18, 2024 by Dennis Hendriks v4.0
Products TypeEnhancement
- Closed
- 1
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
#871 Use more BddUtils.free in CifBddEdge.

!928 · created Jun 14, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- Approved
updated Jun 17, 2024
#866 Use partial transition relations for improving data based synthesis performance

!927 · created Jun 14, 2024 by Wytse Oortwijn v4.0
CIF TypeEnhancement
- Merged
- 20
- Approved
updated Jun 14, 2024
#865 Use relnext and relprev for improving data based synthesis performance

!926 · created Jun 13, 2024 by Wytse Oortwijn v4.0
CIF TypeEnhancement
- Merged
- 2
- Approved
updated Jun 13, 2024
#679 Make "timer" a reserved word in PLCgen

!920 · created Jun 10, 2024 by Albert Hofkamp v4.0
CIF TypeEnhancement
- Merged
- 1
- Approved
updated Jun 10, 2024
#856 CIF type checker now warns for convoluted references, for types of component parameters

!917 · created Jun 07, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- Approved
updated Jun 08, 2024
#770 PLCgen: Check the type of all values in an array literal.

!914 · created Jun 05, 2024 by Albert Hofkamp v4.0
CIF TypeEnhancement
- Merged
- 6
- Approved
updated Jun 06, 2024
#770 PLCgen: Types in expressions, check them.

!912 · created Jun 04, 2024 by Albert Hofkamp v4.0
CIF TypeEnhancement
- Merged
- 62
- Approved
updated Jun 09, 2024
#621 Controller checker docs: small improvements.

!911 · created Jun 03, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- Approved
updated Jun 04, 2024
#757 Test models produced by CIF multilevel tests for being valid

!908 · created Jun 01, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- Approved
updated Jun 03, 2024
#621 CIF controller properties checker adds results to 'controller:properties' annotation

!907 · created May 31, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- 34
- Approved
updated Jun 27, 2024
#838 Warn about state/event exclusion invariants with events that are not in the alphabet of the specification

!906 · created May 31, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- 4
updated Jun 04, 2024
#679 PLCgen: Add constants support

!905 · created May 29, 2024 by Albert Hofkamp v4.0
CIF TypeEnhancement
- Merged
- 17
- Approved
updated Jun 10, 2024
#843 Be more explicit that CIF doesn't allow assigning derivatives of continuous variables

!904 · created May 28, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- Approved
updated May 28, 2024
#621 Add bounded response check and BDD representation to CIF controller properties checker

!903 · created May 25, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- 47
- Approved
updated May 28, 2024

Prev
1
…
37
38
39
40
41
42
43
44
45
…
55
Next

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