Skip to content
Projects
Groups
Snippets
Help
Loading...
Sign in
Toggle navigation
D
DIVINE
Project
Project
Details
Activity
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
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
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
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
Algorithms
LLVM core
Ongoing Issues (open and assigned)
0
Completed Issues (closed)
1
LLVM Symbolization for symbolic verification in DIVINE (SymDIVINE merge pt. 1)
#20
LART
LLVM userspace
