Skip to content
GitLab
Explore
Sign in
Open
0
Merged
665
Closed
33
All
698
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}}
Updated date
#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
#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
#884 PLCgen: Improve handling of diferent value types in input/output
!957
· created
Jul 01, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Bug
Merged
20
updated
Jul 04, 2024
#621 CIF controller properties checker adds results to 'controller:properties' annotation
!907
· created
May 31, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
34
Approved
updated
Jun 27, 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
#882 CIF explorer statistic output: 'states space' -> 'state space'.
!944
· created
Jun 22, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
Approved
updated
Jun 22, 2024
#862 #679 PLCgen S7 SEL function application should always use formal notation.
!940
· created
Jun 20, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Bug
Merged
Approved
updated
Jun 21, 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
#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
#691 CIF explorer: use proper edge vs transition terminology
!938
· created
Jun 18, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
18
updated
Jun 21, 2024
#877 #679 PLCgen: Recognize more forms of integer literals.
!939
· created
Jun 20, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Bug
Merged
11
Approved
updated
Jun 21, 2024
#876 Drop power and exponentiation.
!936
· created
Jun 18, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Bug
Merged
Approved
updated
Jun 18, 2024
#847 Fix PLCgen PLC code for EXPT and MIN/MAX.
!934
· created
Jun 17, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Bug
Merged
2
Approved
updated
Jun 18, 2024
#679 #860 PLCgen: Ensure that the main program always has a proper PLC statement.
!932
· created
Jun 17, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Bug
Merged
7
Approved
updated
Jun 18, 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
#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
Prev
1
…
6
7
8
9
10
11
12
13
14
…
35
Next
