Skip to content
GitLab
Explore
Sign in
Open
6
Merged
808
Closed
45
All
859
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}}
Merged date
#922 Website: set 'text/plain' mime-type to download '.versions' file.
!977
· created
Jul 18, 2024
by
Dennis Hendriks
v5.0
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Jul 18, 2024
#915 Remove trailing whitespace for ESCET website legal page 'pre' tag.
!974
· created
Jul 16, 2024
by
Dennis Hendriks
v5.0
RelEng/DevOps
Type
Enhancement
Merged
3
Approved
updated
Jul 18, 2024
#869 Declare annotations a stable CIF language feature.
!973
· created
Jul 16, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
Approved
updated
Jul 18, 2024
#913 Signing during build: don't re-sign signed JARS + set timeout
!972
· created
Jul 16, 2024
by
Dennis Hendriks
v5.0
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Jul 18, 2024
#916 Remove 'org.eclipse.escet.cif.examples' plugin self-dependency.
!975
· created
Jul 16, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
Approved
updated
Jul 18, 2024
#742 Add SBE course, with home page, module 1 introduction, and module 1.1.
!966
· created
Jul 09, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
28
Approved
updated
Jul 15, 2024
#881 Cleanup box writing
!950
· created
Jun 28, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Enhancement
Merged
38
Approved
updated
Jul 12, 2024
#881 Cleanup CifWriter usage.
!968
· created
Jul 12, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Enhancement
Merged
Approved
updated
Jul 12, 2024
#879 CIF/BDD: Introduce CifBddEdgeApplyDirection and CifBddEdgeKind.
!962
· created
Jul 04, 2024
by
Dennis Hendriks
CIF
Type
Enhancement
Merged
5
Approved
updated
Jul 04, 2024
#905 Add link to nightly dev docs on non-nightly dev docs.
!958
· created
Jul 03, 2024
by
Dennis Hendriks
v5.0
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Jul 04, 2024
#406 No indent for empty lines of console output of applications and libraries.
!961
· created
Jul 03, 2024
by
Dennis Hendriks
v5.0
Common
Type
Enhancement
Merged
3
Approved
updated
Jul 16, 2024
#907 Controller checker: assert consistency of finite response and bounded response.
!960
· created
Jul 03, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
Approved
updated
Jul 04, 2024
#906 CIF benchmark overview script: consistently generate '?' instead of '-1'.
!959
· created
Jul 03, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
Approved
updated
Jul 04, 2024
#842 Prepare Git repo for v5.0 development
!954
· created
Jun 30, 2024
by
Dennis Hendriks
v5.0
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Jul 01, 2024
#785 develop to master for v4.0
!952
· created
Jun 30, 2024
by
Dennis Hendriks
v4.0
master
RelEng/DevOps
Type
Enhancement
Merged
updated
Jun 30, 2024
#785 Update release notes for v4.0.
!949
· created
Jun 26, 2024
by
Dennis Hendriks
v4.0
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Jun 30, 2024
#784 develop to master for v4.0-RC1
!948
· created
Jun 26, 2024
by
Dennis Hendriks
v4.0
master
RelEng/DevOps
Type
Enhancement
Merged
updated
Jun 26, 2024
#784 Update release notes for v4.0-RC1.
!946
· created
Jun 23, 2024
by
Dennis Hendriks
v4.0
RelEng/DevOps
Type
Enhancement
Merged
3
updated
Jun 26, 2024
#887 CIF benchmark overview script: generate proper row-averages.
!947
· created
Jun 25, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
7
Approved
updated
Jun 26, 2024
#410 CIF controller properties checker: add non-blocking under control check
!931
· created
Jun 16, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
56
Approved
updated
Jun 25, 2024
Prev
1
…
7
8
9
10
11
12
13
14
15
…
43
Next
