Skip to content
GitLab
Explore
Sign in
Open
2
Merged
1,149
Closed
60
All
1,211
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
#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
#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
#870 Update DEPENDENCIES.txt for Dash License check tool output change.
!929
· created
Jun 15, 2024
by
Dennis Hendriks
v4.0
RelEng/DevOps
Type
Bug
Merged
updated
Jun 15, 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
#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
#625 Upgrade to JavaBDD 7.0.0.
!925
· created
Jun 11, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
Approved
updated
Aug 05, 2024
#853 CIF to CIF transformer performs annotation post-checks on specification without component definition/instantiation
!924
· created
Jun 10, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
Approved
updated
Jun 13, 2024
#864 Jenkinsfile: increase build timeout.
!923
· created
Jun 10, 2024
by
Dennis Hendriks
v4.0
RelEng/DevOps
Type
Bug
Merged
Approved
updated
Jun 10, 2024
#859 PLCgen: disallow 'switch' expressions on tuples and arrays as precondition
!922
· created
Jun 10, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
4
updated
Jun 10, 2024
#854 PLCgen: Add function type extensions, enable for the SEL function.
!921
· created
Jun 10, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Bug
Merged
8
Approved
updated
Jun 21, 2024
#679 Make "timer" a reserved word in PLCgen
!920
· created
Jun 10, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Enhancement
Merged
1
Approved
updated
Jun 10, 2024
#857 PLCgen: transform 'switch' expressions to 'if' expressions.
!919
· created
Jun 09, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
4
Approved
updated
Jun 10, 2024
#858 CIF to CIF transformation to transform 'switch' expressions to 'if' expressions now handles nested 'switch' expressions
!918
· created
Jun 09, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
3
Approved
updated
Jun 09, 2024
#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
#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
#853 ControllerCheckerApp: fix annotation post-checking.
!915
· created
Jun 06, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
8
Approved
updated
Jun 10, 2024
#770 PLCgen: Check the type of all values in an array literal.
!914
· created
Jun 05, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Enhancement
Merged
6
Approved
updated
Jun 06, 2024
#852 PLCgen docs: Fix timer example code
!913
· created
Jun 05, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Bug
Merged
1
Approved
updated
Jun 05, 2024
#770 PLCgen: Types in expressions, check them.
!912
· created
Jun 04, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Enhancement
Merged
62
Approved
updated
Jun 09, 2024
Prev
1
…
11
12
13
14
15
16
17
18
19
…
61
Next
