s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
2159 Commits
5 Branches
0 Tags
31 MiB
Tree: a783609238
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'a783609238'
${ noResults }
Commit Graph

2159 Commits (a783609238765adf47ef55ae8f0b8d448f933d17)
 

Author SHA1 Message Date
Dave Parker a783609238 Missing file from last commit.
12 years ago
Dave Parker c494df569b Add basic prism.StateVector interface, supported by various types of state vector.
12 years ago
Dave Parker fd55870fc6 Bug fix in previous commit.
12 years ago
Dave Parker 7a4b42efde Add an (as yet unimplemented) option to Prism to store the vector of results during model checking.
12 years ago
Dave Parker f85400152d Re-factoring - push the creation of default filters during model checking into a utility method in ExpressionFilter.
12 years ago
Dave Parker 0c3219e175 Connect export to dot with states option to Prism.
12 years ago
Dave Parker 1d2bb4a49d Add option to show states in dot file exported for explicit models (plus some commenting).
12 years ago
Dave Parker d3a267a2dc Refactor exportToDot methods for explicit model classes - subclasses just need to export their transitions, so it is easier to add more functionality regarding state info.
12 years ago
Dave Parker b7a84cf488 Move ParamModelChecker.closeDown() somewhere more sensible.
12 years ago
Dave Parker 228dd549c3 Add some missing/extra log close()s - from Jens.
12 years ago
Dave Parker 29a26482b9 Bug fix: explicit engine dot export threw unnecessary exception.
12 years ago
Dave Parker 87dd779e30 Add Locale.UK to String.format to stop . changing to , in some places (from Jens).
12 years ago
Dave Parker b970c2740b Fix oddity in return type of DTMC.getNumTransitions(s) - double not int.
12 years ago
Dave Parker 0ed188c06e Make NSIS installer creator use correct "Program Files" depending on 32/64-bit-ness.
12 years ago
Dave Parker 77bfea558f Fix Makefile so that it does not mis-show ARCH as 86_64 when building on 32-bit Win.
12 years ago
Dave Parker 9c0273f878 Assume Java 7 not 6 when building binaries now.
12 years ago
Dave Parker 81d8cad3aa Better error message when trying to use "multi" function on models other than MDPs.
12 years ago
Dave Parker 850ed89353 CHANGELOG.
12 years ago
Dave Parker e124caac03 CHANGELOG.
12 years ago
Dave Parker c546ba5c03 Fix version for 4.2.beta1
12 years ago
Dave Parker 8f7913074d Fix version for 4.2
12 years ago
Dave Parker 9d7faf1da8 Comment clarification.
12 years ago
Dave Parker 945432ed63 Fixed bugs in output of vectors when showing states but no indices.
12 years ago
Dave Parker 17dc2a91b2 NaN values in rewards cause an error (explicit engine only so far).
12 years ago
Dave Parker dfce095d45 Make sure that some PrismFileLogs are close()ed after use - spotted as a bug by Bruno.
12 years ago
Dave Parker 21748bcaa4 Tidy up of export-to-Dot functionality, plus new "dot" option for exporting strategy (explicit engine only, currently).
12 years ago
Dave Parker 7b8b7832a4 Code tidy + new methods in PrismFileLog.
12 years ago
Dave Parker 4d4d288488 Output tweak: extra new line.
12 years ago
Dave Parker 08abf1bffe Bug fix: pre-strategy generation check done before model construction.
12 years ago
Dave Parker e773d28c15 Add buildMCRewardsFromPrismExplicit method (untested).
12 years ago
Frits Dannenberg 16d294eca9 changed output se
12 years ago
Ernst Moritz Hahn e1bfb8637f fix for fau
12 years ago
Vojtech Forejt 9ca61c1f74 changing permissions, to fix cygwin 64bit compilation
12 years ago
Frits Dannenberg 720cde341d small bug fix for extremely large right truncation points from Fox-Glynn in the FAU method
12 years ago
Ernst Moritz Hahn 1397f39709 improved description of FAU in commandline and GUI
12 years ago
Ernst Moritz Hahn b5c09de4c4 fixed stopping criterion for fast adaptive uniformisation when being in array mode
12 years ago
Dave Parker 2ef13b46e5 Small fix in prism2latex.
12 years ago
Dave Parker 4e5f05a203 Remove debug output.
12 years ago
Dave Parker 87d58db935 Bug fix in prism-auto: if directory = . then log file names are not created correctly.
12 years ago
Dave Parker 13cce4f8da Bug fix: new long setting for simulator max path not read properly (shows up in GUI).
12 years ago
Dave Parker 06e4c5fee1 Move normalisation of DTMC probabilities from SimulatorEngine into Updater class.
12 years ago
Dave Parker 99d4873c47 Code tidy.
12 years ago
Dave Parker d128da069b Bug fix: simulator was normalising DTMC bu dividing by number of choices (which was inconsistent with symbolic construction when using -noprobchecks).
12 years ago
Dave Parker 928a44101d Make simulator.Updater objects extract settings more cleanly. And respect doProbChecks option.
12 years ago
Dave Parker 02c26dbf53 Update simulator to allow path lengths over 2^31.
12 years ago
Dave Parker 4a29528714 Bug fix: missing state rewards in mvMultRewMinMaxSingleChoices methods (showed up on mdps/reach/mdp_simple.nm regression test).
12 years ago
Dave Parker 2306ee39ac Bugfix: latest fix to policy iteration broke a previous regression test (rewpoliter.nm) - solved by doing inner solution using lowe level method which takes infinity-states as an argument (in any case, precomputation should not be needed for inner solution).
12 years ago
Dave Parker 8291b5984c Refactoring wrt the way that relational operators are stored for P/R/S operators (String -> RelOp).
12 years ago
Dave Parker 56c484d390 Code re-factoring in NondetModelChecker.
12 years ago
Dave Parker d81ef64ff2 Code refactoring (checking for LTL with time bounds).
12 years ago