Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Software
COOL
Milestones
Open
2
Closed
2
All
4
Due later
v2.1 - One-Step COOL
Software / COOL
2 Issues
·
1 Merge request
50% complete
v3.0 - COOL with Modelchecking
Software / COOL
3 Issues
·
0 Merge requests
0% complete
v2.0 - COOL with Aconjunctive Fixpoints
Release
Aconjunctive COOL
Closed
Software / COOL
3 Issues
·
0 Merge requests
100% complete
v1.0 - The first "real" release
Release
Alternation-free COOL
Closed
Software / COOL
7 Issues
·
2 Merge requests
100% complete