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}}
Updated date
Modular partial order reduction
!141
· created
Jun 07, 2024
by
Noah König
modular-partial-order-reduction
Closed
0 of 1 Approvals
updated
Jun 07, 2024
Track variables which are in scope
!139
· created
May 21, 2024
by
Marian Lingsch
Closed
40
0 of 1 Approvals
updated
May 28, 2024
Draft: Turn sequential combinations in SV-COMP run config into parallel portfolio
!125
· created
Nov 08, 2023
by
Thomas Lemberger
Closed
7
0 of 1 Approvals
updated
Nov 17, 2023
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
Add distributed code-block-analysis framework
!74
· created
Feb 23, 2022
by
Thomas Lemberger
Closed
5
0 of 1 Approvals
updated
Mar 02, 2022
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
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
Add clang to CI images
!60
· created
Sep 07, 2021
by
Thomas Lemberger
Closed
1
0 of 1 Approvals
updated
Sep 07, 2021
Draft: Add example report with fault localization
!55
· created
Jul 08, 2021
by
Thomas Lemberger
component: Documentation
component: FaultLocalization
component: HTML Report
task
Closed
7
0 of 1 Approvals
updated
Jul 09, 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
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
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
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
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
WIP: Tarantula
!15
· created
Apr 08, 2020
by
Thomas Lemberger
Closed
64
0 of 1 Approvals
updated
Apr 20, 2020
Merge branch witnessValidationPredicate
!4
· created
Jun 04, 2019
by
Martin Spiessl
Closed
40
0 of 1 Approvals
updated
Jul 01, 2019
Cpa communication
!1
· created
Mar 28, 2016
by
Philipp Wendler
Closed
0 of 1 Approvals
updated
Mar 28, 2016