Skip to content
GitLab
About GitLab
GitLab: the DevOps platform
Explore GitLab
Install GitLab
How GitLab compares
Get started
GitLab docs
GitLab Learn
Pricing
Talk to an expert
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Projects
Groups
Snippets
Sign up now
Login
Sign in
Toggle navigation
Menu
Open sidebar
Software
COOL
Repository
Branches
Overview
Active
Stale
All
Active branches
effectFrames
1a878c84
·
Merge branch 'modcheck' of git8.cs.fau.de:software/cool into effectFrames
·
Dec 09, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
modcheck
07e699ea
·
Merge branch 'master' of git8.cs.fau.de:software/cool into modcheck
·
Dec 09, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
bf8f44d8
·
Unused variable
·
Dec 08, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Download artifacts
Previous Artifacts
nix-build
nix-lib
build
metrics
docker-image
more-onestep
bf8f44d8
·
Unused variable
·
Dec 08, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Download artifacts
Manual
Previous Artifacts
docker-image
Stale branches
gml
a5642329
·
Add more comments to CoAlgReasoner.ml
·
Jul 14, 2014
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
repl
5a2c1338
·
TODO: Recheck and Recommit this! Don't merge to master!
·
Jan 22, 2015
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
coalg-el
1c6b0483
·
final cleanup for coalgebraic EL
·
Oct 14, 2016
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cln
2cad9920
·
Don't compare strings with ==
·
Jul 29, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cleanup
fb543fc7
·
Explanations
·
Mar 30, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
