Skip to content

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
    • Help
    • Submit feedback
  • Sign in
D
DIVINE
  • Project
    • Project
    • Details
    • Activity
    • Releases
    • Cycle Analytics
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Charts
    • Locked Files
  • Issues 39
    • Issues 39
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Merge Requests 0
    • Merge Requests 0
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
    • Charts
  • Wiki
    • Wiki
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Charts
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • paradise
  • DIVINE
  • Milestones
  • SymMerge

Past due
Milestone expired on Sep 30, 2016

SymMerge

The burndown chart can’t be shown, as all issues assigned to this milestone were closed on an older GitLab version before data was recorded. About burndown charts
The tabs below will be removed in a future version

Learn more about issue boards, to keep track of issues in multiple lists, using labels, assignees, and milestones. If you’re missing something from issue boards, please create an issue on GitLab’s issue tracker.

  • Issues 3
  • Merge Requests 0
  • Participants 1
  • Labels 4
Unstarted Issues (open and unassigned)
2
  • Symbolic verification algorithms for DIVINE (SymDIVINE merge)
    #22 Algorithms
  • Utilities for symbolized states in DIVINE: emptyness, equality, Z3/Q3B integration (SymDIVINE merge)
    #21 LLVM coreAlgorithms
Ongoing Issues (open and assigned)
0
Completed Issues (closed)
1
  • LLVM Symbolization for symbolic verification in DIVINE (SymDIVINE merge pt. 1)
    #20 LLVM userspaceLART
33% complete
33%
Start date
No start date
Until
Sep 30 2016
Due date
Sep 30, 2016 (Past due)
3
Issues 3 New issue
Open: 2 Closed: 1
Time tracking
None
Total issue weight
None
0
Merge requests 0
Open: 0 Closed: 0 Merged: 0
Reference: paradise/DIVINE%"SymMerge"