Skip to content
GitLab
Explore
Sign in
Open
6
Merged
1,217
Closed
63
All
1,286
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
#652 Update release notes for v2.0-RC1.
!718
· created
Dec 15, 2023
by
Dennis Hendriks
v2.0
RelEng/DevOps
Type
Enhancement
Merged
2
updated
Dec 21, 2023
#715 Update JavaScript code generation documentation + add HTML code generation documentation
!726
· created
Dec 20, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Bug
Merged
4
updated
Dec 20, 2023
#715 JavaScript code generation: improve 'fmt' function
!727
· created
Dec 20, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Bug
Merged
6
updated
Dec 20, 2023
#715 JavaScriptTupleTypeInfo: don't generate 'equals' method.
!725
· created
Dec 20, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Enhancement
Merged
4
updated
Dec 20, 2023
#715 JavaScriptCodeGen: eventId -> eventIdx.
!724
· created
Dec 20, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Enhancement
Merged
4
updated
Dec 20, 2023
#715 CIF code generator: Add JavaScript and HTML target languages.
!723
· created
Dec 20, 2023
by
Rik Lubking
v2.0
CIF
Type
Enhancement
Merged
47
Approved
updated
Dec 20, 2023
#272 CIF codegen: add SVG code generation to JavaScript code generator.
!721
· created
Dec 19, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Enhancement
Merged
updated
Dec 19, 2023
#712 Lithography benchmark model has duplicate invariants
!719
· created
Dec 19, 2023
by
Ferdie Reijnen
v2.0
CIF
Type
Bug
Merged
Approved
updated
Dec 19, 2023
#698 Fix CIF explorer state annotation argument value type creation (2nd attempt)
!711
· created
Dec 09, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Bug
Merged
6
Approved
updated
Dec 18, 2023
#713 ExprNoSpecificBinaryExprsCheckLevel cif test has mistake for modulus test
!717
· created
Dec 15, 2023
by
Ferdie Reijnen
v2.0
CIF
Type
Bug
Merged
Approved
updated
Dec 15, 2023
#542 Add warning for duplicated state invariant
!673
· created
Oct 22, 2023
by
Ferdie Reijnen
v2.0
CIF
Type
Enhancement
Merged
71
Approved
updated
Dec 15, 2023
#697 Additional type checking constraints for state annotations
!712
· created
Dec 09, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Enhancement
Merged
46
Approved
updated
Dec 16, 2023
#699 Deploy 'develop' branch as nightly
!714
· created
Dec 10, 2023
by
Dennis Hendriks
v2.0
RelEng/DevOps
Type
Enhancement
Merged
5
updated
Dec 14, 2023
#676 PLCgen: Add documentation.
!700
· created
Nov 24, 2023
by
Albert Hofkamp
v2.0
CIF
Type
Enhancement
Merged
346
Approved
updated
Dec 14, 2023
#272 Generate variables and functions for JavaScript export target
!710
· created
Dec 04, 2023
by
Rik Lubking
v2.0
CIF
Type
Enhancement
Merged
130
Approved
updated
Dec 19, 2023
#708 Event-based tools add state annotations to the output CIF models
!715
· created
Dec 10, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Enhancement
Merged
3
Approved
updated
Dec 11, 2023
#709 Fix comments in simplify_values* tests + extend the tests
!713
· created
Dec 09, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Bug
Merged
Approved
updated
Dec 11, 2023
#692 Allow annotating a CIF object multiple times with the same annotation
!708
· created
Dec 03, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Enhancement
Merged
2
Approved
updated
Dec 04, 2023
#686 Confluence check: more debug output and more termination checking
!705
· created
Nov 28, 2023
by
Martijn Goorden
v2.0
CIF
Type
Enhancement
Merged
32
Approved
updated
Dec 04, 2023
#272 JavaScript code generation: generate variables and functions boilerplate
!704
· created
Nov 27, 2023
by
Rik Lubking
v2.0
CIF
Type
Enhancement
Merged
17
Approved
updated
Dec 01, 2023
Prev
1
…
24
25
26
27
28
29
30
31
32
…
65
Next
