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

1439 Commits (ab6d2bbbef025f9a70689290b5ac1e0ba5e6669f)
 

Author SHA1 Message Date
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
Dave Parker 7fda209763 Undo revision 4243 - alternative fix coming up
14 years ago
Dave Parker cae17b1526 CHANGELOG.
14 years ago
Vojtech Forejt b1ea8c04d4 Fixed handling of the case when functions like pow, floor, etc. are given incorrect number of arguments.
14 years ago
Vojtech Forejt 5ab2ac9262 a very simple notification using growl in Mac and notify-send in Linux
14 years ago
Dave Parker c5f3538dd0 The -prop switch now accepts property names as well as indices
14 years ago
Dave Parker 673c60d8c7 Better error handling for SBML import (missing/buggy initialAmount).
14 years ago
Dave Parker a4cf4ac164 CHANGELOG.
14 years ago
Dave Parker fd85a16363 Move GUI warning counter reset so it catches model build warnings too.
14 years ago
Dave Parker a221c4db56 Padding in property details dialog.
14 years ago
Dave Parker 6eb375c441 Added printSeparator method to PrismLog.
14 years ago
Dave Parker 522d00aa3c Tweak warning note in PrismCL.
14 years ago
Dave Parker 8fb5b3fac7 Fix inequalities in PrismLog verbosity.
14 years ago
Dave Parker f344411a3c Fixes in C-code warning message functions.
14 years ago
Dave Parker 1c86a3afa8 Small tidies and warning fixes.
14 years ago
Dave Parker 90c9e53f8c Tweak some warning messages (wrt new log.printWarning method) + add warning message functionality in GUI threads.
14 years ago
Dave Parker 254c9b2b89 CHANGELOG.
14 years ago
Dave Parker 1f4461da64 Ctrl -> Cmd in GUI on Macs.
14 years ago
Dave Parker 0ae0b36ebe Bug fix: stop a floating point exception (if enabled) (found by Christian von Essen).
14 years ago
Dave Parker 9c903c6b49 Bugfix in explicit embedded DTMC code - number of states needed sometimes, but is not set up.
14 years ago
Dave Parker e0305643a7 Add (commented out) code for backwards Gauss-Seidel on DTMCs.
14 years ago
Dave Parker e13f09f0ca Explicit model checkers should throw an exception when iterative numerical methods do not converge within maxIters.
14 years ago
Dave Parker 23bee5f9b9 Support for CSV file result export from GUI.
14 years ago
Dave Parker 6c4b540f1b CHANGELOG
14 years ago
Dave Parker fc9bdb53fd CHANGELOG
14 years ago
Dave Parker 8ba7caed26 Added export results to matrix functionality (-exportresultsmatrix from CL, experiment popup menu from GUI).
14 years ago
Dave Parker 553e564510 Tidy ResultsCollection class and add toStringMatrix method.
14 years ago
Dave Parker 61a161b0ec Do not add loaded path properties to simulator (caused const evaluation bug found by Mateusz in PMC practical) and is not finished yet anyway.
14 years ago
Dave Parker 50fde990f6 Changed some "true U" to "F".
14 years ago
Vojtech Forejt b1e27b40c5 added a missing class for handling named properties in the gui
14 years ago
Vojtech Forejt 786849d523 First version of support for named properties in GUI.
14 years ago
Vojtech Forejt 298b4b914e The named formulae are prepended by their names when they are output before the actual model-checking phase
14 years ago
Dave Parker ff893c6cdc CHANGELOG.
14 years ago
Vojtech Forejt 561bcf9c6d Added switches -noprob0 and -noprob1 to the bash completion script
14 years ago
Dave Parker 83acce9758 Extract MDP GS setting from -gs (to stop DTMC GS setting getting overridden in explicit engine).
14 years ago
Dave Parker 4a1163a86d Added ability to disable precomputation algs independently (switches -noprob0 and -noprob1).
14 years ago
Dave Parker 5dab19e7dc Add check for trying val iter from above for max probs - does not work.
14 years ago
Vojtech Forejt 879eac6d76 bash completion for property names
14 years ago
Vojtech Forejt 16215e79b0 syntax highlighting for Vim
14 years ago
Dave Parker f749ab8f24 Prism exits with code 1 if failed due to existence of deadlocks.
14 years ago
Dave Parker a066e5db8e Bugfix in handling of init/deadlock labels during constant processing - e.g. P=?[F "deadlock"&x=i] failed if i was a constant.
14 years ago
Dave Parker 94cc80b19e Missing committed file from earlier JDD-debug functionality.
14 years ago
Dave Parker 7173ca6244 CHANGELOG.
14 years ago
Vojtech Forejt 496ae010fc fixed a bug in bash completion (syntax error if last word contained a space)
14 years ago
Vojtech Forejt dc6037d047 PrintWarningToMainLog method that gives access to Java printWarning method.
14 years ago
Vojtech Forejt 1e49dd0197 Verification/simulation in GUI now shows number of warnings in the result window (if it's nonzero)
14 years ago
Vojtech Forejt acd646d02c * PrismLog now has a "printWarning" method that can be used to print warnings.
14 years ago