CoPaR merge requestshttps://git8.cs.fau.de/software/copar/-/merge_requests2020-05-13T07:49:38Zhttps://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/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/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/24printParseableFunctor: omit unnecessary braces2020-05-20T09:49:49ZBastian KauschkeprintParseableFunctor: omit unnecessary bracesHans-Peter DeifelHans-Peter Deifelhttps://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/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/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/29implement coalgebra printing2020-07-30T15:28:55ZBastian Kauschkeimplement coalgebra printingcloses #9closes #9Hans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/30Test release flag in ci2020-08-05T11:04:10ZHans-Peter DeifelTest release flag in ciAlso, use the binaries built *with* the release flag as artifacts, so people can
download the fastest version available.
**Warning**: Don't merge, unless #11 is fixed on master. Otherwise artifacts won't be builtAlso, use the binaries built *with* the release flag as artifacts, so people can
download the fastest version available.
**Warning**: Don't merge, unless #11 is fixed on master. Otherwise artifacts won't be builthttps://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/32update primitive to >= 0.7.1.02020-08-31T09:18:54ZBastian Kauschkeupdate primitive to >= 0.7.1.0Also updates the resolver to lts-14.27, lts-15 uses `base-4.13` which removes `fail` in favor of `MonadFail` which is not yet implement for `MonadParsec`, even in the newest version.
fixes #12Also updates the resolver to lts-14.27, lts-15 uses `base-4.13` which removes `fail` in favor of `MonadFail` which is not yet implement for `MonadParsec`, even in the newest version.
fixes #12Hans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/33minimize2020-09-25T08:37:57ZBastian Kauschkeminimizeimplements the `minimize` command.implements the `minimize` command.Hans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/34polynomial: Sort edge labels before printing2020-09-21T11:58:19ZHans-Peter Deifelpolynomial: Sort edge labels before printingEdge labels contain the indices into the current product, and since we're
walking through factors in from left to right, we also want those indices to
appear in the correct order.
This bug doesn't appear when printing the parsed encodin...Edge labels contain the indices into the current product, and since we're
walking through factors in from left to right, we also want those indices to
appear in the correct order.
This bug doesn't appear when printing the parsed encoding directly, since edge
labels are usually sorted after parsing. But after our new minimization work,
this will not be a valid assumption anymore.Bastian KauschkeBastian Kauschkehttps://git8.cs.fau.de/software/copar/-/merge_requests/35Expose coalgebra printing as debug command2020-09-25T09:14:13ZHans-Peter DeifelExpose coalgebra printing as debug commandSince the latest work changes the `minimize` command to actually do
minimization, simply printing a coalgebra wasn't exposed in the CLI
anymore.
This brings it back under the `debug` subcommand.Since the latest work changes the `minimize` command to actually do
minimization, simply printing a coalgebra wasn't exposed in the CLI
anymore.
This brings it back under the `debug` subcommand.Bastian KauschkeBastian Kauschkehttps://git8.cs.fau.de/software/copar/-/merge_requests/36Implement converter for the grammar rules of the berkeleyparser2020-09-17T12:41:17ZThorsten WißmannImplement converter for the grammar rules of the berkeleyparserThis implements a new converter utility that handles the file format
of the `.grammar` files generated by berkeleyparser
https://github.com/slavpetrov/berkeleyparser
Though I am not entirely sure about the semantics, this provides a so...This implements a new converter utility that handles the file format
of the `.grammar` files generated by berkeleyparser
https://github.com/slavpetrov/berkeleyparser
Though I am not entirely sure about the semantics, this provides a source
for non-randomly generated WTAs.https://git8.cs.fau.de/software/copar/-/merge_requests/37Reachability2020-10-06T18:55:09ZHans-Peter DeifelReachabilityFixes #15Fixes #15Bastian KauschkeBastian Kauschkehttps://git8.cs.fau.de/software/copar/-/merge_requests/38time minimize2020-10-19T05:51:39ZBastian Kauschketime minimizeadds the `--stats` and `--stats-json` option to `minimize`adds the `--stats` and `--stats-json` option to `minimize`Hans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/39update ghc, use a newtype as parser error2020-10-19T14:23:41ZBastian Kauschkeupdate ghc, use a newtype as parser errorimplements #14implements #14Hans-Peter DeifelHans-Peter Deifelhttps://git8.cs.fau.de/software/copar/-/merge_requests/40remove redundant calls to `statesOfBlock` in `Minimize`2020-10-19T06:38:00ZBastian Kauschkeremove redundant calls to `statesOfBlock` in `Minimize`Hans-Peter DeifelHans-Peter Deifel