Merge requests · Software

Add dune build system

cool!1 · created Jul 30, 2019 by Hans-Peter Deifel v1.0 - The first "real" release
- Merged
- 10
- 1
- Approved
updated May 21, 2021
Fix MiniSAT build error

nusmvf!1 · created Dec 15, 2020 by Paul Wild
- Merged
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
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
updated Oct 19, 2020
time minimize

copar!38 · created Oct 13, 2020 by Bastian Kauschke
- Merged
updated Oct 19, 2020
Reachability

copar!37 · created Sep 25, 2020 by Hans-Peter Deifel
- Merged
- 10
- Approved
updated Oct 06, 2020
Expose coalgebra printing as debug command

copar!35 · created Sep 03, 2020 by Hans-Peter Deifel
- Merged
- 3
- Approved
updated Sep 25, 2020
minimize

copar!33 · created Sep 01, 2020 by Bastian Kauschke
- Merged
- 21
updated Sep 25, 2020
Implement converter for the grammar rules of the berkeleyparser

copar!36 · created Sep 10, 2020 by Thorsten Wißmann
- Merged
updated Sep 17, 2020
update primitive to >= 0.7.1.0

copar!32 · created Aug 10, 2020 by Bastian Kauschke
- Merged
- 3
updated Aug 31, 2020
Test release flag in ci

copar!30 · created Jul 23, 2020 by Hans-Peter Deifel
- Merged
updated Aug 05, 2020
fix `stack test --flag copar:RELEASE`

copar!31 · created Aug 05, 2020 by Bastian Kauschke
- Merged
updated Aug 05, 2020
implement coalgebra printing

copar!29 · created Jun 25, 2020 by Bastian Kauschke
- Merged
- 37
updated Jul 30, 2020
replace Printable with FunctorDescription

copar!28 · created Jun 05, 2020 by Bastian Kauschke
- Merged
- 9
updated Jun 23, 2020