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

1513 Commits (0041eb26f602a48e17ac627f9775407e91bd76ab)
 

Author SHA1 Message Date
Dave Parker 0041eb26f6 Update distr build makefile - ignore local examples/test dirs.
14 years ago
Dave Parker 21f8253a82 Bugfix: headless mode
14 years ago
Dave Parker bfbe832a90 Bug fix in launch scripts re notifiers: bash does not always short circuit & it seems and so can print out warning about non-existent notifiers even when NOTIFY=no.
14 years ago
Dave Parker c70cac8ad0 Remove un-needed import (breaks some compilers).
14 years ago
Dave Parker b840d7f3a3 Make sure Prism takes care of clear()ing models.
14 years ago
Dave Parker 3bbbf4be9f Fix (reinstate) exportprism option for digital clocks generated model.
14 years ago
Dave Parker 584d23dabe Tweak PRISM interface - Files not filenames for PRISM exports.
14 years ago
Dave Parker acd8ea491c Code tidy
14 years ago
Dave Parker 7ee82b3b13 Push exportprism and exportprismconst options from PrismCL into Prism.
14 years ago
Dave Parker 8f45a5d491 Some refactoring.
14 years ago
Dave Parker a218d09b2b * Continued major changes to PRISM API
14 years ago
Dave Parker ee833dff89 Test commit
14 years ago
Dave Parker d8bdbdc016 Test commit
14 years ago
Dave Parker 33204e0f64 Bugfix in Module deepCopy().
14 years ago
Dave Parker 33308db4c5 Change PrismCL to start using (some of) new Prism API. Also various tidying/simplifying/commenting.
14 years ago
Dave Parker 772b67c312 Add printBuiltModel{Stats,Info} to Prism API.
14 years ago
Dave Parker d21851ca8e Add clearBuiltModel to Prism API.
14 years ago
Dave Parker 0304847a5d Compile fix for previous commit.
14 years ago
Dave Parker 9cbb2afe2b Change to Prism.java API: it now retains info about the model for later use. In particular, explicit building of the model and then passing the model back in is not required. Model building is done as needed. The old API is also retained (more or less), implemented using the new one. Also, major tidying and commenting in PRISM class.
14 years ago
Dave Parker 53a05282fa Bug fix: PTA model checking using games should complain about not supporting system...endystem.
14 years ago
Dave Parker da0855d97d Bug fix: deepCopy of SystemParallel doesn't copy actions - also means actions get lost in digital clocks translation (bug found by Arnd on BRP PTA).
14 years ago
Dave Parker 5e93bc9a33 Prism class tidying and commenting.
14 years ago
Dave Parker 003505bf61 Slight tidy/re-arrange in Prism.
14 years ago
Dave Parker 6ee93d72ca Slight tidy/re-arrange in PrismExplicit.
14 years ago
Dave Parker e702f606a2 Slight tidy/re-arrange in Prism.
14 years ago
Dave Parker 4c40047b47 Version num
14 years ago
Dave Parker 4f1eff5ea6 CHANGELOG.
14 years ago
Dave Parker 8f08dd6f37 Remove VERSIONS from installers.
14 years ago
Dave Parker d784a87caa Remove VERSIONS.txt - just use CHANGELOG.txt from now on.
14 years ago
Dave Parker 7aed4f4cc0 CHANGELOG.
14 years ago
Dave Parker b61936def6 CHANGELOG.
14 years ago
Dave Parker 4e624deae1 Bug fix in 1D matrix export
14 years ago
Dave Parker 4e09eb136f Added options to -exportresults switch for csv/matrix result export mode, and removed temporary switches -exportresultsmatrix, -exportresultscsv, etc.
14 years ago
Dave Parker 01b9f75f47 Fix in explicit model checker - remove dupe calls in bin-op check.
14 years ago
Dave Parker a3d99e62d0 Add property reference support to PTA ans approx model checking.
14 years ago
Dave Parker 06ecdf6139 Copyright header updates
14 years ago
Dave Parker b870e550e7 Fixes/renames in property reference search code.
14 years ago
Dave Parker be53bceb72 Rename a few visitor classes
14 years ago
Dave Parker fd968a89d1 Check for cyclic dependencies in property references.
14 years ago
Dave Parker ac31984b5a Fix type checking for property references (and some autoformatting - oops).
14 years ago
Dave Parker c7365ce0d9 Bugfix: look for undefined constants recursively in referenced properties.
14 years ago
Dave Parker d583b461c8 Fix: make use of propertiesFile.getPropertyObject method.
14 years ago
Dave Parker 4fc61415fb Display notification of warnings after computations in GUI.
14 years ago
Dave Parker 52b54d55fc CHANGELOG.
14 years ago
Dave Parker 51807e044e Add -pf as a command-line switch alias for -pctl/-csl and add .props as a properties file extension (in GUI).
14 years ago
Dave Parker c8c4913a89 Switch remaining warning messages to new PrismLog.printWarning method.
14 years ago
Dave Parker d8c06edca8 Makefile tweak re tests target (from prism-games).
14 years ago
Dave Parker 18704d0e03 Bug fix in creating reward structures in explicit engine (from Hongyang).
14 years ago
Dave Parker 3bcc43c3a2 CHANGELOG.
14 years ago
Dave Parker b014058c62 CHANGELOG.
14 years ago