Dave Parker
|
6f5d45b888
|
Example fixes re new semantics (result reported for initial state by default) - need more filters.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3036 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
15 years ago |
|
Dave Parker
|
a00471be4b
|
Added txt extension to README files.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2315 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
15 years ago |
|
Gethin Norman
|
2fc0832a04
|
updated rabin files to coorespond with web
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@883 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
17 years ago |
|
Gethin Norman
|
fcd68cef29
|
fixed model files
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@882 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
17 years ago |
|
Gethin Norman
|
40054ea0ed
|
updated rabin spec file
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@880 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
17 years ago |
|
Gethin Norman
|
1bac904aab
|
updated properties file
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@878 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
17 years ago |
|
Gethin Norman
|
6bd499220e
|
update to auto file
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@877 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
17 years ago |
|
Gethin Norman
|
edaccf8c4b
|
update to auto file
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@876 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
17 years ago |
|
Gethin Norman
|
5545eba87d
|
updated rabin example
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@872 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
17 years ago |
|
Gethin Norman
|
a11a6457ac
|
minor fixes
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@842 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
17 years ago |
|
Gethin Norman
|
d1f610e9aa
|
finor fixes
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@841 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
17 years ago |
|
Gethin Norman
|
a7e48c6716
|
updated pctl file
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@840 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
17 years ago |
|
Gethin Norman
|
8b0f913329
|
modified versionof rabin
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@839 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
17 years ago |
|
Dave Parker
|
57c8b13c84
|
Changed auto (commented out parts so run more quickly for testing.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@692 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
|
Dave Parker
|
f9556e6ddc
|
Props: "true U" -> "F".
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@690 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
|
Dave Parker
|
2066da4ada
|
Fixed web addresses in README files.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@540 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
|
Gethin Norman
|
0569ba33b0
|
updated properties in rabin
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@534 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
|
Dave Parker
|
1caa2b52e1
|
Rabin: tidy up.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@456 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
|
Dave Parker
|
162c575ecb
|
Updated URLs in case study READMEs.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@448 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
|
Dave Parker
|
d21e1b2a29
|
Tidy up and addition of .pp files to rabin.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@381 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
19 years ago |
|
Dave Parker
|
462b969156
|
Renaming examples directory to prism-examples.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@37 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
20 years ago |
