Issues · paradise / DIVINE · GitLab

Add missing POSIX features

#39 · opened Nov 22, 2016 by Jiří Weiser Future LLVM models/tests
- 0
updated Sep 03, 2017
create VM images for all historical versions of DIVINE

#36 · opened Oct 19, 2016 by Petr Ročkai Future Potential Bc/Mgr thesis
- 0
updated Sep 03, 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 03, 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 03, 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 03, 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 03, 2017
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 03, 2017
Visualization of heap of program/counterexample

#24 · opened Jul 03, 2016 by Vladimír Štill Future LLVM core Potential Bc/Mgr thesis
- 0
updated Jul 07, 2018
Probabilistic extension for data-symbolic verification

#19 · opened Jun 17, 2016 by Jiří Barnat Future Algorithms LLVM core
- 0
updated Jun 19, 2016
Objective C/C++ verification with DIVINE

#18 · opened Jun 17, 2016 by Jiří Barnat Future CC Input Formalisms LLVM userspace Potential Bc/Mgr thesis
- 1
updated Jun 19, 2016
Syscall record and replay.

#17 · opened Jun 17, 2016 by Vladimír Štill Future LLVM core LLVM userspace Potential Bc/Mgr thesis
- 0
updated Jun 17, 2016
Verification of Folly.

#16 · opened Jun 16, 2016 by Vladimír Štill Future Case Study Potential Bc/Mgr thesis
- 0
updated Jul 08, 2016
Parametrized-Precision Verification for C/C++.

#14 · opened Jun 16, 2016 by Vladimír Štill Future LART LLVM userspace Potential Bc/Mgr thesis
- 0
updated Jun 19, 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 Hazard Pointers.

#12 · opened Jun 16, 2016 by Vladimír Štill Future Case Study Potential Bc/Mgr thesis
- 0
updated Jun 16, 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
Support for WIN32 threads.

#10 · opened Jun 16, 2016 by Vladimír Štill Future LLVM userspace Potential Bc/Mgr thesis
- 1
updated Aug 15, 2016
LART: Register allocation.

#9 · opened Jun 16, 2016 by Vladimír Štill Future LART LLVM core
- 0
updated Jun 17, 2016
Partial Order for LLVM.

#8 · opened Jun 16, 2016 by Vladimír Štill Future
- 0
updated Jun 16, 2016
Timed LLVM & UppAll to LLVM.

#7 · opened Jun 16, 2016 by Vladimír Štill Future Input Formalisms
- 0
updated Jun 16, 2016