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
Draft: Incremental Function Analysis
!119
· created
Sep 10, 2023
by
Matthias Kettl
0 of 1 Approvals
updated
Sep 10, 2023
Implementation of DAR in CPAchecker
!118
· created
Sep 01, 2023
by
Marek Jankola
Release 2.4
component: BMC & Induction
interpolation
Merged
108
updated
Mar 06, 2024
Draft: Pointer aliasing for backward analysis (work in progess)
!117
· created
Aug 23, 2023
by
Nian-Ze Lee
aliasing
backwards
component: BMC & Induction
enhancement
pointer
18
0 of 1 Approvals
updated
Aug 26, 2023
Draft: Implementation of backward BMC algorithm
!116
· created
Aug 15, 2023
by
Nian-Ze Lee
backwards
component: BMC & Induction
31
1
0 of 1 Approvals
updated
Aug 26, 2023
Draft: Supporting witness export for backward analysis
!115
· created
Aug 14, 2023
by
Nian-Ze Lee
backwards
component: Witness Export
witness
18
0 of 1 Approvals
updated
Aug 23, 2023
Add documentation on profiling with Java Flight Recorder
!114
· created
Jul 13, 2023
by
Thomas Lemberger
component: Documentation
enhancement
Merged
3
Approved
updated
Jul 14, 2023
Draft: Code review for CFA reverser
!113
· created
Jun 16, 2023
by
Po-Chun Chien
8
1
0 of 1 Approvals
updated
Oct 09, 2023
update JavaSMT to v4.0.0
!112
· created
Jun 05, 2023
by
Karlheinz Friedberger
component: JavaSMT
Merged
1
Approved
updated
Jun 12, 2023
MR for code review of branch invgen-through-sampling
!111
· created
May 17, 2023
by
Martin Spiessl
0 of 1 Approvals
updated
Jan 12, 2024
Refactor GlobalInfo
!110
· created
Apr 06, 2023
by
Matthias Kettl
component: General
task
Merged
32
Approved
updated
Apr 12, 2023
Simplify CFA by using return statements only for return with values
!109
· created
Mar 13, 2023
by
Philipp Wendler
component: CFA & AST
task
69
0 of 1 Approvals
updated
May 22, 2023
Make more use of CfaNetwork
!108
· created
Mar 08, 2023
by
Philipp Wendler
component: CFA & AST
component: General
task
Merged
4
updated
Mar 10, 2023
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
Prev
1
2
3
4
5
6
7
Next