Skip to content
GitLab
Explore
Sign in
Open
2
Merged
1,107
Closed
60
All
1,169
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
#552 Fix BDD variable order option name in CIF documentation.
!537
· created
Mar 21, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Bug
Merged
Approved
updated
Mar 21, 2023
#379 CIF data-based synthesis variable ordering new default
!538
· created
Mar 22, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Enhancement
Merged
1
Approved
updated
Mar 22, 2023
#489 Add simulation scenarios readme to CIF bridge example.
!539
· created
Mar 23, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Enhancement
Merged
18
Approved
updated
Mar 27, 2023
#480 Release notes updates for v0.9-RC1.
!540
· created
Mar 24, 2023
by
Dennis Hendriks
v0.9
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Mar 28, 2023
#480 develop to master for v0.9-RC1
!542
· created
Mar 28, 2023
by
Dennis Hendriks
v0.9
master
RelEng/DevOps
Type
Enhancement
Merged
updated
Mar 28, 2023
#561 Update DEPENDENCIES.txt for changed Dash license tool output.
!543
· created
Mar 29, 2023
by
Dennis Hendriks
v0.9
RelEng/DevOps
Type
Bug
Merged
updated
Mar 29, 2023
#481 Update release notes for v0.9.
!544
· created
Mar 30, 2023
by
Dennis Hendriks
v0.9
RelEng/DevOps
Type
Enhancement
Merged
2
Approved
updated
Mar 31, 2023
#481 develop to master for v0.9
!545
· created
Mar 31, 2023
by
Dennis Hendriks
v0.9
master
RelEng/DevOps
Type
Enhancement
Merged
1
updated
Mar 31, 2023
#562 Release process: fixed setting standard website and removing old websites
!546
· created
Mar 31, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Bug
Merged
3
Approved
updated
Apr 03, 2023
#560 Development/release process updates: no more CQs and IP Logs.
!548
· created
Apr 01, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Apr 03, 2023
#557 Prepare Git repo for v0.10 development
!547
· created
Apr 01, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Apr 03, 2023
#564 CIF benchmark script: use normal output instead of debug output.
!552
· created
Apr 02, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
3
Approved
updated
Apr 03, 2023
#279 pom.xml surefire updates: 3.0.0-M5 to 3.0.0.
!549
· created
Apr 01, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Apr 03, 2023
#563 Improve CIF data-synthesis main fixed point loop sections
!550
· created
Apr 02, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
4
updated
Apr 04, 2023
#377 Legacy hyper-edge creator: consider location invariants.
!551
· created
Apr 02, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Bug
Merged
3
Approved
updated
Apr 05, 2023
#565 DEPENDENCIES.txt update for Dash license check tool output change.
!554
· created
Apr 15, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Bug
Merged
updated
Apr 15, 2023
#566 DEPENDENCIES.txt update for Dash license check tool output change.
!556
· created
Apr 16, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Bug
Merged
updated
Apr 16, 2023
#567 Reference correct plugin_name in eventbased standalone application.
!557
· created
Apr 20, 2023
by
Patrick van Berkel
v0.10
CIF
Type
Bug
Merged
3
Approved
updated
Apr 20, 2023
#567 Added launch configuration to run stand-alone cifsim for tank model from devenv
!558
· created
Apr 20, 2023
by
Patrick van Berkel
v0.10
CIF
Type
Enhancement
Merged
8
Approved
updated
Apr 22, 2023
#567 Handle dark-theme and theme update in standalone applications.
!561
· created
Apr 23, 2023
by
Patrick van Berkel
v0.10
Common
Type
Bug
Merged
9
Approved
updated
Apr 25, 2023
Prev
1
…
22
23
24
25
26
27
28
29
30
…
59
Next