Skip to content
GitLab
Explore
Sign in
Open
0
Merged
1,114
Closed
60
All
1,174
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}}
Created date
#368 Implement cif2dmm
!349
· created
Jul 08, 2022
by
Albert Hofkamp
CIF
Type
Enhancement
Closed
290
updated
Jan 18, 2023
#398 Various checks for CIF checker crash for violations in the root of the specification
!350
· created
Jul 15, 2022
by
Ferdie Reijnen
v0.7
CIF
Type
Bug
Closed
9
updated
Sep 11, 2022
Draft: #382 Make plcgen0 accessible in ESCET.
!352
· created
Aug 08, 2022
by
Albert Hofkamp
CIF
Type
Enhancement
Closed
2
updated
Aug 11, 2022
Draft: #382 (take 2) Make plcgen0 accessible in ESCET.
!357
· created
Aug 11, 2022
by
Albert Hofkamp
v3.0
CIF
Type
Enhancement
Closed
4
updated
Dec 22, 2023
#402 Double dash in branch-names are interpreted as CJK ideographs
!360
· created
Aug 19, 2022
by
Ferdie Reijnen
v0.7
Help Wanted
RelEng/DevOps
Type
Bug
Closed
2
updated
Aug 19, 2022
#431 Test building fork merge request with changed Jenkinsfile.
!381
· created
Oct 02, 2022
by
Dennis Hendriks
v0.8
RelEng/DevOps
Type
Bug
Closed
1
updated
Oct 02, 2022
#424 Generalize allowed invariants check.
!399
· created
Oct 26, 2022
by
Albert Hofkamp
CIF
Type
Enhancement
Closed
39
updated
Dec 07, 2022
#431contributions for non-commiters cannot be merged
!406
· created
Nov 09, 2022
by
Pawel Stankiewicz
Closed
1
updated
Nov 10, 2022
#431 contributions for non-commiters cannot be merged, test2
!408
· created
Nov 10, 2022
by
Pawel Stankiewicz
RelEng/DevOps
Type
Bug
Closed
1
updated
Feb 13, 2023
#359 Attempt to upgrade to Tycho 3
!431
· created
Dec 04, 2022
by
Dennis Hendriks
v0.8
RelEng/DevOps
Type
Enhancement
Closed
updated
Dec 04, 2022
Draft: #360 Integrate license check into the build
!454
· created
Dec 23, 2022
by
Dennis Hendriks
RelEng/DevOps
Type
Enhancement
Closed
4
updated
Aug 19, 2023
Draft: #488 Search engine indexes old versions
!462
· created
Dec 31, 2022
by
Ferdie Reijnen
RelEng/DevOps
Type
Enhancement
Closed
2
updated
Jan 05, 2023
Draft: #454 New output for CIF checks
!464
· created
Jan 01, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Enhancement
Closed
28
updated
Feb 21, 2023
Testing EF issue 2178. Do not merge.
!471
· created
Jan 09, 2023
by
Pawel Stankiewicz
Closed
2
updated
Jan 09, 2023
Draft: #378 CIF data-based synthesis variable ordering and reordering in one go.
!472
· created
Jan 09, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Enhancement
Closed
5
updated
Mar 12, 2023
#534 Fail build on files not formatted according to the ESCET formatter profile
!512
· created
Feb 21, 2023
by
Dennis Hendriks
RelEng/DevOps
Type
Enhancement
Closed
59
updated
Jan 17, 2024
#480 develop to master for v0.9-RC1
!541
· created
Mar 28, 2023
by
Dennis Hendriks
v0.9
master
RelEng/DevOps
Type
Enhancement
Closed
1
updated
Mar 28, 2023
#567 Unable to run CIF simulation in stand-alone mode using ./bin/cifsim
!555
· created
Apr 16, 2023
by
Patrick van Berkel
v0.10
Common
Type
Bug
Closed
26
updated
Apr 23, 2023
#418 PLCgen: add default initial values to the converted state variable declarations.
!562
· created
Apr 26, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Closed
26
updated
Apr 30, 2023
Draft: #520 Add algorithm by Fei et al. (2014) to compute edge dependency sets
!595
· created
May 28, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Closed
3
updated
May 29, 2023
Prev
1
2
3
Next