Dave Parker
|
ce4b0beb1e
|
Undoing last commit.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3079 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
15 years ago |
Dave Parker
|
bcab165234
|
Use gcc-3 etc by default when building on Cygwin.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3078 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
15 years ago |
Dave Parker
|
3a748072c9
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3048 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
15 years ago |
Dave Parker
|
601dd97547
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2933 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
15 years ago |
Dave Parker
|
b92179d182
|
VERSIONS/CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2906 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
15 years ago |
Dave Parker
|
1b56b5524b
|
CHANGELOG/README
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2859 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
15 years ago |
Dave Parker
|
b469b11054
|
README/CHANGELOG
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2336 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
15 years ago |
Dave Parker
|
537813efdc
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2326 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
15 years ago |
Dave Parker
|
a605b2f6bc
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2322 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
15 years ago |
Dave Parker
|
c05a3ddc7d
|
CHANGELOG.txt.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2222 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
15 years ago |
Dave Parker
|
6293a36ddf
|
Notes.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2139 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
15 years ago |
Dave Parker
|
5580c71566
|
Removed extra accidental bits of last commit.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2138 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
15 years ago |
Dave Parker
|
45e45cb7a5
|
Removed des files
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2137 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
15 years ago |
Dave Parker
|
1c8bef7ae8
|
CHANGELOG (update + formatting).
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1706 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
16 years ago |
Dave Parker
|
b5f4b47fd2
|
CHANGELOG and VERSIONS.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1667 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
16 years ago |
Dave Parker
|
31bf1ddbcc
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1666 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
16 years ago |
Dave Parker
|
18a158cf9e
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1665 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
16 years ago |
Dave Parker
|
990fa3bdcc
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1639 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
16 years ago |
Dave Parker
|
a61f91318c
|
CHANGELOG.txt.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1611 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
16 years ago |
Dave Parker
|
7146fc3dc6
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1609 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
16 years ago |
Dave Parker
|
51b0df55e4
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1581 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
16 years ago |
Dave Parker
|
c1df2bf6ff
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1576 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
16 years ago |
Dave Parker
|
eb74f77c14
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1566 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
16 years ago |
Dave Parker
|
969d22dfa9
|
CHANGELOG.txt.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1563 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
16 years ago |
Dave Parker
|
aba1c3bfa1
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1356 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
17 years ago |
Dave Parker
|
c19c132673
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1102 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
17 years ago |
Dave Parker
|
bf28deeddd
|
Pre-3.3-release stuff.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1073 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
17 years ago |
Dave Parker
|
007614b6c5
|
CHANGELOG.txt.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@909 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
17 years ago |
Dave Parker
|
2cc923719e
|
Bug fix: Detection of error when Fox-Glynn value computation overflows.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@902 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
17 years ago |
Dave Parker
|
dd2d517da4
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@805 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
a0176385c7
|
Initial state info for explicit import is now (only) via -importlabels.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@800 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
fa67e3d41e
|
CHANGELOG.txt.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@779 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
3a29937ea4
|
Unix2dos.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@777 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
b350a93484
|
CHANGELOG.txt.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@721 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
99c7710ffd
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@707 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
9df42b659e
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@705 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
b319fa19b9
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@701 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
df49f2b833
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@698 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
9f29144b6d
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@667 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
b64d4dbe00
|
Add svn info to CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@659 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
dfc614d703
|
CHANGELOG/VERSIONS.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@567 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
bfa9ab8bd9
|
CHANGELOG/VERSIONS.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@556 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
768d9cc21f
|
CHANGELOG.txt.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@555 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
04bf7f5da6
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@546 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
51ae93d3f3
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@544 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
1cdb985959
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@543 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
5988391c2e
|
CHANGELOG
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@481 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
0b7bc536f5
|
CHANGELOG
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@478 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
9b1eb4ebc5
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@458 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
828910e441
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@457 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |