Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
34
Merged
89
Closed
16
All
139
Recent searches
{{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}}
Created date
Review branch threading-extensions
!99
· created
Dec 14, 2022
by
Martin Spiessl
1
0 of 1 Approvals
updated
Dec 30, 2022
Support Export and Import of Fault Localization Results
!98
· created
Nov 23, 2022
by
Matthias Kettl
Merged
6
updated
Nov 25, 2022
Draft: a new sequential composition for SV-COMP '23
!97
· created
Nov 16, 2022
by
Nian-Ze Lee
SV-COMP
component: Configurations
Closed
4
0 of 1 Approvals
updated
Nov 21, 2022
Optimize loop detection
!96
· created
Nov 15, 2022
by
Philipp Wendler
Release 2.3
SV-COMP
component: CFA & AST
performance
Merged
74
Approved
updated
Feb 01, 2023
Combine k-induction with IMC
!95
· created
Oct 31, 2022
by
Po-Chun Chien
Merged
7
updated
Nov 11, 2022
Draft: Improvements to IMC
!94
· created
Oct 26, 2022
by
Po-Chun Chien
Release 2.2
Merged
1
Approved
updated
Oct 27, 2022
SMGv2
!93
· created
Oct 11, 2022
by
Martin Spiessl
Merged
86
updated
Feb 28, 2023
Fix issue with C invariants export (#864)
!92
· created
Sep 19, 2022
by
Martin Spiessl
Merged
2
updated
Sep 19, 2022
Draft: Support new CfaToCExporter with CFA transformations
!91
· created
Jun 23, 2022
by
Thomas Lemberger
Student Task
component: CFA & AST
8
0 of 1 Approvals
updated
Jul 13, 2023
Draft: Split System Dependence Graph into smaller components
!90
· created
Jun 21, 2022
by
Thomas Lemberger
component: static-slicing
2
0 of 1 Approvals
updated
Oct 24, 2023
Add support for data race detection
!89
· created
Jun 20, 2022
by
Martin Spiessl
Release 2.2
SV-COMP
enhancement
Merged
38
updated
Dec 14, 2022
Unit Tests for Dominance-Tree Computation
!88
· created
Jun 07, 2022
by
Thomas Lemberger
Merged
6
updated
Jun 07, 2022
Program Slicing Fixes
!87
· created
Jun 03, 2022
by
Thomas Lemberger
component: static-slicing
Merged
6
updated
Jun 10, 2022
Use Guava methods for reverse-post-order-id computation
!86
· created
Jun 02, 2022
by
Thomas Lemberger
component: CFA & AST
enhancement
Merged
9
1
updated
Jun 03, 2022
Identity C Export
!85
· created
May 30, 2022
by
Thomas Lemberger
Student Task
component: CFA & AST
Merged
39
updated
Jun 20, 2022
New Approaches and Visualization for Verification Coverage
!84
· created
May 16, 2022
by
Philipp Wendler
213
0 of 1 Approvals
updated
Jun 10, 2022
Refactoring: Split Dominance-Tree Computation and use Guava classes
!83
· created
May 09, 2022
by
Thomas Lemberger
Merged
44
updated
Jun 02, 2022
Stop storing references to unreachable function-exit nodes
!82
· created
May 06, 2022
by
Thomas Lemberger
component: CFA & AST
Merged
38
Approved
updated
Jan 23, 2023
MR for branch rewrite-fault-localization-trace-formula
!81
· created
Mar 25, 2022
by
Matthias Kettl
component: FaultLocalization
Merged
36
Approved
updated
Apr 19, 2022
Improve CFA transformation and introduce `CfaNetwork` and `CfaMetadata`
!80
· created
Mar 24, 2022
by
Thomas Lemberger
component: CFA & AST
Merged
101
updated
Sep 22, 2023
Prev
1
2
3
4
5
6
7
Next