Merge requests · Software / CoPaR

Move docker setup for distributed copar to own direcotry

!52 · created Oct 14, 2022 by Stefan Gebhart SylvanSymbolic
- MERGED
- 0
updated Oct 14, 2022
Distributed Merge into Master Branch

!51 · created Jun 24, 2022 by Stefan Gebhart
updated Jul 26, 2022
Update dfa

!50 · created Jun 02, 2022 by Silas Kuder distributed
- MERGED
- 0
updated Jun 20, 2022
Fixed (maybe?) Lexer for Windows Newline Format

!49 · created May 10, 2022 by Stefan Gebhart
- MERGED
- 4
updated May 11, 2022
implement functor certificates

!48 · created Apr 28, 2021 by Bastian Kauschke
- 0
updated Apr 28, 2021
refactor some more

!47 · created Nov 16, 2020 by Bastian Kauschke
- MERGED
- 1
updated Nov 17, 2020
Random cleanups in minimization tests

!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

!45 · created Nov 11, 2020 by Bastian Kauschke
- MERGED
- 6
updated Nov 13, 2020
fix AbsorbingPolynomial innerFunctors

!44 · created Nov 02, 2020 by Bastian Kauschke
- MERGED
- 4
updated Nov 04, 2020
Add T-Beg example markov chain

!43 · created Nov 02, 2020 by Hans-Peter Deifel
- MERGED
- 1
updated Nov 04, 2020
further cleanup

!42 · created Oct 21, 2020 by Bastian Kauschke
- MERGED
- 3
updated Oct 22, 2020
small cleanup

!41 · created Oct 19, 2020 by Bastian Kauschke
- MERGED
- 2
updated Oct 20, 2020
remove redundant calls to `statesOfBlock` in `Minimize`

!40 · created Oct 16, 2020 by Bastian Kauschke
- MERGED
- 0
updated Oct 19, 2020
update ghc, use a newtype as parser error

!39 · created Oct 14, 2020 by Bastian Kauschke
updated Oct 19, 2020
time minimize

!38 · created Oct 13, 2020 by Bastian Kauschke
- MERGED
- 0
updated Oct 19, 2020
Reachability

!37 · created Sep 25, 2020 by Hans-Peter Deifel
- MERGED
- Approved
- 10
updated Oct 06, 2020
Implement converter for the grammar rules of the berkeleyparser

!36 · created Sep 10, 2020 by Thorsten Wißmann
- MERGED
- 0
updated Sep 17, 2020
Expose coalgebra printing as debug command

!35 · created Sep 03, 2020 by Hans-Peter Deifel
- MERGED
- Approved
- 3
updated Sep 25, 2020
polynomial: Sort edge labels before printing

!34 · created Sep 03, 2020 by Hans-Peter Deifel
- CLOSED
- 1
updated Sep 21, 2020
minimize

!33 · created Sep 01, 2020 by Bastian Kauschke
- MERGED
- 21
updated Sep 25, 2020