Merge requests · Software / CoPaR

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
update primitive to >= 0.7.1.0

!32 · created Aug 10, 2020 by Bastian Kauschke
- Merged
- 3
updated Aug 31, 2020
fix `stack test --flag copar:RELEASE`

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

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

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

!28 · created Jun 05, 2020 by Bastian Kauschke
- Merged
- 9
updated Jun 23, 2020
Use Z in zigzag

!27 · created Jun 02, 2020 by Thorsten Wißmann
- Merged
- 2
updated Jun 03, 2020
reuse FunctorDescription

!26 · created May 27, 2020 by Bastian Kauschke
- Merged
- 13
updated Jun 03, 2020
Remove PrettyPrint

!25 · created May 25, 2020 by Bastian Kauschke
- Merged
- 5
updated May 26, 2020
printParseableFunctor: omit unnecessary braces

!24 · created May 18, 2020 by Bastian Kauschke
- Merged
- 11
updated May 20, 2020
Implement a parsable functor-expression printer

!23 · created May 11, 2020 by Bastian Kauschke
- Merged
- 7
updated May 18, 2020
reenable GroupValued Int parsing

!22 · created May 11, 2020 by Bastian Kauschke
- Merged
- 8
updated May 13, 2020
Allow names starting with digits

!21 · created May 11, 2020 by Bastian Kauschke
- Merged
- 3
updated May 13, 2020
custom impl for `debug print-functor`

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

!19 · created Apr 19, 2020 by Bastian Kauschke
- Merged
updated Apr 20, 2020
add missing space to "defined twice" error

!18 · created Apr 17, 2020 by Bastian Kauschke
- Merged
updated Apr 17, 2020
[WIP]: remove Polynomial::Product, add Pair functor

!17 · created Apr 16, 2020 by Bastian Kauschke
- Closed
- 9
updated Apr 19, 2020
fix typo

!16 · created Apr 03, 2020 by Bastian Kauschke
- Merged
- 1
updated Apr 03, 2020
WIP: Specialize

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