Skip to content
GitLab
Explore
Sign in
Open
8
Merged
1,263
Closed
63
All
1,334
Merge trains
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Title
#839 Update release notes for v5.0.
!1076
· created
Oct 01, 2024
by
Dennis Hendriks
v5.0
RelEng/DevOps
Type
Enhancement
Merged
updated
Oct 03, 2024
#839 develop to master for v5.0
!1078
· created
Oct 03, 2024
by
Dennis Hendriks
v5.0
master
RelEng/DevOps
Type
Enhancement
Merged
updated
Oct 03, 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
Type
Enhancement
Merged
4
updated
Jun 04, 2024
#836 Eclipse ESCET download page improvements.
!1016
· created
Aug 01, 2024
by
Dennis Hendriks
v5.0
RelEng/DevOps
Type
Enhancement
Merged
2
updated
Aug 05, 2024
#835 Add CifEventUtils.getAlphabet(Specification) method.
!896
· created
May 20, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
2
Approved
updated
May 21, 2024
#834 Add CIF to CIF transformation to relabel supervisors as plants.
!895
· created
May 20, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
Approved
updated
May 21, 2024
#833 Update release process documentation: release -> progress review.
!893
· created
May 18, 2024
by
Dennis Hendriks
v4.0
RelEng/DevOps
Type
Enhancement
Merged
3
Approved
updated
May 21, 2024
#831 PLCgen: Document PLC input and PLC output code generation policies.
!891
· created
May 15, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Enhancement
Merged
4
Approved
updated
May 16, 2024
#830 ElimStateEvtExclInvs: multiple improvements.
!894
· created
May 18, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
3
updated
May 21, 2024
#82 Release notes updated for v0.2-M1.
!75
· created
May 21, 2021
by
Dennis Hendriks
v0.2
RelEng/DevOps
Type
Enhancement
Merged
2
updated
May 21, 2021
#82 Release notes typo fixed.
!77
· created
May 21, 2021
by
Dennis Hendriks
v0.2
RelEng/DevOps
Type
Enhancement
Merged
2
updated
May 22, 2021
#82 develop to master for v0.2-M1.
!76
· created
May 21, 2021
by
Dennis Hendriks
master
Merged
updated
May 21, 2021
#829 Fix ESCET IDE splash screen DPI
!888
· created
May 11, 2024
by
Dennis Hendriks
v4.0
Products
Type
Bug
Merged
3
Approved
updated
May 20, 2024
#828 SBE documentation: improve various descriptions related to verification.
!887
· created
May 11, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
10
Approved
updated
May 15, 2024
#827 Improve CIF type checker message for 'type only allows one value' warnings
!886
· created
May 11, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
3
Approved
updated
May 14, 2024
#826 Release process: document types of releases and retention policy.
!885
· created
May 11, 2024
by
Dennis Hendriks
v4.0
RelEng/DevOps
Type
Enhancement
Merged
1
Approved
updated
May 13, 2024
#825 ToolDef docs: 'ToolDef tool manual' -> 'ToolDef interpreter'.
!884
· created
May 11, 2024
by
Dennis Hendriks
v4.0
ToolDef
Type
Enhancement
Merged
2
Approved
updated
May 14, 2024
#824 Fix scoping of annotation type checking
!916
· created
Jun 06, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
Approved
updated
Jun 10, 2024
#823 Controller checker: check annotation constraints on output model.
!910
· created
Jun 03, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
2
updated
Jun 04, 2024
#823 CIF tools check annotation constraints on output models
!909
· created
Jun 02, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
4
Approved
updated
Jun 03, 2024
Prev
1
…
7
8
9
10
11
12
13
14
15
…
67
Next
