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
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
WIP: Distance metrics
!21
· created
Jul 07, 2020
by
Thomas Lemberger
Merged
175
updated
Oct 23, 2020
Resolve "WitnessExporter relies on analysis-specific code"
!20
· created
Jun 05, 2020
by
Martin Spiessl
Student Task
component: PredicateCPA
component: ValueAnalysisCPA
component: Witness Export
task
witness
Closed
35
0 of 1 Approvals
updated
Sep 28, 2021
SMGCPA merge
!19
· created
May 22, 2020
by
Philipp Wendler
component: SMGCPA
Closed
11
0 of 1 Approvals
updated
Jun 16, 2020
WIP: Tarantula
!18
· created
May 15, 2020
by
Thomas Lemberger
Closed
75
0 of 1 Approvals
updated
May 27, 2020
Interpolation-model checking
!17
· created
May 15, 2020
by
Philipp Wendler
Merged
25
updated
Oct 29, 2021
Overflow analysis refactoring
!16
· created
May 14, 2020
by
Martin Spiessl
Merged
34
updated
Jul 13, 2020
WIP: Tarantula
!15
· created
Apr 08, 2020
by
Thomas Lemberger
Closed
64
0 of 1 Approvals
updated
Apr 20, 2020
Data-structure and Visualization of Fault Localization Algorithms
!14
· created
Apr 02, 2020
by
Thomas Lemberger
Merged
131
updated
May 25, 2020
Slice export
!13
· created
Jan 08, 2020
by
Thomas Lemberger
Merged
6
updated
Jan 09, 2020
Transform old-style C tasks in test/programs/simple to yml format
!12
· created
Dec 12, 2019
by
Thomas Lemberger
Merged
13
updated
Mar 09, 2020
Resolve "Parser problem: Unsupported statement type CASTIfStatement"
!11
· created
Nov 07, 2019
by
Philipp Wendler
bug
component: CFA & AST
Merged
15
updated
Jan 23, 2020
128bit types
!10
· created
Nov 07, 2019
by
Matthias Kettl
Merged
24
updated
Nov 27, 2019
Merge CPALockator
!9
· created
Oct 14, 2019
by
Philipp Wendler
2
0 of 1 Approvals
updated
Oct 05, 2021
Backward transfer
!8
· created
Sep 25, 2019
by
Karlheinz Friedberger
Thesis topic
20
0 of 1 Approvals
updated
Dec 27, 2020
Prev
1
…
3
4
5
6
7
8
Next