| .. |
|
ASTElement.java
|
Add property reference support to PTA ans approx model checking.
|
14 years ago |
|
Command.java
|
Further work on simulator.
|
16 years ago |
|
ConstantList.java
|
New isDefinedConstant methods (+ code tidy).
|
15 years ago |
|
Declaration.java
|
Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk.
|
17 years ago |
|
DeclarationArray.java
|
Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk.
|
17 years ago |
|
DeclarationBool.java
|
Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk.
|
17 years ago |
|
DeclarationClock.java
|
Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk.
|
17 years ago |
|
DeclarationInt.java
|
Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk.
|
17 years ago |
|
DeclarationType.java
|
Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk.
|
17 years ago |
|
Expression.java
|
Added new expression evaluation methods (needed for explicit model checker). Unfortunately breaks some existing calls to evaluate(constVals, null) due to ambiguities. Need to replace them with evaluate(constVals).
|
15 years ago |
|
ExpressionBinaryOp.java
|
Added iff (<=>) to PRISM model/properties language.
|
15 years ago |
|
ExpressionConstant.java
|
Filters, new property semantics and corresponding code tidying.
|
16 years ago |
|
ExpressionExists.java
|
Filters, new property semantics and corresponding code tidying.
|
16 years ago |
|
ExpressionFilter.java
|
Added new printall filter.
|
14 years ago |
|
ExpressionForAll.java
|
Filters, new property semantics and corresponding code tidying.
|
16 years ago |
|
ExpressionFormula.java
|
Filters, new property semantics and corresponding code tidying.
|
16 years ago |
|
ExpressionFunc.java
|
Patch in current version of multi-objective model checking (from prism-multi branch). Still need to copy across etc/ directory containing lpsolve libraries. Also contains a few JDD fixes via Christian von Essen.
|
14 years ago |
|
ExpressionITE.java
|
Filters, new property semantics and corresponding code tidying.
|
16 years ago |
|
ExpressionIdent.java
|
Filters, new property semantics and corresponding code tidying.
|
16 years ago |
|
ExpressionLabel.java
|
Filters, new property semantics and corresponding code tidying.
|
16 years ago |
|
ExpressionLiteral.java
|
Filters, new property semantics and corresponding code tidying.
|
16 years ago |
|
ExpressionProb.java
|
Filters, new property semantics and corresponding code tidying.
|
16 years ago |
|
ExpressionProp.java
|
Fix type checking for property references (and some autoformatting - oops).
|
14 years ago |
|
ExpressionReward.java
|
Filters, new property semantics and corresponding code tidying.
|
16 years ago |
|
ExpressionSS.java
|
Filters, new property semantics and corresponding code tidying.
|
16 years ago |
|
ExpressionTemporal.java
|
Time-bounded properties with equal lower/upper bounds, e.g. P=?[ F[T,T] target ], can be specified as P=?[ F=T target ], for convenience.
|
14 years ago |
|
ExpressionUnaryOp.java
|
Filters, new property semantics and corresponding code tidying.
|
16 years ago |
|
ExpressionVar.java
|
Filters, new property semantics and corresponding code tidying.
|
16 years ago |
|
Filter.java
|
Final (pre-4.0) fixes to filters: added "state" filter, which gives result for a filter which must satisfy exactly one state, and make this the translation for old-style {state} filter.
|
15 years ago |
|
ForLoop.java
|
Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk.
|
17 years ago |
|
FormulaList.java
|
Merged prism-parser branch (revs 577:659) into trunk.
|
18 years ago |
|
LabelList.java
|
Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk.
|
17 years ago |
|
Module.java
|
Bugfix in Module deepCopy().
|
14 years ago |
|
ModulesFile.java
|
Rename a few visitor classes
|
14 years ago |
|
PropertiesFile.java
|
Rename a few visitor classes
|
14 years ago |
|
Property.java
|
Compiler warning.
|
14 years ago |
|
RenamedModule.java
|
More improvements to module renaming error reporting.
|
18 years ago |
|
RewardStruct.java
|
Bug fix in reward struct print out - breaks digital clocks output with un-named rewards structs.
|
14 years ago |
|
RewardStructItem.java
|
Further work on simulator.
|
16 years ago |
|
SystemBrackets.java
|
Merged prism-parser branch (revs 577:659) into trunk.
|
18 years ago |
|
SystemDefn.java
|
Merged prism-parser branch (revs 577:659) into trunk.
|
18 years ago |
|
SystemFullParallel.java
|
Merged prism-parser branch (revs 577:659) into trunk.
|
18 years ago |
|
SystemHide.java
|
Merged prism-parser branch (revs 577:659) into trunk.
|
18 years ago |
|
SystemInterleaved.java
|
Merged prism-parser branch (revs 577:659) into trunk.
|
18 years ago |
|
SystemModule.java
|
Merged prism-parser branch (revs 577:659) into trunk.
|
18 years ago |
|
SystemParallel.java
|
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 |
|
SystemRename.java
|
Merged prism-parser branch (revs 577:659) into trunk.
|
18 years ago |
|
Update.java
|
Javadoc fixes.
|
16 years ago |
|
Updates.java
|
Updates to simulator: engine + GUI.
|
16 years ago |
|
package-info.java
|
Improved documentation (JavaDoc mostly).
|
15 years ago |
Dave Parker