Skip to content
GitLab
Explore
Sign in
Open
4
Merged
1,149
Closed
60
All
1,213
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}}
Title
#672 Improved CIF type checker messages for component definition/instantiation mismatch
!677
· created
Oct 29, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Enhancement
Merged
7
Approved
updated
Nov 13, 2023
#671 Explain 2FA for pushing to Eclipse Foundation GitLab in dev docs.
!669
· created
Oct 15, 2023
by
Dennis Hendriks
v2.0
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Oct 16, 2023
#670 Fix 'test-all' launch configuration.
!676
· created
Oct 29, 2023
by
Dennis Hendriks
v2.0
RelEng/DevOps
Type
Bug
Merged
2
Approved
updated
Oct 30, 2023
#66 CIF ElimComponentDefInst crashes on via parameter reference ending with a component instantiation.
!51
· created
Apr 29, 2021
by
Ferdie Reijnen
Merged
4
updated
Apr 30, 2021
#669 Added history page to CIF documentation
!685
· created
Oct 31, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Enhancement
Merged
80
Approved
updated
Nov 20, 2023
#667 Support logical implication operator in CIF to mCRL2
!687
· created
Nov 02, 2023
by
Martijn Goorden
v2.0
CIF
Type
Enhancement
Merged
2
Approved
updated
Nov 02, 2023
#666 Eliminate custom plcgen warning class.
!665
· created
Oct 11, 2023
by
Albert Hofkamp
v2.0
CIF
Type
Enhancement
Merged
3
Approved
updated
Oct 16, 2023
#662 Prevent exit code 23 and 24 leading to ESCET command line scripts restarting
!1102
· created
Oct 17, 2024
by
Dennis Hendriks
v6.0
Products
Type
Bug
Merged
2
Approved
updated
Oct 17, 2024
#661 Large expressions in exception reporting crash the CIF simulator
!671
· created
Oct 16, 2023
by
Martijn Goorden
v2.0
CIF
Type
Bug
Merged
14
Approved
updated
Oct 16, 2023
#658 Fix 'cifexplorer' script: use correct plugin to find application.
!657
· created
Sep 25, 2023
by
Dennis Hendriks
v1.0
CIF
Type
Bug
Merged
Approved
updated
Sep 25, 2023
#656 Upgrade Java 17 to 21 and Tycho 4.0.5 to 4.0.9
!1091
· created
Oct 14, 2024
by
Dennis Hendriks
v6.0
RelEng/DevOps
Type
Enhancement
Merged
13
updated
Oct 15, 2024
#655 Mark CIF data-based synthesis workset algorithm as mature
!653
· created
Sep 18, 2023
by
Dennis Hendriks
v1.0
CIF
Type
Enhancement
Merged
Approved
updated
Sep 19, 2023
#655 Bug in CifToSynthesisConverter for resizing value vector
!663
· created
Oct 09, 2023
by
Ferdie Reijnen
v2.0
CIF
Type
Bug
Merged
Approved
updated
Oct 09, 2023
#654 Prepare Git repo for v2.0 development
!661
· created
Sep 30, 2023
by
Dennis Hendriks
v2.0
RelEng/DevOps
Type
Enhancement
Merged
2
Approved
updated
Oct 02, 2023
#653 Update release notes for v2.0.
!729
· created
Dec 21, 2023
by
Dennis Hendriks
v2.0
RelEng/DevOps
Type
Enhancement
Merged
1
Approved
updated
Dec 22, 2023
#653 develop to master for v2.0
!734
· created
Dec 22, 2023
by
Dennis Hendriks
v2.0
master
RelEng/DevOps
Type
Enhancement
Merged
updated
Dec 22, 2023
#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
#652 develop to master for v2.0-RC1
!728
· created
Dec 21, 2023
by
Dennis Hendriks
v2.0
master
RelEng/DevOps
Type
Enhancement
Merged
updated
Dec 21, 2023
#651 develop to master for v2.0-M1
!693
· created
Nov 14, 2023
by
Dennis Hendriks
v2.0
master
RelEng/DevOps
Type
Enhancement
Merged
updated
Nov 14, 2023
#651 Add release notes for v2.0-M1.
!692
· created
Nov 12, 2023
by
Dennis Hendriks
v2.0
RelEng/DevOps
Type
Enhancement
Merged
1
updated
Nov 14, 2023
Prev
1
…
16
17
18
19
20
21
22
23
24
…
58
Next
