Issues · paradise · GitLab

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