Skip to content

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
    • Help
    • Submit feedback
  • Sign in
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
  • paradise
  • Issues

  • Open 39
  • Closed 9
  • All 48
Recent searches
  • 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