Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
SoSy-Lab
Software
CPAchecker
Merge requests
Open
0
Merged
8
Closed
1
All
9
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
Implement String parsing for the LLVM frontend with clang
!72
· created
Feb 07, 2022
by
Thomas Lemberger
component: LLVM Frontend
Merged
6
updated
Mar 10, 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
Fix `-clang` failing if used with `-noout`
!47
· created
Apr 09, 2021
by
Thomas Lemberger
component: LLVM Frontend
Merged
14
updated
Jun 08, 2021
Fix missing cast when handling lshr in LLVM frontend
!49
· created
May 21, 2021
by
Thomas Lemberger
component: LLVM Frontend
Merged
2
updated
May 21, 2021
Use `CBasicType.FLOAT128` to handle 128bit floats in the LLVM frontend
!48
· created
May 21, 2021
by
Thomas Lemberger
component: LLVM Frontend
Merged
1
updated
May 21, 2021
Warn that option `-preprocess` is ignored when used with option `-clang`
!50
· created
May 21, 2021
by
Thomas Lemberger
component: LLVM Frontend
Merged
1
updated
May 21, 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