Add buildMCRewardsFromPrismExplicit method (untested).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8071 bbc10eb1-c90d-0410-af57-cb519fbb1720
Bug fix: pre-strategy generation check done before model construction.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8072 bbc10eb1-c90d-0410-af57-cb519fbb1720
Output tweak: extra new line.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8073 bbc10eb1-c90d-0410-af57-cb519fbb1720
Code tidy + new methods in PrismFileLog.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8074 bbc10eb1-c90d-0410-af57-cb519fbb1720
Tidy up of export-to-Dot functionality, plus new "dot" option for exporting strategy (explicit engine only, currently).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8110 bbc10eb1-c90d-0410-af57-cb519fbb1720
Make sure that some PrismFileLogs are close()ed after use - spotted as a bug by Bruno.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8168 bbc10eb1-c90d-0410-af57-cb519fbb1720
NaN values in rewards cause an error (explicit engine only so far).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8188 bbc10eb1-c90d-0410-af57-cb519fbb1720
Fixed bugs in output of vectors when showing states but no indices.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8210 bbc10eb1-c90d-0410-af57-cb519fbb1720
Comment clarification.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8211 bbc10eb1-c90d-0410-af57-cb519fbb1720
Fix version for 4.2

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8212 bbc10eb1-c90d-0410-af57-cb519fbb1720
Fix version for 4.2.beta1

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8213 bbc10eb1-c90d-0410-af57-cb519fbb1720
CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8215 bbc10eb1-c90d-0410-af57-cb519fbb1720
CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8224 bbc10eb1-c90d-0410-af57-cb519fbb1720
Better error message when trying to use "multi" function on models other than MDPs.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8232 bbc10eb1-c90d-0410-af57-cb519fbb1720
Assume Java 7 not 6 when building binaries now.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8236 bbc10eb1-c90d-0410-af57-cb519fbb1720
Fix Makefile so that it does not mis-show ARCH as 86_64 when building on 32-bit Win.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8238 bbc10eb1-c90d-0410-af57-cb519fbb1720
Make NSIS installer creator use correct "Program Files" depending on 32/64-bit-ness.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8239 bbc10eb1-c90d-0410-af57-cb519fbb1720
Fix oddity in return type of DTMC.getNumTransitions(s) - double not int.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8254 bbc10eb1-c90d-0410-af57-cb519fbb1720
Add Locale.UK to String.format to stop . changing to , in some places (from Jens).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8340 bbc10eb1-c90d-0410-af57-cb519fbb1720
Bug fix: explicit engine dot export threw unnecessary exception.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8341 bbc10eb1-c90d-0410-af57-cb519fbb1720