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

#827 Improve CIF type checker message for 'type only allows one value' warnings

!886 · created May 11, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- 3
- Approved
updated May 14, 2024
#807 Improve CIF pretty printer output (always print initial, marked, and equation)

!883 · created May 10, 2024 by Ferdie Reijnen v4.0
CIF TypeEnhancement
- Merged
- 2
- Approved
updated May 18, 2024
#593 Allow annotations on component definitions/instantiations

!880 · created May 10, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- 3
updated May 15, 2024
#679 PLCgen: Disallow arrays of length 0.

!879 · created May 09, 2024 by Albert Hofkamp v4.0
CIF TypeEnhancement
- Merged
- Approved
updated May 09, 2024
#805 PLCgen: Insert text file at the start of the PLC program (2nd attempt)

!878 · created May 07, 2024 by Albert Hofkamp v4.0
CIF TypeEnhancement
- Merged
- 76
- Approved
updated Jul 27, 2024
#593 Allow annotations on invariants

!877 · created May 07, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- 10
- Approved
updated May 07, 2024
#770 PLCgen: Add type to expressions

!875 · created May 07, 2024 by Albert Hofkamp v4.0
CIF TypeEnhancement
- Merged
- 66
- Approved
updated Jun 05, 2024
#593 Allow annotations on groups

!873 · created May 04, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- Approved
updated May 07, 2024
#593 Allow annotations on automata

!872 · created May 02, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- 2
updated May 04, 2024
#805 PLCgen: Insert a text header at the start of the PLC program (1st attempt)

!871 · created Apr 29, 2024 by Albert Hofkamp v4.0
CIF TypeEnhancement
- Closed
- 25
updated May 07, 2024
#811 CIF to CIF anonymize names transformation renames function variables with a separate name

!868 · created Apr 27, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- Approved
updated Apr 29, 2024
#593 Allow annotations on functions, function parameters and function variables

!867 · created Apr 27, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- 16
- Approved
updated May 10, 2024
#593 Allow annotations on enumerations and enumeration literals

!864 · created Apr 21, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- 17
- Approved
updated Apr 25, 2024
#770 PLCgen: Introduce declared types.

!863 · created Apr 21, 2024 by Albert Hofkamp v4.0
CIF TypeEnhancement
- Merged
- 69
- Approved
updated May 01, 2024
#593 Allow annotations on CIF type declarations

!862 · created Apr 18, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- Approved
updated Apr 19, 2024
#800 PLCgen: forbid events without controllability

!859 · created Apr 15, 2024 by Albert Hofkamp v4.0
CIF TypeEnhancement
- Merged
- 4
- Approved
updated Apr 17, 2024
#801 Annotation argument syntax change + name optional + @doc multiple unnamed arguments

!858 · created Apr 14, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- 15
- Approved
updated Apr 15, 2024
#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
#593 Allow annotations on events

!848 · created Mar 30, 2024 by Dennis Hendriks v4.0
CIF TypeEnhancement
- Merged
- 1
- Approved
updated Apr 02, 2024

Prev
1
…
14
15
16
17
18
19
20
21
22
…
35
Next

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