Skip to content
GitLab
Explore
Sign in
Eclipse Projects
Eclipse ESCET (Supervisory Control Engineering Toolkit)
escet
Merge requests
Open
4
Merged
808
Closed
50
All
862
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Title
#593 Allow annotations on continuous variables.
!813
· created
Feb 18, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
Approved
0
updated
Feb 19, 2024
#593 Allow annotations on discrete variables
!756
· created
Jan 04, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
Approved
0
updated
Jan 05, 2024
#593 Allow annotations on events
!848
· created
Mar 30, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
Approved
1
updated
Apr 02, 2024
#593 Allow annotations on locations
!695
· created
Nov 19, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Enhancement
Merged
Approved
2
updated
Nov 21, 2023
#593 Allow annotations on specifications
!853
· created
Apr 07, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
9
updated
Apr 10, 2024
#593 Basic type checking and pretty printing for annotations
!643
· created
Sep 01, 2023
by
Dennis Hendriks
v1.0
CIF
Type
Enhancement
Merged
Approved
6
updated
Sep 05, 2023
#593 CifAnnotationsTypeChecker: JavaDoc/comment fixes.
!668
· created
Oct 15, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Enhancement
Merged
Approved
0
updated
Oct 15, 2023
#593 CIF docs: indicate whether/how tools support/handle annotations.
!679
· created
Oct 29, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Enhancement
Merged
Approved
1
updated
Oct 30, 2023
#593 Handle annotations in CIF merger
!650
· created
Sep 16, 2023
by
Dennis Hendriks
v1.0
CIF
Type
Enhancement
Merged
Approved
4
updated
Sep 19, 2023
#594 Extend `ExprGenerator` with local and temporary variable support.
!584
· created
May 15, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Merged
Approved
4
updated
May 16, 2023
#596 Allow for arbitrary 'then code' in a generated selection statement.
!603
· created
Jun 07, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Merged
Approved
9
updated
Jun 11, 2023
#596 PLCgen: add transition generator skeleton
!588
· created
May 23, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Merged
24
updated
May 25, 2023
#596 PLCgen: differentiate between reading and writing CIF variables.
!602
· created
Jun 05, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Merged
Approved
10
updated
Jun 07, 2023
#596 PLCgen: differentiate between reading and writing CIF variables.
!600
· created
Jun 02, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Closed
9
updated
Jun 05, 2023
#596 plcgen: Generate transition functions
!619
· created
Jun 30, 2023
by
Albert Hofkamp
v1.0
CIF
Type
Enhancement
Merged
Approved
191
updated
Oct 30, 2023
#596 PLCgen: improve classification of automata roles
!628
· created
Aug 12, 2023
by
Dennis Hendriks
v1.0
596-generate-event-transition-code-3
CIF
Type
Enhancement
Merged
5
updated
Aug 22, 2023
#597 EdgeOrderDuplicateEventsOption: some renaming for clarity.
!593
· created
May 27, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
1
updated
Jun 03, 2023
#598 Add end-user documentation on switch statements.
!607
· created
Jun 15, 2023
by
Martijn Goorden
v0.10
CIF
Type
Enhancement
Merged
Approved
108
updated
Jun 23, 2023
#59 mCRL2 transformation website: Supported specifications list is incomplete.
!36
· created
Apr 14, 2021
by
Ferdie Reijnen
Merged
1
updated
Apr 14, 2021
#601 Addressing some small follow-ups for the sequencing algorithm
!626
· created
Aug 08, 2023
by
Dennis Hendriks
v1.0
Common
Type
Enhancement
Merged
Approved
2
updated
Aug 09, 2023
Prev
1
…
26
27
28
29
30
31
32
33
34
…
44
Next