prism-accumulation

3722 Commits

5 Branches

0 Tags

31 MiB

Tree: 09263a4db3

Commit Graph

Author	SHA1	Message	Date
Joachim Klein	1add0c6de7	Property: support fractions in constant matching part of RESULT specs (experiments) Use DefinedConstant.parseDouble based parsing to handle fractions. For BigRational, this is already supported via BigRational.from() + test case	9 years ago
Joachim Klein	6c0294923e	Use exact evaluation of constant expressions in exact and parametric mode Using the infrastructure from the previous commit, we request exact evaluation of constants in exact and parametric model checking mode. Additionally, note where we deliberately choose non-exact evaluation mode. Add corresponding test cases.	8 years ago

Author

SHA1

Message

Date

Joachim Klein

1add0c6de7

Property: support fractions in constant matching part of RESULT specs (experiments)

Use DefinedConstant.parseDouble based parsing to handle fractions. For
BigRational, this is already supported via BigRational.from()

+ test case

9 years ago

Joachim Klein

6c0294923e

Use exact evaluation of constant expressions in exact and parametric mode

Using the infrastructure from the previous commit, we request exact evaluation
of constants in exact and parametric model checking mode.

Additionally, note where we deliberately choose non-exact evaluation mode.

Add corresponding test cases.

8 years ago

1 Commits (09263a4db3159a5373661edd77ac82bdd65f5f1e)