CoPaR merge requestshttps://git8.cs.fau.de/software/copar/-/merge_requests2020-08-05T10:09:40Zhttps://git8.cs.fau.de/software/copar/-/merge_requests/31fix `stack test --flag copar:RELEASE`2020-08-05T10:09:40ZBastian Kauschkefix `stack test --flag copar:RELEASE`fixes #11 unblocks !30fixes #11 unblocks !30Hans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/29implement coalgebra printing2020-07-30T15:28:55ZBastian Kauschkeimplement coalgebra printingcloses #9closes #9Hans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/28replace Printable with FunctorDescription2020-06-23T14:36:17ZBastian Kauschkereplace Printable with FunctorDescriptioncloses #10closes #10Hans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/26reuse FunctorDescription2020-06-03T15:40:17ZBastian Kauschkereuse FunctorDescriptionHans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/27Use Z in zigzag2020-06-03T07:56:22ZThorsten WißmannUse Z in zigzagSince issue !4 is solved, we can now use Z again.Since issue !4 is solved, we can now use Z again.https://git8.cs.fau.de/software/copar/-/merge_requests/4WIP: Add converter from PRISM models to our syntax2020-06-02T19:23:30ZThorsten WißmannWIP: Add converter from PRISM models to our syntaxhttps://git8.cs.fau.de/software/copar/-/merge_requests/25Remove PrettyPrint2020-05-26T14:06:11ZBastian KauschkeRemove PrettyPrint`PrettyPrint` has been made obsolete by `Printable`.
This MR removes it and updates `SortsSpec` to use `SomeFunctor`.`PrettyPrint` has been made obsolete by `Printable`.
This MR removes it and updates `SortsSpec` to use `SomeFunctor`.Hans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/24printParseableFunctor: omit unnecessary braces2020-05-20T09:49:49ZBastian KauschkeprintParseableFunctor: omit unnecessary bracesHans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/23Implement a parsable functor-expression printer2020-05-18T09:54:15ZBastian KauschkeImplement a parsable functor-expression printerimplements #8
I currently insert braces everywhere, meaning that `printParseableFunctor . parseFunctor = id` should hold,
`parseFunctor . printParseableFunctor = id` most certainly does not.
Example output:
```
{n, f}xPX -> {n, ...implements #8
I currently insert braces everywhere, meaning that `printParseableFunctor . parseFunctor = id` should hold,
`parseFunctor . printParseableFunctor = id` most certainly does not.
Example output:
```
{n, f}xPX -> {n, f}x(PX)
D({f,n}xPX) -> D({f, n}x(PX))
D({f,n}xP(DX)^{a, b, c}+({f, n}xX + (Z, min)^({f ,n})))
-> D({f, n}x(P(DX))^{a, b, c} + ({f, n}xX + ((Z, min)^({f, n}))))
```Hans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/22reenable GroupValued Int parsing2020-05-13T15:23:24ZBastian Kauschkereenable GroupValued Int parsingDon't try to parse `Z^?` as a polynomial functor with a single constant set by checking if `Z` is followed by `^`,
in which case this `Z` is later parsed and accepted as a `GroupValued Int`.
closes #4Don't try to parse `Z^?` as a polynomial functor with a single constant set by checking if `Z` is followed by `^`,
in which case this `Z` is later parsed and accepted as a `GroupValued Int`.
closes #4Hans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/21Allow names starting with digits2020-05-13T07:49:38ZBastian KauschkeAllow names starting with digitscloses #5closes #5Hans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/20custom impl for `debug print-functor`2020-05-06T16:38:01ZBastian Kauschkecustom impl for `debug print-functor`implements #7
This still does not support all functors, so this is mostly for early feedback.
Currently supported examples:
```
copar debug print-functor "D({f,n}xPX)" --no-functor-transforms
Distribution D'0
└ '0: Polynomi...implements #7
This still does not support all functors, so this is mostly for early feedback.
Currently supported examples:
```
copar debug print-functor "D({f,n}xPX)" --no-functor-transforms
Distribution D'0
└ '0: Polynomial {f, n}x'1
└ '1: Powerset P'2
└ '2: Variable X
copar debug print-functor "D({f,n}xPX^{a, b, c}+({f, n}xX))" --no-functor-transforms
Distribution D'0
└ '0: Polynomial {f, n}x'1^{a, b, c} + '2
├ '1: Powerset P'3
│ └ '3: Variable X
└ '2: Polynomial {f, n}x'4
└ '4: Variable X
copar debug print-functor "{f,n}xP(D({f,n}xPX^{a, b, c}+({f, n}xX)))+X" --no-functor-transforms
Polynomial {f, n}x'0 + '1
├ '0: Powerset P'2
│ └ '2: Distribution D'3
│ └ '3: Polynomial {f, n}x'4^{a, b, c} + '5
│ ├ '4: Powerset P'6
│ │ └ '6: Variable X
│ └ '5: Polynomial {f, n}x'7
│ └ '7: Variable X
└ '1: Variable X
```Hans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/19Add functor implementation example2020-04-20T12:06:53ZBastian KauschkeAdd functor implementation exampleAdds an implementation of the cross product `(AxB)` as an example.Adds an implementation of the cross product `(AxB)` as an example.Hans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/18add missing space to "defined twice" error2020-04-17T15:23:40ZBastian Kauschkeadd missing space to "defined twice" errorHans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/16fix typo2020-04-03T13:42:29ZBastian Kauschkefix typohttps://git8.cs.fau.de/software/copar/-/merge_requests/14Implement true rationals2019-05-29T13:03:22ZHans-Peter DeifelImplement true rationalsRationals were already supported, but their input syntax was the same as for
reals: Decimal fixed point notation. This is now fixed and the functor X^-
allows weights to be written as either integers or ratios of integers, separated
by a...Rationals were already supported, but their input syntax was the same as for
reals: Decimal fixed point notation. This is now fixed and the functor X^-
allows weights to be written as either integers or ratios of integers, separated
by a slash.https://git8.cs.fau.de/software/copar/-/merge_requests/12WIP: Random WTA generator2019-04-12T10:34:36ZThorsten WißmannWIP: Random WTA generatorSiehe:
``` shell
stack build
stack exec -- random-wta --help
```
Zum Beispiel:
``` shell
stack exec -- random-wta --monoid N,or --states 2 --symbols 1,0,10
```Siehe:
``` shell
stack build
stack exec -- random-wta --help
```
Zum Beispiel:
``` shell
stack exec -- random-wta --monoid N,or --states 2 --symbols 1,0,10
```Thorsten WißmannThorsten Wißmannhttps://git8.cs.fau.de/software/copar/-/merge_requests/13Fixes2019-03-22T09:05:51ZThorsten WißmannFixeshttps://git8.cs.fau.de/software/copar/-/merge_requests/10Linux bin artifacts2018-11-30T12:46:24ZThorsten WißmannLinux bin artifactsPublish the most recently built linux binaries as artifacts. This makes the wait shorter for users who just want to try copar quickly.Publish the most recently built linux binaries as artifacts. This makes the wait shorter for users who just want to try copar quickly.https://git8.cs.fau.de/software/copar/-/merge_requests/9Rationals2018-11-16T15:00:09ZThorsten WißmannRationals