Merge requests · Software

Documentation update

cool!4 · created Aug 02, 2019 by Merlin
updated Aug 02, 2019
Add licensing info

cool!3 · created Aug 02, 2019 by Merlin
- Merged
- 2
updated Aug 05, 2019
CI Improvements

cool!2 · created Aug 01, 2019 by Merlin
- Merged
- 7
updated Aug 01, 2019
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
Implement true rationals

copar!14 · created May 29, 2019 by Hans-Peter Deifel
- Merged
updated May 29, 2019
WIP: WTA Benchmarks

copar-benchmarks!1 · created Mar 26, 2019 by Hans-Peter Deifel
- Merged
updated Mar 27, 2019
Fixes

copar!13 · created Mar 21, 2019 by Thorsten Wißmann
- Merged
- 1
updated Mar 22, 2019
WIP: Random WTA generator

copar!12 · created Mar 18, 2019 by Thorsten Wißmann
- Merged
- 5
updated Apr 12, 2019
WIP: WEB!

copar!11 · created Dec 13, 2018 by Thorsten Wißmann
- 1
updated Dec 13, 2018
Linux bin artifacts

copar!10 · created Nov 26, 2018 by Thorsten Wißmann
- Merged
- 10
updated Nov 30, 2018
Rationals

copar!9 · created Nov 15, 2018 by Thorsten Wißmann
- Merged
updated Nov 16, 2018
Use exact comparision for doubles

copar!8 · created Nov 15, 2018 by Thorsten Wißmann
- Merged
- 2
updated Nov 16, 2018
Rename the functor H to F

copar!7 · created Nov 09, 2018 by Thorsten Wißmann
- Merged
updated Nov 09, 2018
Functor subexpression absorbing

copar!6 · created Oct 27, 2018 by Thorsten Wißmann
- Merged
- 7
updated Nov 02, 2018
Features/true monoids

copar!5 · created Oct 23, 2018 by Thorsten Wißmann
- Merged
updated Oct 25, 2018
WIP: Add converter from PRISM models to our syntax

copar!4 · created Aug 15, 2018 by Thorsten Wißmann
- Merged
updated Jun 02, 2020
Add build script that wraps stack

copar!3 · created Jul 26, 2018 by Thorsten Wißmann
- Merged
- 3
updated Jul 29, 2018
Exponentials

copar!2 · created Jul 18, 2018 by Thorsten Wißmann
- Merged
updated Jul 19, 2018
Polynomial functor

copar!1 · created Jul 17, 2018 by Thorsten Wißmann
- Merged
updated Jul 18, 2018
Docu

gqm-coq!2 · created Jun 08, 2018 by Michael Sammler
- Merged
updated Jun 08, 2018