Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
C
COOL
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Model registry
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
GitLab community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Admin message
Planned GitLab downtime: Friday 01.08.2025, from 05:30 to ~ 08:30 due to migration.
Show more breadcrumbs
Software
COOL
Commits
Commits · 58d8b71ea7fbe0df38e419448f20412b946d1e54
58d8b71ea7fbe0df38e419448f20412b946d1e54
Select Git revision
Selected
58d8b71ea7fbe0df38e419448f20412b946d1e54
Branches
5
master
default
protected
modcheck
fuzzy
cleanup
coalg-el
Tags
9
VMCAI-2024
v2.4
CADE-29
v2.3
v2.2
v2.1
v2.0
v1.1
v1.0
15 results
cool
Author
Search by author
Any Author
authors
Aaron Strahlberger
ov11oruf
Administrator
gitlabroot
Dominik Brunner
la87gufe
Fabian Birkmann
uj72asab
Florian Frank
florian.frank
Frederik Hennig
da15siwa
Henning Urbat
HenningUrbat
Johanna Vittinghoff
aw05igub
Jonas Forster
fe86qaro
Lutz Schröder
LutzSchroeder
Marie-Helen Kamaris
ba62rozu
Merlin
mgttlinger
Oliver Grosch
re35pana
Paul Wild
PaulWild
Sebastian Dietlmeier
in82ykuj
Simon Prucker
yh60esyb
Stefan Gebhart
ab75yjig
Stefan Milius
milius
Thorsten Wißmann
thorsten
Üsame Cengiz
ri58qupu
20 authors
Browse files
Jul 05, 2021
Fixed most of the warnings and disabled a few that we won't fix
· 58d8b71e
Merlin
authored
Jul 5, 2021
58d8b71e
Jul 02, 2021
Calculate metrics from fixed set of formulas instead of the tests
· 54c724bf
Merlin
authored
Jul 2, 2021
54c724bf
Jun 23, 2021
Artifact links adapted
· 91ddc1dd
Merlin
authored
Jun 23, 2021
91ddc1dd
Clarify docker registry
· 368910f9
Merlin
authored
Jun 23, 2021
368910f9
Only specify verion in one place
· 5aaf9de0
Merlin
authored
Jun 23, 2021
View commits for tag v1.1
v1.1
5aaf9de0
Fixed versions and CI
· 5f1a3484
Merlin
authored
Jun 23, 2021
5f1a3484
Merge branch 'master' of git8.cs.fau.de:software/cool into examples
· da0d559c
Merlin
authored
Jun 23, 2021
View commits for tag v1.0
v1.0
da0d559c
Clean up top-level directory
· dc4e1679
Merlin
authored
Jun 23, 2021
dc4e1679
Jun 22, 2021
Merge branch 'examples' into 'master'
· b2986b94
Merlin
authored
Jun 22, 2021
b2986b94
Updated executable references
· 261b0244
Merlin
authored
Jun 22, 2021
261b0244
Streamlining build
· 1bcaab02
Merlin
authored
Jun 22, 2021
1bcaab02
Static test executables using nix
· 6c871031
Merlin
authored
Jun 22, 2021
6c871031
Everybody can do everything but can the gitlab-runner delete them?
· 05cf35be
Merlin
authored
Jun 22, 2021
05cf35be
Maybe the permissions want to be preserved?
· c771f530
Merlin
authored
Jun 22, 2021
c771f530
old cp install
· a76a558a
Merlin
authored
Jun 22, 2021
a76a558a
Messing around with cp arguments...
· de4d70e9
Merlin
authored
Jun 22, 2021
de4d70e9
mkdir only if not exists
· 815ebb78
Merlin
authored
Jun 22, 2021
815ebb78
Copy only contents and dereference
· a81837bc
Merlin
authored
Jun 22, 2021
a81837bc
No libdir
· 0afde81f
Merlin
authored
Jun 22, 2021
0afde81f
Recursive copy
· 47893a77
Merlin
authored
Jun 22, 2021
47893a77
Exes alis was removed as it is now the default
· b277ab5a
Merlin
authored
Jun 22, 2021
b277ab5a
Compilation overhaul to provide everything statically linked
· 1cc86306
Merlin
authored
Jun 22, 2021
1cc86306
Jun 21, 2021
Stability against versions of nix-bundle
· 0766dadc
Merlin
authored
Jun 21, 2021
0766dadc
Bundle directly in nix-build
· 7058ab99
Merlin
authored
Jun 21, 2021
7058ab99
Fixed propagated dead links
· 819618e6
Merlin
authored
Jun 21, 2021
819618e6
Fixed links
· 86c539be
Merlin
authored
Jun 21, 2021
86c539be
Jun 18, 2021
Leftover oasis references
· f3b9e7a3
Merlin
authored
Jun 18, 2021
f3b9e7a3
Document in markdown throughout
· 6ead261f
Merlin
authored
Jun 18, 2021
6ead261f
Nix install one liner
· b75b2208
Merlin
authored
Jun 18, 2021
b75b2208
Include docker in usage example
· 29ac1c38
Merlin
authored
Jun 18, 2021
29ac1c38
Executable references
· 86f0de51
Merlin
authored
Jun 18, 2021
86f0de51
Distributing dynamic nix executables is kinda useless
· 6ec0869a
Merlin
authored
Jun 18, 2021
6ec0869a
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
19c828f4
Bundle in build stage
· 53314579
Merlin
authored
Jun 18, 2021
53314579
Build a distributable tarball from nix
· a675c594
Merlin
authored
Jun 18, 2021
a675c594
Stripping the debug symbols has negligible performance impact
· bc817e13
Merlin
authored
Jun 18, 2021
bc817e13
Jun 11, 2021
Bundles should be manual
· 75bccac7
Merlin
authored
Jun 11, 2021
75bccac7
Loading