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
  • Nightly snapshot build fails
    DIVINE#49 · opened Mar 05, 2018 by Marek Chalupa
    • CLOSED
    • 2
    updated May 14, 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
    • CLOSED
    • 3
    updated May 14, 2018
  • 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
    • CLOSED
    • 2
    updated May 14, 2018
  • 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
  • Prev
  • 1
  • 2
  • 3
  • Next