prism-accumulation

History

Joachim Klein c6fa9d2d43 PM_ExportVector.cc: Fix export_string format string to get correct output for state rewards export (issue #16 ) Fixes https://github.com/prismmodelchecker/prism/issues/16. In SVN commit 12019 (`1d8f9fc6b9`), we converted the ODD indizes from long to int64_t to get the same size in 32/64bit on Linux / OS X and Windows. With this change, the format string used here became incorrect and, on 32bit Linux, the second "%.0f" printing takes its value from part of the first argument instead of from the double returned by DD_GetNumMinterms. Now, we use the PRId64 macro to get the correct format string parameter. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12177 bbc10eb1-c90d-0410-af57-cb519fbb1720		9 years ago
..
dtds	PM_ExportVector.cc: Fix export_string format string to get correct output for state rewards export (issue #16)	9 years ago
etc	prism-auto: add --verbose-test (prints PRISM output but highlights test results and provides statistics like --test)	9 years ago
ext	[lpsolve] fix compilation issue in relation to isnan [with Sascha Wunderlich, David Müller]	10 years ago
images	PM_ExportVector.cc: Fix export_string format string to get correct output for state rewards export (issue #16)	9 years ago
include	PM_ExportVector.cc: Fix export_string format string to get correct output for state rewards export (issue #16)	9 years ago
lib	Add Nailgun jar, missing from last commit.	10 years ago
src	PM_ExportVector.cc: Fix export_string format string to get correct output for state rewards export (issue #16)	9 years ago
.classpath	First version of Nailgun support built directly into PRISM. Adding switch -ng when running prism will instead start a Nailgun server ready to run PRISM instances, and running ngprism runs PRISM as a Nailgun client.	10 years ago
CHANGELOG.txt	CHANGELOG.	9 years ago
COPYING.txt	PRISM trunk layout rearrangement.	20 years ago
Makefile	Win64 cleanup, Makefile: remove -fpermissive flag	9 years ago
README.txt	README update (contributors).	11 years ago
install.sh	First version of Nailgun support built directly into PRISM. Adding switch -ng when running prism will instead start a Nailgun server ready to run PRISM instances, and running ngprism runs PRISM as a Nailgun client.	10 years ago

README.txt

======

README

======



This is PRISM (Probabilistic Symbolic Model Checker).



------------

INSTALLATION

------------



For detailed installation instructions, check the online manual at:



  http://www.prismmodelchecker.org/manual/InstallingPRISM/Instructions

  

or see the local copies included in this distribution:



  doc/manual/InstallingPRISM/Instructions.html

  doc/manual.pdf



Very abbreviated instructions for installing/running PRISM are as follows:



For Windows binary distributions:



 - to install, run prism-XXX-win-installer.exe

 - to run, use Desktop/Start menu shortcuts or double-click bin\xprism.bat



For other binary distributions:



 - to install, enter the PRISM directory, type "./install.sh"

 - to run, execute bin/xprism or bin/prism



For source code distributions:



 - enter the PRISM directory and type "make"

 - to run, execute bin/xprism or bin/prism



If you have problems check the manual, especially the section "Common Problems And Questions".



-------------