Merge requests · Software / CoPaR

Improve BDD reading/writing code

!54 · created Mar 15, 2023 by Hans-Peter Deifel SylvanSymbolic
- Merged
updated Mar 15, 2023
C Improvements for Sylvan Stubs

!53 · created Mar 02, 2023 by Hans-Peter Deifel SylvanSymbolic
- Merged
updated Mar 02, 2023
Move docker setup for distributed copar to own direcotry

!52 · created Oct 14, 2022 by Stefan Gebhart SylvanSymbolic
- Merged
updated Oct 14, 2022
Update dfa

!50 · created Jun 02, 2022 by Silas Kuder distributed
- Merged
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
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
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
Add T-Beg example markov chain

!43 · created Nov 02, 2020 by Hans-Peter Deifel
- Merged
- 1
updated Nov 04, 2020
fix AbsorbingPolynomial innerFunctors

!44 · created Nov 02, 2020 by Bastian Kauschke
- Merged
- 4
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
updated Oct 19, 2020
time minimize

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

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

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

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

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

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

!30 · created Jul 23, 2020 by Hans-Peter Deifel
- Merged
updated Aug 05, 2020