Skip to content
GitLab
Explore
Sign in
Open
2
Merged
1,103
Closed
60
All
1,165
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}}
Label priority
#681 PLCgen: Improve prechecking error reports (addon)
!819
· created
Feb 22, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
22
Approved
updated
Mar 14, 2024
#776 Website version switcher: include all preview versions after last release
!817
· created
Feb 20, 2024
by
Dennis Hendriks
v3.0
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Feb 21, 2024
#269 Make UnsupportedPredicateException public.
!816
· created
Feb 20, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
1
Approved
updated
Feb 20, 2024
#716 develop to master for v3.0-M1
!815
· created
Feb 20, 2024
by
Dennis Hendriks
v3.0
master
RelEng/DevOps
Type
Enhancement
Merged
2
updated
Feb 20, 2024
#269 Allow converting more/extra updates/predicates/expressions.
!814
· created
Feb 19, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
2
Approved
updated
Feb 20, 2024
#593 Allow annotations on continuous variables.
!813
· created
Feb 18, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
Approved
updated
Feb 19, 2024
#757 Test models produced by CIF tools in integration tests for being valid (part 3, event-based toolset)
!812
· created
Feb 18, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
Approved
updated
Feb 19, 2024
#716 Updated release notes for v3.0-M1.
!811
· created
Feb 18, 2024
by
Dennis Hendriks
v3.0
RelEng/DevOps
Type
Enhancement
Merged
1
updated
Feb 20, 2024
#437 Website deployment: fix updating the '.versions' file.
!809
· created
Feb 15, 2024
by
Dennis Hendriks
v3.0
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Feb 16, 2024
#757 Test models produced by CIF tools in integration tests for being valid (2nd part)
!808
· created
Feb 14, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
2
Approved
updated
Feb 15, 2024
#437 Allow easy switching between website versions
!807
· created
Feb 13, 2024
by
Dennis Hendriks
v3.0
RelEng/DevOps
Type
Enhancement
Merged
3
Approved
updated
Feb 15, 2024
#679 PLCgen: Avoid getting double underscore characters in generated names.
!806
· created
Feb 13, 2024
by
Albert Hofkamp
v3.0
CIF
Type
Enhancement
Merged
14
Approved
updated
Feb 16, 2024
#679 PLCgen: Introduce edge selection variables by automaton in event transition code
!805
· created
Feb 13, 2024
by
Albert Hofkamp
v3.0
CIF
Type
Enhancement
Merged
8
Approved
updated
Feb 19, 2024
#757 Test models produced by CIF to CIF integration tests are checked for being valid
!804
· created
Feb 12, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
1
Approved
updated
Feb 13, 2024
#759 Improve clean_build_output.py script.
!803
· created
Feb 12, 2024
by
Dennis Hendriks
v3.0
RelEng/DevOps
Type
Enhancement
Merged
5
Approved
updated
Feb 13, 2024
#364 Add 'mri_event' and 'mri_state' CIF benchmarks.
!802
· created
Feb 12, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
18
Approved
updated
Feb 14, 2024
#765 Upgrade to eclipse dash version 1.1.1.
!800
· created
Feb 08, 2024
by
Ferdie Reijnen
v3.0
RelEng/DevOps
Type
Enhancement
Merged
2
Approved
updated
Feb 09, 2024
#768 CIF pretty printer produces comment if specification is empty.
!799
· created
Feb 06, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
Approved
updated
Feb 07, 2024
#681 PLCgen: Improve prechecking error reports.
!798
· created
Feb 06, 2024
by
Albert Hofkamp
v3.0
CIF
Type
Enhancement
Merged
53
Approved
updated
Jul 10, 2024
#269 CIF BDD and data-based synthesis: Use collectEvents/collectAutomata from CifCollectUtils.
!797
· created
Feb 04, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Closed
3
updated
Feb 06, 2024
Prev
1
…
25
26
27
28
29
30
31
32
33
…
59
Next
