Merge requests · Software

Skip to content

GitLab

Projects Groups Snippets

/

Help
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