Issues · paradise

Nightly snapshot build fails

DIVINE#49 · opened Mar 05, 2018 by Marek Chalupa
- 1
updated Mar 06, 2018
Compilation error

DIVINE#48 · opened Sep 16, 2017 by Marek Chalupa
- CLOSED
- 3
updated Sep 20, 2017
Towards SV-COMP

DIVINE#47 · opened May 02, 2017 by Vladimír Štill sym
- CLOSED
- 0
updated May 29, 2017
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
Abort on invalid input in sim

DIVINE#44 · opened Apr 05, 2017 by Karel Kubíček
- CLOSED
- 0
updated Jun 27, 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
Ostrihať sa

DIVINE#34 · opened Sep 19, 2016 by Henrich Lauko Oct 2, 2016
- CLOSED
- 1
- 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