Version 3.0.3 of Ymer, released today, contains minor improvements to the parser. The improvements allow Ymer to parse more PRISM models without requiring modifications, which should make it easier to run benchmark tests.
The following improvements were made:
- Support for uninitialized constants and constant initialization from command line. For example, if a model has an uninitialized constants N and M, then you can set the value of N and M from the command line with ‑‑const=N=2,M=3.
- Support for true and false in guard expressions.
- Support for addition and subtraction in rate expressions.
- Parser support for rewards specifications to avoid parse errors for model files that contain rewards specifications, but rewards specifications are otherwise ignored.
Ymer is hosted on Google Code.
