Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
35
Merged
94
Closed
18
All
147
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
Implement functions like memcpy and memset for predicate analysis
!107
· created
Mar 06, 2023
by
Philipp Wendler
array
component: PredicateCPA
enhancement
pointer
Merged
179
Approved
updated
Nov 24, 2023
Add CFA representations based on Guava's Network
!106
· created
Feb 02, 2023
by
Philipp Wendler
component: CFA & AST
Merged
60
Approved
updated
Mar 02, 2023
Add 'CfaMetadata' class for encapsulating various metadata about CFAs
!105
· created
Feb 01, 2023
by
Philipp Wendler
component: CFA & AST
task
Merged
7
updated
Feb 02, 2023
Avoid printing the debug information when no user information is given to benchmark.py in WebClient mode
!104
· created
Jan 27, 2023
by
Zhu Yang
component: Scripts
component: VerifierCloud
Merged
2
Approved
updated
Jun 03, 2023
Print error message when no user information is given to scripts/cpa_web_cloud.py
!103
· created
Jan 25, 2023
by
Zhu Yang
component: Scripts
component: VerifierCloud
Merged
6
Approved
updated
Jun 03, 2023
Print error message when no source files are given to scripts/cpa_web_cloud.py
!102
· created
Jan 25, 2023
by
Zhu Yang
component: Scripts
component: VerifierCloud
Merged
2
Approved
updated
Jun 03, 2023
Print help message with -h for scripts/cpa_web_cloud.py
!101
· created
Jan 25, 2023
by
Zhu Yang
component: Scripts
component: VerifierCloud
Merged
Approved
updated
Jun 03, 2023
Make use of Java 17 in CPAchecker
!100
· created
Jan 18, 2023
by
Philipp Wendler
component: General
task
Merged
5
updated
Sep 05, 2023
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
Prev
1
2
3
4
5
6
7
8
Next