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
34
Merged
89
Closed
16
All
139
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
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
Interpolation-model checking
!17
· created
May 15, 2020
by
Philipp Wendler
Merged
25
updated
Oct 29, 2021
Overflow analysis refactoring
!16
· created
May 14, 2020
by
Martin Spiessl
Merged
34
updated
Jul 13, 2020
WIP: Tarantula
!15
· created
Apr 08, 2020
by
Thomas Lemberger
Closed
64
0 of 1 Approvals
updated
Apr 20, 2020
Data-structure and Visualization of Fault Localization Algorithms
!14
· created
Apr 02, 2020
by
Thomas Lemberger
Merged
131
updated
May 25, 2020
Slice export
!13
· created
Jan 08, 2020
by
Thomas Lemberger
Merged
6
updated
Jan 09, 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
128bit types
!10
· created
Nov 07, 2019
by
Matthias Kettl
Merged
24
updated
Nov 27, 2019
Merge CPALockator
!9
· created
Oct 14, 2019
by
Philipp Wendler
2
0 of 1 Approvals
updated
Oct 05, 2021
Backward transfer
!8
· created
Sep 25, 2019
by
Karlheinz Friedberger
Thesis topic
20
0 of 1 Approvals
updated
Dec 27, 2020
Merge branch integration-witnessview
!7
· created
Sep 17, 2019
by
Martin Spiessl
Merged
16
updated
Sep 30, 2019
Automaton CPA refactoring
!6
· created
Aug 23, 2019
by
Philipp Wendler
component: AutomatonCPA
task
Merged
6
updated
Aug 23, 2019
Merge branch Offsets preprocessed file
!5
· created
Jul 24, 2019
by
Martin Spiessl
Merged
5
updated
Aug 30, 2019
Merge branch witnessValidationPredicate
!4
· created
Jun 04, 2019
by
Martin Spiessl
Closed
40
0 of 1 Approvals
updated
Jul 01, 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
Cpa communication
!1
· created
Mar 28, 2016
by
Philipp Wendler
Closed
0 of 1 Approvals
updated
Mar 28, 2016
Prev
1
…
3
4
5
6
7
Next