Skip to content
GitLab
Explore
Sign in
Open
2
Merged
737
Closed
43
All
782
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
#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
#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
#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
#838 Warn about state/event exclusion invariants with events that are not in the alphabet of the specification
!906
· created
May 31, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
4
updated
Jun 04, 2024
#621 Controller checker docs: small improvements.
!911
· created
Jun 03, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
Approved
updated
Jun 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
#757 Test models produced by CIF multilevel tests for being valid
!908
· created
Jun 01, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
Approved
updated
Jun 03, 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
#815 PLCgen: add more detailed comments to generated PLC code
!902
· created
May 24, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Enhancement
Merged
34
Approved
updated
May 28, 2024
#621 Add bounded response check and BDD representation to CIF controller properties checker
!903
· created
May 25, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
47
Approved
updated
May 28, 2024
#424 #736 Use precondition checker framework for the CIF controller properties checker
!901
· created
May 23, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
18
Approved
updated
May 27, 2024
#736 Remove or ignore annotations in CIF tools, where relevant
!900
· created
May 21, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
14
Approved
updated
May 23, 2024
#593 Allow annotations on CIF edges
!899
· created
May 21, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
6
updated
May 23, 2024
#269 Move freeing some BDDs + applying plant invariants to CIF/BDD plugin
!897
· created
May 20, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
15
Approved
updated
May 23, 2024
#833 Update release process documentation: release -> progress review.
!893
· created
May 18, 2024
by
Dennis Hendriks
v4.0
RelEng/DevOps
Type
Enhancement
Merged
3
Approved
updated
May 21, 2024
#621 Prepare controller properties checker tool for BDD-based bounded response check
!898
· created
May 20, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
4
Approved
updated
May 21, 2024
#780 Java formatter: don't join and rewrap already wrapped lines.
!889
· created
May 14, 2024
by
Dennis Hendriks
v4.0
RelEng/DevOps
Type
Enhancement
Merged
6
updated
May 21, 2024
#805 PLCgen: Insert text file at the start of the PLC program (2nd attempt)
!878
· created
May 07, 2024
by
Albert Hofkamp
v4.0
CIF
Type
Enhancement
Merged
76
Approved
updated
Jul 27, 2024
#834 Add CIF to CIF transformation to relabel supervisors as plants.
!895
· created
May 20, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
Approved
updated
May 21, 2024
#830 ElimStateEvtExclInvs: multiple improvements.
!894
· created
May 18, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
3
updated
May 21, 2024
Prev
1
…
5
6
7
8
9
10
11
12
13
…
40
Next
