Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • C CoPaR
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 1
    • Issues 1
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 2
    • Merge requests 2
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • Informatik 8Informatik 8
  • CoPaR
  • Repository
  • Branches
  • Overview
  • Active
  • Stale
  • All
  • ci-stack merged
    446eb586 · ci: Use older stack snapshot · Nov 16, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • syntax-doc merged
    549f1e49 · Add third reference to 'help functors' to 'help' output · Nov 26, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • linux-bin-artifacts merged
    beacc3b5 · Build artifacts only in master · Nov 28, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • ghc-8.4.4 merged
    fe4e8c62 · ci: Switch to GHC 8.4.4 · Nov 30, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • features/disable-sanity merged
    b5ababb8 · Refactor and document Copar.Parser module · Dec 01, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • web
    28d3d054 · web: Implement graph view · Dec 09, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • tutorial merged
    0a1af671 · howto: Adapt to new RefinementInterface · Dec 12, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • sumbag merged
    733171e8 · Add microbenchmarks for SumBag · Mar 11, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • stack merged
    e13739a7 · Update stack.yaml · Mar 11, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • new-monoids merged
    9c877832 · Refactor MonoidValuedSpec · Mar 14, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • ci-artifacts
    b7d5079e · ci: Save artifacts on non-master branches · Mar 19, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • bench-hex merged
    f77957a9 · bench: Add benchmark for hex parser · Mar 21, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • fixes merged
    f81eea8c · Fix sum in MonoidValued · Mar 21, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • wta-generator
    1f8b6e79 · wta: Implement --out-degree parameter · Apr 04, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • debug-partition-size
    b8d4a3c2 · Print partition size while refining · Apr 04, 2019
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • master default protected
    df381ef8 · Remove .gitlab-ci.yml · Apr 04, 2019
    Download source code
    zip tar.gz tar.bz2 tar
  • Prev
  • 1
  • 2
  • 3
  • Next