Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Open sidebar
paradise
DIVINE
Issues
Open
10
Closed
0
All
10
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
Current
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
None
Any
{{title}}
None
Any
{{title}}
&{{id}}
Last updated
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Weight
Blocking
Verification of lvmlockd (LVM2's new distributed locking daemon)
#25
· opened
Jul 04, 2016
by
Vladimír Štill
Future
Case Study
Potential Bc/Mgr thesis
0
updated
Sep 04, 2017
Verification of clvmd (LVM2's cluster locking & coordination daemon)
#26
· opened
Jul 04, 2016
by
Vladimír Štill
Future
Case Study
Potential Bc/Mgr thesis
0
updated
Sep 04, 2017
Verification of lvmetad (LVM2's metadata caching daemon)
#27
· opened
Jul 04, 2016
by
Vladimír Štill
Future
Case Study
Potential Bc/Mgr thesis
0
updated
Sep 04, 2017
Add support of usage glibc instead of PDCLib
#28
· opened
Jul 04, 2016
by
Vladimír Štill
Future
Case Study
LLVM userspace
Potential Bc/Mgr thesis
0
updated
Sep 04, 2017
Verification of boost's concurrent data structures
#29
· opened
Jul 04, 2016
by
Vladimír Štill
Future
Case Study
Potential Bc/Mgr thesis
0
updated
Sep 04, 2017
Run DIVINE over Julia test suite
#32
· opened
Aug 15, 2016
by
Vladimír Štill
Case Study
0
updated
Sep 04, 2017
Verification of Folly.
#16
· opened
Jun 16, 2016
by
Vladimír Štill
Future
Case Study
Potential Bc/Mgr thesis
0
updated
Jul 08, 2016
Verification of NSCD (glibc's name serice cache daemon)
#13
· opened
Jun 16, 2016
by
Vladimír Štill
Future
Case Study
Potential Bc/Mgr thesis
0
updated
Jul 04, 2016
Verification of Intel TBB concurrent data structures
#11
· opened
Jun 16, 2016
by
Vladimír Štill
Future
Case Study
Potential Bc/Mgr thesis
0
updated
Jul 04, 2016
Verification of Hazard Pointers.
#12
· opened
Jun 16, 2016
by
Vladimír Štill
Future
Case Study
Potential Bc/Mgr thesis
0
updated
Jun 16, 2016