Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Submit feedback
Sign in
Toggle navigation
paradise
Overview
Overview
Details
Activity
Contribution Analytics
Epics
0
Epics
0
List
Roadmap
Issues
39
Issues
39
List
Boards
Analytics
Labels
Milestones
Merge Requests
0
Merge Requests
0
Members
Members
Collapse sidebar
Close sidebar
Open sidebar
paradise
Issues
Open
39
Closed
9
All
48
Recent searches
Press Enter or click to search
{{hint}}
{{tag}}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
None
Any
{{title}}
Label priority
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Weight
Manual updates
DIVINE#46
· opened
Apr 25, 2017
by
Vladimír Štill
manual
0
updated
Apr 25, 2017
Invalid links on web
DIVINE#45
· opened
Apr 12, 2017
by
Marek Chalupa
1
updated
Apr 14, 2017
Segfault in draw command
DIVINE#43
· opened
Mar 22, 2017
by
Marek Chalupa
0
updated
Sep 04, 2017
Abortion on invalid argument
DIVINE#42
· opened
Mar 22, 2017
by
Marek Chalupa
0
updated
Sep 04, 2017
Make re-initialization detection in pthread configurable
DIVINE#40
· opened
Dec 09, 2016
by
Vladimír Štill
1
updated
Sep 04, 2017
Add missing POSIX features
DIVINE#39
· opened
Nov 22, 2016
by
Jiří Weiser
Future
LLVM models/tests
0
updated
Sep 04, 2017
On Livelock Detection (and existentialy-quantified LTL)
DIVINE#38
· opened
Nov 17, 2016
by
Vladimír Štill
0
updated
Sep 04, 2017
create VM images for all historical versions of DIVINE
DIVINE#36
· opened
Oct 19, 2016
by
Petr Ročkai
Future
Potential Bc/Mgr thesis
0
updated
Sep 04, 2017
Transition based acceptance parallel alrogirthms
DIVINE#35
· opened
Sep 22, 2016
by
Vladimír Štill
Potential Bc/Mgr thesis
0
updated
Sep 04, 2017
Add support for unit testing frameworks
DIVINE#33
· opened
Aug 15, 2016
by
Vladimír Štill
1
updated
Sep 04, 2017
Run DIVINE over Julia test suite
DIVINE#32
· opened
Aug 15, 2016
by
Vladimír Štill
Case Study
0
updated
Sep 04, 2017
DVE parser asserts on invalid input
DIVINE#31
· opened
Aug 15, 2016
by
Vladimír Štill
0
updated
Sep 04, 2017
LART: Relaxed memory verification is not relaxed enough
DIVINE#30
· opened
Aug 15, 2016
by
Vladimír Štill
LART
0
updated
Sep 04, 2017
Verification of boost's concurrent data structures
DIVINE#29
· 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
DIVINE#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 lvmetad (LVM2's metadata caching daemon)
DIVINE#27
· 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)
DIVINE#26
· opened
Jul 04, 2016
by
Vladimír Štill
Future
Case Study
Potential Bc/Mgr thesis
0
updated
Sep 04, 2017
Verification of lvmlockd (LVM2's new distributed locking daemon)
DIVINE#25
· opened
Jul 04, 2016
by
Vladimír Štill
Future
Case Study
Potential Bc/Mgr thesis
0
updated
Sep 04, 2017
Visualization of heap of program/counterexample
DIVINE#24
· opened
Jul 03, 2016
by
Vladimír Štill
Future
LLVM core
Potential Bc/Mgr thesis
0
updated
Jul 07, 2018
Symbolic verification algorithms for DIVINE (SymDIVINE merge)
DIVINE#22
· opened
Jun 19, 2016
by
Vladimír Štill
SymMerge
Algorithms
0
updated
Jul 07, 2018
Prev
1
2
Next