Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in
D
DIVINE
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 40
    • Issues 40
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
    • Iterations
  • Merge Requests 0
    • Merge Requests 0
  • Requirements
    • Requirements
    • List
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Security & Compliance
    • Security & Compliance
    • Dependency List
    • License Compliance
  • Operations
    • Operations
    • Incidents
    • Environments
  • Analytics
    • Analytics
    • CI / CD
    • Code Review
    • Insights
    • Issue
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • paradise
  • DIVINE
  • Issues

  • Open 20
  • Closed 0
  • All 20
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual Weight Blocking
  • 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 04, 2017
  • Transition based acceptance parallel alrogirthms
    #35 · opened Sep 22, 2016 by Vladimír Štill   Potential Bc/Mgr thesis
    • 0
    updated Sep 04, 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 04, 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 04, 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 04, 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 04, 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 04, 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
  • 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
  • Probabilistic Store Reachability.
    #6 · opened Jun 16, 2016 by Vladimír Štill   Future   Algorithms Potential Bc/Mgr thesis
    • 0
    updated Jun 16, 2016
  • DVE to C++/DiVM translation.
    #5 · opened Jun 16, 2016 by Vladimír Štill   Future   Input Formalisms Potential Bc/Mgr thesis
    • 1
    updated Jun 17, 2016
  • CTL* Model Checking.
    #4 · opened Jun 16, 2016 by Vladimír Štill   Future   Algorithms Potential Bc/Mgr thesis
    • 0
    updated Jun 16, 2016
  • Slicing Parallel Programs using Dependency Graphs
    #3 · opened Jun 16, 2016 by Vladimír Štill   Future   LART Potential Bc/Mgr thesis
    • 0
    updated Jun 17, 2016