Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • S Software
  • Group information
    • Group information
    • Activity
    • Labels
    • Members
  • Issues 42
    • Issues 42
    • List
    • Board
    • Milestones
  • Merge requests 5
    • Merge requests 5
  • Packages and registries
    • Packages and registries
    • Package Registry
Collapse sidebar
  • Software
  • Merge requests
  • Open 5
  • Merged 61
  • Closed 2
  • All 68
  • Integrated benchmarks and switch to incremental generated parser
    cool!11 · created Oct 20, 2022 by Merlin
    • MERGED
    • 0
    updated Oct 20, 2022
  • Move docker setup for distributed copar to own direcotry
    copar!52 · created Oct 14, 2022 by Stefan Gebhart   SylvanSymbolic
    • MERGED
    • 0
    updated Oct 14, 2022
  • Refactoring
    cool!10 · created Aug 22, 2022 by Merlin
    • MERGED
    • Approved
    • 2
    updated Aug 23, 2022
  • Onestep   2 of 2 checklist items completed
    cool!9 · created Jan 25, 2022 by Merlin   v2.1 - One-Step COOL
    • MERGED
    • Approved
    • 70
    updated Jun 29, 2022
  • Update dfa
    copar!50 · created Jun 02, 2022 by Silas Kuder   distributed
    • MERGED
    • 0
    updated Jun 20, 2022
  • Fixed (maybe?) Lexer for Windows Newline Format
    copar!49 · created May 10, 2022 by Stefan Gebhart
    • MERGED
    • 4
    updated May 11, 2022
  • Add command to compile paper on arXiv, and compare to local version.
    epirc!1 · created Jan 03, 2022 by Tobias Kappé
    • MERGED
    • 0
    updated Jan 04, 2022
  • Generators
    cool!7 · created Oct 15, 2021 by Simon Prucker
    • MERGED
    • Approved
    • 0
    updated Dec 09, 2021
  • Generator Executable
    cool!8 · created Dec 08, 2021 by Simon Prucker
    • MERGED
    • Approved
    • 1
    updated Dec 09, 2021
  • Readme with user facing examples and install/build instructions
    cool!6 · created Jun 18, 2021 by Merlin   v1.0 - The first "real" release
    • MERGED
    • 1
    updated Jun 22, 2021
  • Add dune build system
    cool!1 · created Jul 30, 2019 by Hans-Peter Deifel   v1.0 - The first "real" release
    • MERGED
    • Approved
    • 1
    • 10
    updated May 21, 2021
  • Fix MiniSAT build error
    nusmvf!1 · created Dec 15, 2020 by Paul Wild
    • MERGED
    • 0
    updated Jan 08, 2021
  • refactor some more
    copar!47 · created Nov 16, 2020 by Bastian Kauschke
    • MERGED
    • 1
    updated Nov 17, 2020
  • Random cleanups in minimization tests
    copar!46 · created Nov 13, 2020 by Hans-Peter Deifel
    • MERGED
    • Approved
    • 0
    updated Nov 16, 2020
  • refactor Main.hs, highlight the initial state in graph
    copar!45 · created Nov 11, 2020 by Bastian Kauschke
    • MERGED
    • 6
    updated Nov 13, 2020
  • Add T-Beg example markov chain
    copar!43 · created Nov 02, 2020 by Hans-Peter Deifel
    • MERGED
    • 1
    updated Nov 04, 2020
  • fix AbsorbingPolynomial innerFunctors
    copar!44 · created Nov 02, 2020 by Bastian Kauschke
    • MERGED
    • 4
    updated Nov 04, 2020
  • further cleanup
    copar!42 · created Oct 21, 2020 by Bastian Kauschke
    • MERGED
    • 3
    updated Oct 22, 2020
  • small cleanup
    copar!41 · created Oct 19, 2020 by Bastian Kauschke
    • MERGED
    • 2
    updated Oct 20, 2020
  • remove redundant calls to `statesOfBlock` in `Minimize`
    copar!40 · created Oct 16, 2020 by Bastian Kauschke
    • MERGED
    • 0
    updated Oct 19, 2020
  • Prev
  • 1
  • 2
  • 3
  • 4
  • Next