Skip to content
GitLab
Explore
Sign in
Eclipse Projects
Eclipse ESCET (Supervisory Control Engineering Toolkit)
escet
Merge requests
Open
7
Merged
660
Closed
43
All
710
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 Add 'doc' annotation as built-in CIF annotation
!651
· created
Sep 16, 2023
by
Dennis Hendriks
v1.0
CIF
Type
Enhancement
Merged
Approved
21
updated
Sep 20, 2023
#593 Add parsing of annotations.
!640
· created
Aug 28, 2023
by
Dennis Hendriks
v1.0
CIF
Type
Enhancement
Merged
Approved
8
updated
Aug 30, 2023
#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 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
#601 Implement sequencing algorithm
!591
· created
May 25, 2023
by
Albert Hofkamp
v1.0
Common
Type
Enhancement
Merged
163
updated
Aug 09, 2023
#602 Implemented BDD-based workset edge dependency set computation
!599
· created
May 29, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
Approved
5
updated
Jun 01, 2023
Prev
1
…
24
25
26
27
28
29
30
31
32
…
36
Next