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

68 Commits (ef913a09b4ed1cc8facb77e6519a803b75e4deaf)

Author SHA1 Message Date
Dave Parker 9ecd00a549 Added CTL operators to the parser.
17 years ago
Dave Parker 2e4014c005 Added error checking for var ranges that are too big.
18 years ago
Dave Parker a8fa1ae9f6 Catching of invalid (too big) ints at parse time.
18 years ago
Dave Parker 141e3f8b4f Bugfix: type errors in toSimulator.
18 years ago
Dave Parker 2ed9990cad HTML warnings in prism2html output.
18 years ago
Dave Parker daba4983ab Bug fix: action label checking in simulator.
18 years ago
Dave Parker 52bddb824e New and improved version of MDP LTL model checking.
18 years ago
Dave Parker 9d59912d3b Working (but untidied) version of MDP LTL model checking.
18 years ago
Dave Parker e95ca0858b Comment typo.
18 years ago
Dave Parker d2981f9b27 Tweaks to expression types (and last commit).
18 years ago
Dave Parker 4afcadb8b6 Error in LTL type checking.
18 years ago
Dave Parker 3d4a694614 Error in LTL type checking.
18 years ago
Dave Parker 31336f44db Bug fix: deepCopy() in ExpressionTemporal.
18 years ago
Dave Parker 9254bd041d Added model checking of negated temporal operators (not simulator).
18 years ago
Dave Parker 91a7d8455f Added fallback type computation to getType().
18 years ago
Dave Parker 3c5f18511d Type checking for temporal operators.
18 years ago
Dave Parker bd34666560 Integration of path properties into expression hierarchy in parser.
18 years ago
Dave Parker 39085ddc40 Slightly improved version of just-improved parsing of bounded temporal operators.
18 years ago
Dave Parker f8de8dbda3 New and improved version of dodgy parsing of bounded temporal operators.
18 years ago
Dave Parker 4b889ef3e2 Removed PathExpression classes.
18 years ago
Dave Parker e572ad0b2d Added weak until (W) and release (R) to properties language.
18 years ago
Dave Parker ff44e3a64d Bug fix (constants in simulator).
18 years ago
Dave Parker 57da2ecd16 Updated copyright info etc.
18 years ago
Dave Parker 3a718795f8 Small improvements to model checking output.
18 years ago
Dave Parker 2ba554804a Parser fix (system defn parallel comp grammar).
18 years ago
Dave Parker 9e877df567 Better error handling for missing quotes on labl defs.
18 years ago
Dave Parker 81a951c643 Bug fix (for loops) in parser.
18 years ago
Dave Parker 57e49593ff Parser bug.
18 years ago
Dave Parker bdb7b8be60 Enabled steady-state properties for DTMCs.
18 years ago
Dave Parker 6af512e916 Small fix in parsing of time-bounded untils.
18 years ago
Dave Parker fbb41af068 Filter toString() typo.
18 years ago
Dave Parker 84bc3d3d47 Eclipse tidy (remove unused imports).
18 years ago
Dave Parker 5d3d24bc17 Merged prism-parser branch (revs 577:659) into trunk.
18 years ago
Dave Parker 1518fbdbae Slight tweaks to PrismParser main method.
18 years ago
Dave Parker 738b806fd2 Added (in full) log function to PRISM language.
18 years ago
Dave Parker 7e348b6052 Redefining built-in labels is an error.
18 years ago
Dave Parker e715cf3c8b Updated more email addresses, affiliations, etc.
18 years ago
Dave Parker 2179deefdb Updated email addresses and affiliations in copyright info.
18 years ago
Dave Parker 1a366fc0a9 Improvements to PRISM-to-Latex code.
18 years ago
Dave Parker b06fc67a27 Better handling of double quotes in PRISM-latex converter.
18 years ago
Dave Parker 27e20077be Improvements to PRISM-latex export.
18 years ago
Dave Parker ef9ac49519 Syntax highlighter handles preprocessor code.
18 years ago
Dave Parker a37a947fc5 Properties files can use model file formulas. Model files can contain labels.
18 years ago
Dave Parker 0f0236190e Added parser utility method to test if a string is a PRISM language keyword.
19 years ago
Mark Kattenbelt 2f9e7143d0 Moved fix that printed semicolon behind global declaration to modulesfile, where it belongs
19 years ago
Dave Parker eacd8b3bd8 Added log function to PRISM language (but not actually supported yet, except in constant evaluations).
19 years ago
Dave Parker 3dac129c9b Added cumulative reward model checking for DTMCs (all 3 engines).
19 years ago
Mark Kattenbelt 3b4cebd783 Semicolon behind Declaration in toString()
19 years ago
Mark Kattenbelt 1c0f0feeab Fixed bug where formula is not terminated by semicolon
19 years ago
Dave Parker d636ab1969 Addition of 64-bit PRISM branch to trunk.
19 years ago