Merge requests · Software / CoPaR

Polynomial functor

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

!2 · created Jul 18, 2018 by Thorsten Wißmann
- Merged
- 0
updated Jul 19, 2018
Add build script that wraps stack

!3 · created Jul 26, 2018 by Thorsten Wißmann
- Merged
- 3
updated Jul 29, 2018
WIP: Add converter from PRISM models to our syntax

!4 · created Aug 15, 2018 by Thorsten Wißmann
- Merged
- 0
updated Jun 02, 2020
Features/true monoids

!5 · created Oct 23, 2018 by Thorsten Wißmann
- Merged
- 0
updated Oct 25, 2018
Functor subexpression absorbing

!6 · created Oct 27, 2018 by Thorsten Wißmann
- Merged
- 7
updated Nov 02, 2018
Rename the functor H to F

!7 · created Nov 09, 2018 by Thorsten Wißmann
- Merged
- 0
updated Nov 09, 2018
Use exact comparision for doubles

!8 · created Nov 15, 2018 by Thorsten Wißmann
- Merged
- 2
updated Nov 16, 2018
Rationals

!9 · created Nov 15, 2018 by Thorsten Wißmann
- Merged
- 0
updated Nov 16, 2018
Linux bin artifacts

!10 · created Nov 26, 2018 by Thorsten Wißmann
- Merged
- 10
updated Nov 30, 2018
WIP: WEB!

!11 · created Dec 13, 2018 by Thorsten Wißmann
- 1
updated Dec 13, 2018
WIP: Random WTA generator

!12 · created Mar 18, 2019 by Thorsten Wißmann
- Merged
- 5
updated Apr 12, 2019
Fixes

!13 · created Mar 21, 2019 by Thorsten Wißmann
- Merged
- 1
updated Mar 22, 2019
Implement true rationals

!14 · created May 29, 2019 by Hans-Peter Deifel
- Merged
- 0
updated May 29, 2019
WIP: Specialize

!15 · created Feb 24, 2020 by Hans-Peter Deifel
updated Feb 24, 2020
fix typo

!16 · created Apr 03, 2020 by Bastian Kauschke
- Merged
- 1
- 0
updated Apr 03, 2020
[WIP]: remove Polynomial::Product, add Pair functor

!17 · created Apr 16, 2020 by Bastian Kauschke
- Closed
- 9
updated Apr 19, 2020
add missing space to "defined twice" error

!18 · created Apr 17, 2020 by Bastian Kauschke
- Merged
- 0
updated Apr 17, 2020
Add functor implementation example

!19 · created Apr 19, 2020 by Bastian Kauschke
- Merged
- 0
updated Apr 20, 2020
custom impl for `debug print-functor`

!20 · created May 01, 2020 by Bastian Kauschke
- Merged
- 24
updated May 06, 2020