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

1150 Commits (1935ae489f1cb606f93e5c129fa64505cd852bb2)

Author SHA1 Message Date
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 8f08dd6f37 Remove VERSIONS from installers.
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 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 18704d0e03 Bug fix in creating reward structures in explicit engine (from Hongyang).
14 years ago
Dave Parker ce6e0d8c0d Disable start-up warning messages about unknown options in .prism file.
14 years ago
Dave Parker 97164d019b Small bug fix (for something that wasn't really broken, but pointed out on forum).
14 years ago
Dave Parker d68813b865 Added -exportresultscsv and -exportresultsmatrixcsv to command-line
14 years ago
Dave Parker d7e06f569e Improvements/fixes to export of results in matrix form:
14 years ago
Dave Parker 8d1cd55711 Fixes/improvement/consistency for results export.
14 years ago
Dave Parker c7d1af5f85 More fixes for bugs introduced in recent "improvements" to constant handling API:
14 years ago
Vojtech Forejt e3f6e64e7a package-info.java is ignored in makefiles
14 years ago
Dave Parker 5533d55183 Consistency in output msgs (explicit MDP engine).
14 years ago
Dave Parker a869bbeec0 Gauss-Seidel val iter for cumulative rewards in explicit engine.
14 years ago
Dave Parker 720d47eb7d Added method get_real_time to get real system time, via Java, from C.
14 years ago
Dave Parker 54520981b9 Autoformat
14 years ago
Dave Parker 148f2b814e Fix in numerical value comparison for -test checks.
14 years ago
Dave Parker 086bb3243d RESULT label for test properties can be NaN.
14 years ago
Dave Parker ab9fa27411 Automatically switch to another engine if numerical computation not supported.
14 years ago
Dave Parker 5c5ec652b1 Numerical computation routines display engine used.
14 years ago
Dave Parker 3e4c617a81 Move most native code options from engine shared libraries to prism library.
14 years ago
Dave Parker 2451c25702 Un-needed import.
14 years ago
Dave Parker 6348b2de9f Auto-format (for diff).
14 years ago
Dave Parker 38b74d1102 Fix: remove unneeded command.
14 years ago
Dave Parker 4e0aaabeba New intermediate class to store DRAs, small efficiency improvements in LTL due to hard-coded DRAs + easier decoupling of GPLed LTL-to-DRA libraries, if needed.
14 years ago
Dave Parker cf44bfead1 Add missing arg in xprism.bat (reported problems on Win 64).
14 years ago
Dave Parker ab6d2bbbef Remove use of -lm linking under Cygwin.
14 years ago
Vojtech Forejt f64583167c Fixing exit codes (a bug introduced by notification)
14 years ago
Dave Parker 854cd58edd Typo in error message (old debugging info).
14 years ago
Dave Parker 95d7e89a57 Bugfix: previous "improvement" to API wrt undefined constants broke some models, e.g. when trying to evaluate pow/floor etc. with wrong number of arguments.
14 years ago