Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • C COOL
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 33
    • Issues 33
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Software
  • COOL
  • Repository
  • Branches
  • Overview
  • Active
  • Stale
  • All
  • 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