Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
37
Merged
99
Closed
22
All
158
Merge trains
Recent searches
Loading
{{ 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
Resolve "Make sure LLVM preprocessing calls supported version of clang"
!45
· created
Feb 09, 2021
by
Thomas Lemberger
Student Task
bug
component: LLVM Frontend
Merged
6
updated
Feb 11, 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
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
Improvements to program slicing
!33
· created
Nov 14, 2020
by
Thomas Lemberger
Merged
32
updated
Nov 16, 2020
WIP: Distance metrics
!21
· created
Jul 07, 2020
by
Thomas Lemberger
Merged
175
updated
Oct 23, 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
Merge updates for interpolation model checking
!23
· created
Aug 17, 2020
by
Philipp Wendler
component: BMC & Induction
Merged
5
updated
Aug 17, 2020
Overflow analysis refactoring
!16
· created
May 14, 2020
by
Martin Spiessl
Merged
34
updated
Jul 13, 2020
Data-structure and Visualization of Fault Localization Algorithms
!14
· created
Apr 02, 2020
by
Thomas Lemberger
Merged
131
updated
May 25, 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
Slice export
!13
· created
Jan 08, 2020
by
Thomas Lemberger
Merged
6
updated
Jan 09, 2020
128bit types
!10
· created
Nov 07, 2019
by
Matthias Kettl
Merged
24
updated
Nov 27, 2019
Merge branch integration-witnessview
!7
· created
Sep 17, 2019
by
Martin Spiessl
Merged
16
updated
Sep 30, 2019
Merge branch Offsets preprocessed file
!5
· created
Jul 24, 2019
by
Martin Spiessl
Merged
5
updated
Aug 30, 2019
Automaton CPA refactoring
!6
· created
Aug 23, 2019
by
Philipp Wendler
component: AutomatonCPA
task
Merged
6
updated
Aug 23, 2019
Merge branch parseByteOrderMark
!3
· created
Apr 24, 2019
by
Philipp Wendler
Merged
15
updated
Jul 04, 2019
Merge branch Slab
!2
· created
Dec 20, 2018
by
Philipp Wendler
Release 1.8
Merged
63
updated
Dec 31, 2018
Prev
1
2
3
4
5
Next