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

#797 CIF type checker: check for single-value types of declarations.

!856 · created Apr 07, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- 3
- Approved
updated Apr 10, 2024
#593 Allow annotations on specifications

!853 · created Apr 07, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- 9
updated Apr 10, 2024
#786 Prepare Git repo for v4.0 development

!852 · created Apr 02, 2024 by Dennis Hendriks v4.0
RelEng/DevOps TypeEnhancement
- Merged
- 2
- Approved
updated Apr 03, 2024
#788 Added link in documentation on how to create a personal access token

!851 · created Apr 01, 2024 by Ferdie Reijnen v4.0
RelEng/DevOps TypeEnhancement
- Merged
- Approved
updated Apr 02, 2024
#593 Allow annotations on events

!848 · created Mar 30, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- 1
- Approved
updated Apr 02, 2024
#635 #817 Upgrade to Eclipse 2024-03

!847 · created Mar 30, 2024 by Ferdie Reijnen v4.0
RelEng/DevOps TypeEnhancement
- Merged
- 67
- Approved
updated May 10, 2024
#794 Add CIF check to check list type limits.

!844 · created Mar 26, 2024 by Albert Hofkamp v4.0
CIF TypeEnhancement
- Merged
- 74
- Approved
updated Apr 29, 2024
#679 PLCgen: Forbid pure monitor events.

!839 · created Mar 22, 2024 by Albert Hofkamp v4.0
CIF TypeEnhancement
- Merged
- 24
- Approved
updated Mar 31, 2024
#319 Add sub-plant creation functionality

!696 · created Nov 20, 2023 by Albert Hofkamp v4.0
CIF TypeEnhancement
- Merged
- 373
- Approved
updated Apr 25, 2024
#969 PLCgen: fix constants having another constant as value.

!1053 · created Sep 05, 2024 by Dennis Hendriks v5.0
CIF TypeBug
- Merged
- 4
- Approved
updated Sep 06, 2024
#967 PLCgen: don't crash on reading invalid I/O table file.

!1052 · created Sep 05, 2024 by Dennis Hendriks v5.0
CIF TypeBug
- Merged
- Approved
updated Sep 05, 2024
#976 CIF SBE FIFO example: improve documentation

!1049 · created Sep 03, 2024 by Dennis Hendriks v5.0
CIF TypeBug
- Merged
- 1
- Approved
updated Sep 05, 2024
#974 Update DEPENDENCIES.txt for Dash License check tool output change.

!1048 · created Sep 03, 2024 by Dennis Hendriks v5.0
RelEng/DevOps TypeBug
- Merged
updated Sep 03, 2024
#935 #912 PLCgen: Add transitions in functions

!1046 · created Aug 27, 2024 by Albert Hofkamp v5.0
CIF TypeBug
- Merged
- 40
- Approved
updated Aug 31, 2024
#964 CIF controller properties checker: termination request fix/improve.

!1045 · created Aug 23, 2024 by Dennis Hendriks v5.0
CIF TypeBug
- Merged
- Approved
updated Aug 25, 2024
#963 Update DEPENDENCIES.txt for Dash License check tool output change.

!1044 · created Aug 22, 2024 by Dennis Hendriks v5.0
RelEng/DevOps TypeBug
- Merged
updated Aug 22, 2024
#953 CIF benchmarks overview generation script: adapt for indent change.

!1038 · created Aug 15, 2024 by Dennis Hendriks v5.0
CIF TypeBug
- Merged
- Approved
updated Aug 15, 2024
#950 CIF to mCRL2: simplify and fix 'delta' for empty process.

!1037 · created Aug 15, 2024 by Dennis Hendriks v5.0
CIF TypeBug
- Merged
- 2
updated Aug 16, 2024
#935 Make PLCgen transition generator more flexible

!1034 · created Aug 14, 2024 by Albert Hofkamp v5.0
CIF TypeBug
- Merged
- 39
- Approved
updated Aug 22, 2024
#935 PLCgen: CifProcessor collects results, target distributes them.

!1029 · created Aug 12, 2024 by Albert Hofkamp v5.0
CIF TypeBug
- Merged
- 21
- Approved
updated Aug 13, 2024

Prev
1
…
38
39
40
41
42
43
44
45
46
…
50
Next

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