Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
0
Merged
13
Closed
2
All
15
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
Resolve "Specification file selection could start in specification folder"
!52
· created
Aug 17, 2019
by
Tharsanan Kurukulasingam
Phase 3
master
enhancement
Merged
Approved
updated
Aug 20, 2019
62-cpachecker-selection-dialog-should-check-that-directory-is-valid into master
!51
· created
Aug 14, 2019
by
Tharsanan Kurukulasingam
master
enhancement
Merged
4
Approved
updated
Aug 15, 2019
Resolve "main should always be default function to analyze"
!47
· created
Aug 13, 2019
by
Tharsanan Kurukulasingam
Phase 3
master
enhancement
Merged
Approved
updated
Aug 13, 2019
Resolve "CI could provide plugin jar as artifact"
!44
· created
Aug 05, 2019
by
Tharsanan Kurukulasingam
Phase 3
master
CI
enhancement
Merged
5
Approved
updated
Aug 08, 2019
Resolve "Implement cloud CPAchecker execution"
!42
· created
Jul 08, 2019
by
Tharsanan Kurukulasingam
Phase 2
master
enhancement
Merged
245
Approved
updated
Jul 30, 2019
53-change-cpachekcer-guttor-icon-symbol
!40
· created
Jun 29, 2019
by
Tharsanan Kurukulasingam
master
enhancement
Merged
2
Approved
updated
Jun 29, 2019
44-selection-of-specification-file-should-be-more-verbose-and-provide-file-selection-dialog
!35
· created
Jun 25, 2019
by
Tharsanan Kurukulasingam
Phase 1
master
enhancement
type
UI
Merged
11
Approved
updated
Jun 27, 2019
51-not-implemented-features-related-ui-elements-should-be-disabled
!37
· created
Jun 25, 2019
by
Tharsanan Kurukulasingam
Phase 1
master
enhancement
Merged
Approved
updated
Jun 25, 2019
Resolve "CI could check for code compatibility with different Java versions"
!30
· created
Jun 17, 2019
by
Tharsanan Kurukulasingam
master
CI
enhancement
Merged
4
Approved
updated
Jun 24, 2019
Console view related code moved into the console package.
!23
· created
Jun 08, 2019
by
Tharsanan Kurukulasingam
Phase 1
master
enhancement
Merged
54
Approved
updated
Jun 13, 2019
46-cpu-core-limitation-could-be-dropdown
!27
· created
Jun 11, 2019
by
Tharsanan Kurukulasingam
Phase 1
master
enhancement
type
UI
Merged
5
Approved
updated
Jun 12, 2019
Resolve "CI should check code format"
!22
· created
Jun 08, 2019
by
Thomas Lemberger
master
CI
enhancement
Merged
2
Approved
updated
Jun 10, 2019
Resolve "Check build system compatibility with old Gradle versions"
!21
· created
Jun 07, 2019
by
Tharsanan Kurukulasingam
master
CI
enhancement
Merged
4
Approved
updated
Jun 07, 2019