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
18
All
141
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: Add new CPA for numeric libraries (Apron and Elina) as replacement of ApronCPA and OctagonCPA
!41
· created
Dec 28, 2020
by
Karlheinz Friedberger
0 of 1 Approvals
updated
Jan 11, 2023
Build process via npm for the HTML report
!40
· created
Dec 10, 2020
by
Philipp Wendler
component: HTML Report
Merged
70
updated
Jun 02, 2022
Build process via npm for the report file
!39
· created
Dec 10, 2020
by
Philipp Wendler
Closed
1
0 of 1 Approvals
updated
Dec 10, 2020
Merge Legion
!38
· created
Dec 09, 2020
by
Philipp Wendler
200
0 of 1 Approvals
updated
Oct 23, 2023
Add support for correctness witness validation with predicate analysis (especially overflows
!37
· created
Dec 03, 2020
by
Martin Spiessl
Merged
7
Approved
updated
Dec 03, 2020
Generate dependence graph lazily
!36
· created
Nov 23, 2020
by
Thomas Lemberger
Merged
11
updated
Nov 23, 2020
MR for code review of branch acsl-bachelor
!35
· created
Nov 19, 2020
by
Martin Spiessl
Merged
105
updated
Feb 16, 2022
Resolve "Use clang together with LLVM frontend"
!34
· created
Nov 15, 2020
by
Thomas Lemberger
Student Task
auto-migrated
component: LLVM Frontend
enhancement
prio
minor
Merged
29
updated
Jun 16, 2021
Improvements to program slicing
!33
· created
Nov 14, 2020
by
Thomas Lemberger
Merged
32
updated
Nov 16, 2020
WIP: Unit tests fault localization
!32
· created
Nov 05, 2020
by
Thomas Lemberger
Merged
35
updated
Apr 27, 2021
Simple code summaries for loop free programs
!31
· created
Nov 03, 2020
by
Thomas Lemberger
Closed
6
0 of 1 Approvals
updated
Mar 16, 2021
Update Example-Report with Fault-Localization Visualization
!30
· created
Oct 30, 2020
by
Thomas Lemberger
component: Documentation
component: HTML Report
Merged
31
updated
Jun 02, 2021
ThreadingCPA support for Predicate Analysis and BMC
!29
· created
Oct 16, 2020
by
Karlheinz Friedberger
Thesis topic
component: PredicateCPA
component: ThreadingCPA
Merged
1
updated
Dec 15, 2020
WIP: Resolve "Use clang together with LLVM frontend"
!28
· created
Oct 06, 2020
by
Thomas Lemberger
Student Task
auto-migrated
component: LLVM Frontend
enhancement
prio
minor
Closed
9
0 of 1 Approvals
updated
Nov 15, 2020
Make caching in PathFormulaManager more precise by considering identity of CFAEdges
!27
· created
Oct 04, 2020
by
Thomas Lemberger
Merged
5
updated
Oct 10, 2020
Add fault localization with error invariants and fault localization with unsat cores
!26
· created
Sep 23, 2020
by
Thomas Lemberger
Merged
94
updated
Jun 02, 2021
MR for code review of branch sl integration0
!25
· created
Sep 19, 2020
by
Martin Spiessl
114
0 of 1 Approvals
updated
Jan 25, 2021
Implement coverage-based fault localization with Tarantula, Ochiai, DStar
!24
· created
Sep 02, 2020
by
Thomas Lemberger
Thesis topic
Closed
158
0 of 1 Approvals
updated
Sep 22, 2020
Merge updates for interpolation model checking
!23
· created
Aug 17, 2020
by
Philipp Wendler
component: BMC & Induction
Merged
5
updated
Aug 17, 2020
MR for Code Review of loopaccel branch
!22
· created
Aug 04, 2020
by
Martin Spiessl
Thesis topic
107
0 of 1 Approvals
updated
Apr 05, 2021
Prev
1
2
3
4
5
6
7
8
Next