CoPaR merge requestshttps://gitlab.cs.fau.de/i8/copar/-/merge_requests2019-03-22T09:05:51Zhttps://gitlab.cs.fau.de/i8/copar/-/merge_requests/13Fixes2019-03-22T09:05:51ZThorsten WißmannFixeshttps://gitlab.cs.fau.de/i8/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://gitlab.cs.fau.de/i8/copar/-/merge_requests/9Rationals2018-11-16T15:00:09ZHans-Peter DeifelRationalshttps://gitlab.cs.fau.de/i8/copar/-/merge_requests/8Use exact comparision for doubles2018-11-16T15:00:00ZHans-Peter DeifelUse exact comparision for doublesComparision with `(a-b < ɛ)` is not transitive and thus doesn't induce
an equality relation. Since the whole job of the algorithm is to
partition according to an equality relation, this may be problematic.
Instead, to compare doubles a ...Comparision with `(a-b < ɛ)` is not transitive and thus doesn't induce
an equality relation. Since the whole job of the algorithm is to
partition according to an equality relation, this may be problematic.
Instead, to compare doubles a and b, we now round both values to
floats and compare those exactly. This means that we get a proper
equality relation, even if it fails to distinguish some states and
wrongly distinguishes others when compared to operations on true real
numbers.Thorsten WißmannThorsten Wißmannhttps://gitlab.cs.fau.de/i8/copar/-/merge_requests/7Rename the functor H to F2018-11-09T12:53:01ZHans-Peter DeifelRename the functor H to FF seems to be the canonical name for the functor of an F-coalgebra.F seems to be the canonical name for the functor of an F-coalgebra.https://gitlab.cs.fau.de/i8/copar/-/merge_requests/6Functor subexpression absorbing2018-11-02T08:12:24ZHans-Peter DeifelFunctor subexpression absorbingDas ist noch ziemlich "Work in Progress", aber der aktuelle Status lässt sich schon testen:
```shell
ma refine --apply-ast-transforms FILE
```
sollte das richtige ausgeben und
```shell
ma graph --apply-ast-transforms FILE
``...Das ist noch ziemlich "Work in Progress", aber der aktuelle Status lässt sich schon testen:
```shell
ma refine --apply-ast-transforms FILE
```
sollte das richtige ausgeben und
```shell
ma graph --apply-ast-transforms FILE
```
zeigt gut, wie sich die Graphstruktur im Gegensatz zu ohne `--apply-ast-transforms` verändert.Thorsten WißmannThorsten Wißmannhttps://gitlab.cs.fau.de/i8/copar/-/merge_requests/5Features/true monoids2018-10-25T12:45:18ZHans-Peter DeifelFeatures/true monoidsImplements the following new functor:
```
(ℤ, max)^X
x: {x: 1, y: 3}
y: {x: 2, y: 2}
z: {x: -5, y: 3, z: 1}
```Implements the following new functor:
```
(ℤ, max)^X
x: {x: 1, y: 3}
y: {x: 2, y: 2}
z: {x: -5, y: 3, z: 1}
```https://gitlab.cs.fau.de/i8/copar/-/merge_requests/4WIP: Add converter from PRISM models to our syntax2018-08-22T08:40:58ZHans-Peter DeifelWIP: Add converter from PRISM models to our syntaxhttps://gitlab.cs.fau.de/i8/copar/-/merge_requests/3Add build script that wraps stack2018-07-29T08:29:43ZHans-Peter DeifelAdd build script that wraps stack@thorsten ist das skript halbwegs sinnvolles bash?@thorsten ist das skript halbwegs sinnvolles bash?Thorsten WißmannThorsten Wißmannhttps://gitlab.cs.fau.de/i8/copar/-/merge_requests/2Exponentials2018-07-19T13:09:03ZHans-Peter DeifelExponentialshttps://gitlab.cs.fau.de/i8/copar/-/merge_requests/1Polynomial functor2018-07-18T07:41:04ZHans-Peter DeifelPolynomial functor