Skip to content
GitLab
Projects Groups Topics 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
    • Contributor statistics
    • Graph
    • Compare revisions
  • 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
  • more-h-to-f merged
    2e150e2c · Replace even more instances of h3 with f3 · Nov 09, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • h-to-f merged
    767b4937 · Rename a few type variables from h to f · Nov 09, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • powerset-bitweight merged
    7ed53a0a · Encode the toRest part of Powerset's weight in Int · Nov 09, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • rename merged
    6b0c6325 · Rename ma to copar in a few other places · Nov 09, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • opt/groupBy merged
    7e153b9e · Fix benchmarks compilation · Nov 09, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • powerset-weight merged
    8db7fbd5 · Remove redundant UNPACK pragma · Nov 09, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • otimizations merged
    fa32dea8 · Unpack fields of AlgoState · Nov 07, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • features/somefunctor-tagged
    d9fa0136 · Stuff · Nov 05, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • features/somefunctor-any merged
    18903017 · Add comment about Any usage to SomeFunctor · Nov 02, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • features/elim-functor-subterms merged
    b860c591 · main: Improve some help messages · Nov 02, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • scratch/debug-ap-memusage
    f0a46785 · Add another TODO comment · Nov 01, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • features/list-functors merged
    f32aa3b8 · main: Rename 'list_functors' to 'list-functors' · Oct 31, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • scratch/subterm-elemination
    c27b98c8 · Current state of the work · Oct 26, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • features/true-monoids merged
    55274a40 · Add example for maxDouble · Oct 25, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • features/double-max-monoid merged
    9c7f1d17 · Remove some commented out code · Oct 25, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • features/valmari-dfa merged
    786abddc · random-dfa: Allow to output a single DFA in multiple formats · Oct 24, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • restrictPartition merged
    e4674557 · Fix whitespace · Oct 24, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • features/complex-numbers merged
    83deb7b6 · Clean up code in MonoidValuedSpec · Oct 20, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • eliminate-lists2
    9de49155 · Explain amortized cost for Stack.push in documentation · Oct 17, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • h1-initialize merged
    814f7644 · Speed up MorphismEncoding creation from parser state · Oct 08, 2018
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • Prev
  • 1
  • 2
  • 3
  • Next