Dave Parker
|
2654125531
|
* Check added to catch if the same variable is set twice in the same update
* New class of semantic checks created that are only done after constant definitions
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3231 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
15 years ago |
Dave Parker
|
07098cca94
|
Fix: inter-module var access allowed for digitsal clocks.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2421 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
15 years ago |
Dave Parker
|
e0aa53801e
|
Additional checks on where clock variables can appear in models.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2377 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
15 years ago |
Dave Parker
|
f0826d03e0
|
Bugfix in preproc due to PTA syntax checks.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1925 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
16 years ago |
Dave Parker
|
39150596a4
|
Semantic check for non-local variable access in PTAs.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1893 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
16 years ago |
Dave Parker
|
6054eeb78e
|
Formulas used in properties are left unexpanded for legibility.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1664 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
16 years ago |
Dave Parker
|
0ea0b0918e
|
First full version of new filter code.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1661 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
16 years ago |
Dave Parker
|
d199d035ed
|
Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1406 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
17 years ago |
Dave Parker
|
4b889ef3e2
|
Removed PathExpression classes.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@710 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
5d3d24bc17
|
Merged prism-parser branch (revs 577:659) into trunk.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@660 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |