Dave Parker
|
8a3eb3ac6f
|
Minor compilation fixes (Kostas Oikonomou) (Solaris?).
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@581 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
2179deefdb
|
Updated email addresses and affiliations in copyright info.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@547 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
7446459574
|
More fixes for fussy compilers: return types in simulator cc code.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@484 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
5c1bb43a2f
|
Code tidy (function return types).
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@452 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
d636ab1969
|
Addition of 64-bit PRISM branch to trunk.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@262 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
19 years ago |
Dave Parker
|
5ef3824832
|
Rearrangement and tidy-up of copyright/license info in file headers.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@253 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
19 years ago |
Mark Kattenbelt
|
b587c24490
|
Added time-bounded backtracking. Does not work well when backtracking should be to the first state.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@207 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
19 years ago |
Mark Kattenbelt
|
513081bb5f
|
Added time-bound exploration option to the simulator. Needs make clean!
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@205 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
19 years ago |
Mark Kattenbelt
|
4b79591e88
|
Underlying code for cumulative time in simulator. Not used and not tested. Bound to break something.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@186 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
19 years ago |
Mark Kattenbelt
|
c08cb36e70
|
Added `cumulative reward' information to the simulator engine (the c++ part), untested and not used... yet.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@175 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
19 years ago |
Dave Parker
|
1b4036bc16
|
Major overhaul of rewards to allow multiple (named) reward structures.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@59 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
20 years ago |
Dave Parker
|
b54050a199
|
PRISM trunk layout rearrangement.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
20 years ago |
Dave Parker
|
30e24567d5
|
Setting trunk version of PRISM to 2.1.dev11.sim8.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
20 years ago |