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: MR for code review of branch 'impact-stop-join'
!79
· created
Mar 07, 2022
by
Po-Chun Chien
component: ARGCPA
component: PredicateCPA
39
0 of 1 Approvals
updated
May 23, 2024
Draft: MR for code review of branch 'interpolation-model-checking-refactor'
!78
· created
Mar 07, 2022
by
Po-Chun Chien
component: BMC & Induction
interpolation
Merged
24
updated
Jun 01, 2022
Create branch to solve issue #946, supporting noreturn attribute
!77
· created
Mar 03, 2022
by
Thomas Lemberger
component: CFA & AST
enhancement
Merged
17
Approved
updated
Jun 10, 2022
Draft: Fix #941 k-induction unsound validation
!76
· created
Mar 02, 2022
by
Nian-Ze Lee
component: BMC & Induction
invariants
unsound
witness
Merged
10
updated
Mar 04, 2022
Add distributed code-block-analysis framework (fixed merges)
!75
· created
Mar 01, 2022
by
Thomas Lemberger
Merged
367
updated
Aug 08, 2022
Add distributed code-block-analysis framework
!74
· created
Feb 23, 2022
by
Thomas Lemberger
Closed
5
0 of 1 Approvals
updated
Mar 02, 2022
Streamline C Export of Static Program Slice with CCfaTransformer
!73
· created
Feb 17, 2022
by
Thomas Lemberger
Merged
15
updated
Feb 22, 2022
Implement String parsing for the LLVM frontend with clang
!72
· created
Feb 07, 2022
by
Thomas Lemberger
component: LLVM Frontend
Merged
6
updated
Mar 10, 2022
Make AssumptionCollectorAlgorithm output C-like assumptions
!71
· created
Feb 03, 2022
by
Thomas Lemberger
Merged
31
updated
Mar 10, 2022
Draft: MR for code review of branch interpolation-model-checking
!70
· created
Jan 25, 2022
by
Po-Chun Chien
Merged
updated
Feb 08, 2022
Draft: automatic program repair BA
!69
· created
Jan 24, 2022
by
Sudeep Kanav
23
0 of 1 Approvals
updated
Jan 26, 2022
Component-based CEGAR and invariant witnesses
!68
· created
Dec 30, 2021
by
Thomas Lemberger
Merged
updated
Dec 30, 2021
Draft: StringCPA: A CPA for String Analysis in Java Programs
!67
· created
Dec 17, 2021
by
Philipp Wendler
java
string
107
0 of 1 Approvals
updated
Apr 27, 2022
Draft: MR for code review of interpolation-model-checking-refactor
!66
· created
Nov 29, 2021
by
Po-Chun Chien
Merged
1
updated
Dec 01, 2021
In delegating refiner, do not use any counterexample if repeated counterexample appears
!65
· created
Nov 19, 2021
by
Thomas Lemberger
Merged
9
updated
Nov 19, 2021
Draft: MR for code review of interpolation-sequence model checking
!64
· created
Nov 04, 2021
by
Nian-Ze Lee
Closed
7
0 of 1 Approvals
updated
Nov 15, 2021
Improvements to array abstractions
!63
· created
Oct 20, 2021
by
Thomas Lemberger
Merged
43
updated
Oct 29, 2021
Merge Substituting and transforming CASTNodeVisitor
!62
· created
Oct 18, 2021
by
Thomas Lemberger
component: AutomatonCPA
component: CFA & AST
enhancement
Merged
1
updated
Oct 18, 2021
Merge 'array-abstraction'
!61
· created
Sep 13, 2021
by
Thomas Lemberger
Merged
110
updated
Sep 20, 2021
Add clang to CI images
!60
· created
Sep 07, 2021
by
Thomas Lemberger
Closed
1
0 of 1 Approvals
updated
Sep 07, 2021
Prev
1
2
3
4
5
6
7
Next