Skip to content
GitLab
Next
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
Fix `-clang` failing if used with `-noout`
!47
· created
Apr 09, 2021
by
Thomas Lemberger
component: LLVM Frontend
Merged
14
updated
Jun 08, 2021
Resolve "Differentiate arithmetic (ashr) and logical shift right (lshr) in LLVM frontend"
!46
· created
Feb 22, 2021
by
Thomas Lemberger
Student Task
component: LLVM Frontend
Merged
10
updated
Mar 12, 2021
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
Refactor benchmarking
!44
· created
Feb 08, 2021
by
Sudeep Kanav
Merged
Approved
updated
Feb 12, 2021
Remodelling of internal program slicing
!43
· created
Jan 27, 2021
by
Thomas Lemberger
Merged
108
updated
Apr 06, 2021
Add feature to convert test goals to condition automata
!42
· created
Jan 08, 2021
by
Thomas Lemberger
Merged
6
updated
Apr 27, 2021
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
Prev
1
2
3
4
5
6
7
8
Next