Skip to content
GitLab
Explore
Sign in
Open
1
Merged
719
Closed
42
All
762
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
#87 Add root folder to product archives + removed '-ide' from product download names
!86
· created
Jun 06, 2021
by
Dennis Hendriks
v0.2
Products
RelEng/DevOps
Type
Enhancement
Merged
updated
Jun 09, 2021
#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
#878 Accounting for runtime errors earlier during data based synthesis
!941
· created
Jun 20, 2024
by
Wytse Oortwijn
v4.0
CIF
Type
Enhancement
Merged
21
Approved
updated
Jul 09, 2024
#873 CIF data-based synthesis: allow converting resulting predicates explicitly to only CNF or DNF
!930
· created
Jun 15, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
3
updated
Jun 17, 2024
#871 Use more BddUtils.free in CifBddEdge.
!928
· created
Jun 14, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
Approved
updated
Jun 17, 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
#867 Use `relnextIntersection` and `relprevIntersection`
!942
· created
Jun 21, 2024
by
Wytse Oortwijn
v4.0
CIF
Type
Enhancement
Merged
9
Approved
updated
Jun 21, 2024
#866 Use partial transition relations for improving data based synthesis performance
!927
· created
Jun 14, 2024
by
Wytse Oortwijn
v4.0
CIF
Type
Enhancement
Merged
20
Approved
updated
Jun 14, 2024
#865 Use relnext and relprev for improving data based synthesis performance
!926
· created
Jun 13, 2024
by
Wytse Oortwijn
v4.0
CIF
Type
Enhancement
Merged
2
Approved
updated
Jun 13, 2024
#863 #987 PLCgen S7 documentation improvements for TIA Portal steps.
!1066
· created
Sep 21, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
3
updated
Sep 25, 2024
#85 Improved development process documentation.
!145
· created
Sep 26, 2021
by
Dennis Hendriks
v0.3
RelEng/DevOps
Type
Enhancement
Merged
10
updated
Mar 12, 2022
#856 CIF type checker now warns for convoluted references, for types of component parameters
!917
· created
Jun 07, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
Approved
updated
Jun 08, 2024
#843 Be more explicit that CIF doesn't allow assigning derivatives of continuous variables
!904
· created
May 28, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
Approved
updated
May 28, 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
#841 Update release notes for v5.0-M1.
!1025
· created
Aug 10, 2024
by
Dennis Hendriks
v5.0
RelEng/DevOps
Type
Enhancement
Merged
3
updated
Aug 14, 2024
#841 develop to master for v5.0-M1
!1033
· created
Aug 14, 2024
by
Dennis Hendriks
v5.0
master
RelEng/DevOps
Type
Enhancement
Merged
updated
Aug 14, 2024
#840 Update release notes for v5.0-RC1.
!1067
· created
Sep 21, 2024
by
Dennis Hendriks
v5.0
RelEng/DevOps
Type
Enhancement
Merged
5
Approved
updated
Oct 01, 2024
#840 develop to master for v5.0-RC1
!1075
· created
Oct 01, 2024
by
Dennis Hendriks
v5.0
master
RelEng/DevOps
Type
Enhancement
Merged
updated
Oct 01, 2024
#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
Prev
1
2
3
4
5
6
7
8
9
…
36
Next