You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Dave Parker
52e3d712e7
Added -exportadvmdp switch.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2154 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
16 years ago |
| .. |
|
Makefile
|
Improved Java detetction in Makefile, including case where directory has a space, e.g. "Progam Files".
|
20 years ago |
|
PS_ExportMDP.cc
|
Possible bug fix (memory freeing).
|
16 years ago |
|
PS_ExportMatrix.cc
|
New option to export model to dot file with embedded state info (-exporttransdotstates).
|
17 years ago |
|
PS_ExportSubMDP.cc
|
Improvements to memory handling, especially in sparse/hybrid engines:
|
18 years ago |
|
PS_JOR.cc
|
Cody tidy to remove some (C++) compiler errors.
|
17 years ago |
|
PS_NondetBoundedUntil.cc
|
Improvements to memory handling, especially in sparse/hybrid engines:
|
18 years ago |
|
PS_NondetInstReward.cc
|
Cody tidy to remove some (C++) compiler errors.
|
17 years ago |
|
PS_NondetReachReward.cc
|
Added -exportadvmdp switch.
|
16 years ago |
|
PS_NondetUntil.cc
|
Added -exportadvmdp switch.
|
16 years ago |
|
PS_Power.cc
|
Cody tidy to remove some (C++) compiler errors.
|
17 years ago |
|
PS_ProbBoundedUntil.cc
|
Cody tidy to remove some (C++) compiler errors.
|
17 years ago |
|
PS_ProbCumulReward.cc
|
Cody tidy to remove some (C++) compiler errors.
|
17 years ago |
|
PS_ProbInstReward.cc
|
Improvements to memory handling, especially in sparse/hybrid engines:
|
18 years ago |
|
PS_ProbReachReward.cc
|
Improvements to memory handling, especially in sparse/hybrid engines:
|
18 years ago |
|
PS_ProbTransient.cc
|
Import initial distributiion option for DTMCs too.
|
17 years ago |
|
PS_ProbUntil.cc
|
Improvements to memory handling, especially in sparse/hybrid engines:
|
18 years ago |
|
PS_SOR.cc
|
Cody tidy to remove some (C++) compiler errors.
|
17 years ago |
|
PS_StochBoundedUntil.cc
|
- changed %d to %ld where fox_glynn output is logged
|
16 years ago |
|
PS_StochCumulReward.cc
|
%d to %ld (remaining files)
|
16 years ago |
|
PS_StochSteadyState.cc
|
Improvements to memory handling, especially in sparse/hybrid engines:
|
18 years ago |
|
PS_StochTransient.cc
|
%d to %ld (remaining files)
|
16 years ago |
|
PrismSparse.cc
|
Improvements to memory handling, especially in sparse/hybrid engines:
|
18 years ago |
|
PrismSparse.java
|
Updated (sparse engine) adversary generation for reachability rewards to use new switches, actions, etc.
|
16 years ago |
|
sparse.cc
|
Bugfix: action info storage for MDPs.
|
16 years ago |
