Merge requests · Software

reuse FunctorDescription

copar!26 · created May 27, 2020 by Bastian Kauschke
- Merged
- 13
updated Jun 03, 2020
Use Z in zigzag

copar!27 · created Jun 02, 2020 by Thorsten Wißmann
- Merged
- 2
updated Jun 03, 2020
WIP: Add converter from PRISM models to our syntax

copar!4 · created Aug 15, 2018 by Thorsten Wißmann
- Merged
updated Jun 02, 2020
Remove PrettyPrint

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

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

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

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

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

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

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

copar!18 · created Apr 17, 2020 by Bastian Kauschke
- Merged
updated Apr 17, 2020
fix typo

copar!16 · created Apr 03, 2020 by Bastian Kauschke
- Merged
- 1
updated Apr 03, 2020
Selective/Parallel test execution

cool!5 · created Aug 02, 2019 by Merlin
- Merged
- 7
updated Aug 06, 2019
Add licensing info

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

cool!4 · created Aug 02, 2019 by Merlin
updated Aug 02, 2019
CI Improvements

cool!2 · created Aug 01, 2019 by Merlin
- Merged
- 7
updated Aug 01, 2019
Implement true rationals

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

copar!12 · created Mar 18, 2019 by Thorsten Wißmann
- Merged
- 5
updated Apr 12, 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