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
Commits
master
Switch branch/tag
cool
README.md
09 Jul, 2021
1 commit
Removed unused ncurses code and dependencies
· 66f4344c
Merlin
authored
Jul 09, 2021
66f4344c
06 Jul, 2021
1 commit
Documentation update to include aconjunctive
· d49e7b8a
Merlin
authored
Jul 06, 2021
d49e7b8a
23 Jun, 2021
2 commits
Artifact links adapted
· 91ddc1dd
Merlin
authored
Jun 23, 2021
91ddc1dd
Clarify docker registry
· 368910f9
Merlin
authored
Jun 23, 2021
368910f9
22 Jun, 2021
2 commits
Updated executable references
· 261b0244
Merlin
authored
Jun 22, 2021
261b0244
Compilation overhaul to provide everything statically linked
· 1cc86306
Merlin
authored
Jun 22, 2021
1cc86306
21 Jun, 2021
2 commits
Fixed propagated dead links
· 819618e6
Merlin
authored
Jun 21, 2021
819618e6
Fixed links
· 86c539be
Merlin
authored
Jun 21, 2021
86c539be
18 Jun, 2021
7 commits
Nix install one liner
· b75b2208
Merlin
authored
Jun 18, 2021
b75b2208
Include docker in usage example
· 29ac1c38
Merlin
authored
Jun 18, 2021
fixes
#9
29ac1c38
Executable references
· 86f0de51
Merlin
authored
Jun 18, 2021
86f0de51
Scripts and nix instructions
· c63b0ba4
Merlin
authored
Jun 18, 2021
c63b0ba4
Inline installation documentation into README
· c0e838a7
Merlin
authored
Jun 18, 2021
c0e838a7
Formating
· 23a92364
Merlin
authored
Jun 18, 2021
23a92364
Initial Readme from chair page on COOL
· 19c828f4
Merlin
authored
Jun 18, 2021
Many links are currently broken or not very useful but they are left as is from the page
19c828f4