Skip to content
Projects
Groups
Snippets
Help
This group
Loading...
Sign in / Register
Toggle navigation
paradise
Overview
Overview
Details
Activity
Issues
42
Issues
42
List
Board
Labels
Milestones
Merge Requests
0
Merge Requests
0
Members
Members
Collapse sidebar
Close sidebar
Open sidebar
paradise
Issues
Open
42
Closed
6
All
48
Subscribe
Recent searches
Press Enter or click to search
{{hint}}
{{tag}}
{{name}}
@{{username}}
No Assignee
{{name}}
@{{username}}
No Milestone
Upcoming
Started
{{title}}
No Label
{{title}}
{{name}}
Label priority
Priority
Created date
Last updated
Milestone
Due date
Popularity
Label priority
Nightly snapshot build fails
DIVINE#49
· opened
Mar 05, 2018
by
Marek Chalupa
1
updated
Mar 06, 2018
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
DIVINE segfaults when verifying a buggy program
DIVINE#41
· opened
Jan 30, 2017
by
Marek Chalupa
2
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
CMAKE 3.2 is required while not stated as a requirement on the web page
DIVINE#37
· opened
Oct 27, 2016
by
Jiří Barnat
1
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
Prev
1
2
3
Next
