Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • S Software
  • Group information
    • Group information
    • Activity
    • Labels
    • Members
  • Issues 45
    • Issues 45
    • List
    • Board
    • Milestones
  • Merge requests 6
    • Merge requests 6
  • Packages and registries
    • Packages and registries
    • Package Registry
Collapse sidebar
  • Software
  • Merge requests
  • Open 6
  • Merged 63
  • Closed 2
  • All 71
  • Draft: Model checking via Effectivity Frames
    cool!12 · created Feb 24, 2023 by Simon Prucker   modcheck
    • 17
    updated Mar 31, 2023
  • Distributed Merge into Master Branch
    copar!51 · created Jun 24, 2022 by Stefan Gebhart
    • 0
    updated Jul 26, 2022
  • implement functor certificates
    copar!48 · created Apr 28, 2021 by Bastian Kauschke
    • 0
    updated Apr 28, 2021
  • update ghc, use a newtype as parser error
    copar!39 · created Oct 14, 2020 by Bastian Kauschke
    • 5
    updated Oct 19, 2020
  • WIP: Specialize
    copar!15 · created Feb 24, 2020 by Hans-Peter Deifel
    • 0
    updated Feb 24, 2020
  • WIP: WEB!
    copar!11 · created Dec 13, 2018 by Thorsten Wißmann
    • 1
    updated Dec 13, 2018