Branches · Software / COOL · GitLab

effectFrames

c2cc6e9f · Timeouts also for MCMAS · Feb 02, 2023

Compare

Download source code

zip tar.gz tar.bz2 tar
modcheck

9094c4fc · X is a keyword now · Dec 09, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
full-mu

bf8f44d8 · Unused variable · Dec 08, 2022
Compare
Download source code

zip tar.gz tar.bz2 tar
Download artifacts

Previous Artifacts

nix-build

nix-lib

build

metrics

docker-image
master default protected

bf8f44d8 · Unused variable · Dec 08, 2022
Download source code

zip tar.gz tar.bz2 tar
Download artifacts

Previous Artifacts

docker-image
more-onestep

bf8f44d8 · Unused variable · Dec 08, 2022
Compare
Download source code

zip tar.gz tar.bz2 tar
Download artifacts
Manual
Previous Artifacts

docker-image
ci merged

53314579 · Bundle in build stage · Jun 18, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
fuzzy

26af0799 · Dune files for fuzzy · Jun 11, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
cleanup

fb543fc7 · Explanations · Mar 30, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
cln

2cad9920 · Don't compare strings with == · Jul 29, 2019

Compare

Download source code

zip tar.gz tar.bz2 tar
coalg-el

1c6b0483 · final cleanup for coalgebraic EL · Oct 14, 2016

Compare

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

Download source code

zip tar.gz tar.bz2 tar
gml

a5642329 · Add more comments to CoAlgReasoner.ml · Jul 14, 2014

Compare

Download source code

zip tar.gz tar.bz2 tar