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

18 Commits (e25a6a4e0bc5653b746206b780e01037857d9951)

Author SHA1 Message Date
Joachim Klein e25a6a4e0b imported patch min-max-new-min-max-check.patch
8 years ago
Joachim Klein 2c8f5427b5 Expression: add evaluateExact methods
10 years ago
Dave Parker f4bc0ee72c Add equals and hashCode methods to Expression class hierarchy (Eclipse auto-generated).
11 years ago
Dave Parker a9456fa826 Code tidy.
11 years ago
Dave Parker adba5a090c ExpressionQuant: mode -> modifier.
11 years ago
Dave Parker 1945ef1d40 More refactoring of ExpressionQuant and add "mode" field, currently ignored.
11 years ago
Dave Parker 5c8439c0e6 Convert ExpressionQuant from interface to abstract class and push some shared code in ExpressionProb/Reward/SS into it.
11 years ago
Dave Parker 1f27c28465 Re-factoring in multi-objective model checking.
11 years ago
Dave Parker a7a6881638 Refactoring of extraction of info from P/R/S operators (in symbolic engines).
11 years ago
Dave Parker 72c2d1602e Refactoring of extraction of info from P/R/S operators (in explicit engine).
11 years ago
Dave Parker 8291b5984c Refactoring wrt the way that relational operators are stored for P/R/S operators (String -> RelOp).
12 years ago
Dave Parker daedb1e06f Add isProposition methods to Expression classes.
13 years ago
Dave Parker a6627b8c5a Filters, new property semantics and corresponding code tidying.
16 years ago
Dave Parker 0ea0b0918e First full version of new filter code.
17 years ago
Dave Parker d199d035ed Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk.
17 years ago
Dave Parker 6d8a658cce Bugfix in parser (can cause LTL model checking to hang).
17 years ago
Dave Parker 4b889ef3e2 Removed PathExpression classes.
18 years ago
Dave Parker 5d3d24bc17 Merged prism-parser branch (revs 577:659) into trunk.
18 years ago