- 24 Aug, 2018 1 commit
-
-
Hans-Peter Deifel authored
This introduces the new sub-command `refine` that does what running the binary without sub-command previously did. This opens up the possibility for further sub-commands and improves discoverability.
-
- 22 Aug, 2018 6 commits
-
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
[skip ci]
-
Hans-Peter Deifel authored
[skip ci]
-
Hans-Peter Deifel authored
There has been a long-standing bug, that we only used exact comparison for IEEE floating point values. This patch implements a newtype ADouble that wraps `Double` and implements `Eq` approximately using the library `ieee754`.
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
- 20 Aug, 2018 1 commit
-
-
Hans-Peter Deifel authored
This copies the built binaries into a local directory that isn't buried under 100 parents like stack usually does.
-
- 18 Aug, 2018 2 commits
-
-
Hans-Peter Deifel authored
States files can now not only contain numbers as potential values for variables but also arbitrary strings which includes e.g `true` and `false`.
-
Hans-Peter Deifel authored
-
- 17 Aug, 2018 5 commits
-
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
Otherwise, parsing would silently fail in some cases
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
This adds two options to `prism-converter`: `--states-file` allows to specify a `.sta` file as exported from PRISM and `--partition-on-variables` allows to specify a list of variables from the model that should be used to determine the initial partition. This commit only adds the parsing and interpretation steps, the resulting partition is not yet reflected in the output.
-
Hans-Peter Deifel authored
Previously, it just used "(stdin)" everytime, even if an actual file was read.
-
- 16 Aug, 2018 3 commits
-
-
Hans-Peter Deifel authored
Filenames given on the command line were simply ignored and stdin/stdout was used instead. This is now fixed (and you can still use stdin/stdout by specifying "-" as filename or omitting the argument).
-
Hans-Peter Deifel authored
Our main input format doesn't allow scientific notation for floats currently, so we should avoid to generate them.
-
Hans-Peter Deifel authored
-
- 15 Aug, 2018 3 commits
-
-
Hans-Peter Deifel authored
This adds options, help text, etc to the `prism-converter` binary.
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
- 11 Aug, 2018 6 commits
-
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
This enables the usage of "X" as functor expression. Previously, this would have thrown an error. Implementation wise, a single Variable "X" is simply special cased to be the Identity functor at a suitable location in the parser.
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
The 'help list_functors' command now also shows a small syntax example for the functor expression of every functor.
-
Hans-Peter Deifel authored
-
- 10 Aug, 2018 1 commit
-
-
Hans-Peter Deifel authored
-
- 09 Aug, 2018 3 commits
-
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
- 08 Aug, 2018 6 commits
-
-
Hans-Peter Deifel authored
This isn't needed any more since we already have the `unsafeH3` abstraction.
-
Hans-Peter Deifel authored
This changes a few apis from boxed to unboxed vectors to prevent unnecessary heap heap allocation and pointer indirection.
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
This can be used in cases where the caller can guarantee that the returned vector isn't referenced any more after the next mutation of RefinablePartition.
-
Hans-Peter Deifel authored
-
- 07 Aug, 2018 2 commits
-
-
Hans-Peter Deifel authored
There was a bug that prevented a single X in parenthesis to be parsed. This is now fixed.
-
Hans-Peter Deifel authored
This resolves the cyclic dependency between SomeFunctor and Coalgebra.Parser.
-
- 06 Aug, 2018 1 commit
-
-
Hans-Peter Deifel authored
-