James E. Housley
ee0f012fb0
update to 3.4.7
...
PR: 27541
Submitted by: jhanna@home.com
2001-05-27 13:03:44 +00:00
Peter Pentchev
4c30955d29
Update to 3.4.2
...
PR: 23408
Submitted by: maintainer
2000-12-10 15:38:08 +00:00
Ade Lovett
b630d590c1
Update to 3.4.1
...
PR: 21181
Submitted by: maintainer
2000-09-16 20:18:20 +00:00
Steve Price
e56e18e098
Update to version 3.3.10.
...
PR: 18549
Submitted by: maintainer
2000-05-29 03:09:13 +00:00
Chris D. Faulhaber
203c546fe7
* Update port to 3.3.8
...
* Fix unfetchable distfiles
PR: 16321
Submitted by: Maintainer
2000-01-26 02:06:39 +00:00
Chris D. Faulhaber
4b353c2a01
Update port to 3.3.7
...
PR: 15617
Submitted by: Maintainer
1999-12-24 03:48:12 +00:00
Chris Piazza
b8a18d6b5c
xspin333.tcl should be in the PLIST, not 300
...
PR: 13620
Submitted by: Jonathan Hanna <pangolin@home.com>
1999-09-08 22:44:43 +00:00
Chris Piazza
df0bac14de
Update spin to 3.30.
...
PR: 12373
Submitted by: maintainer
1999-06-25 03:51:43 +00:00
Satoshi Asami
f27ea50304
Upgrade to 3.24, fixes build problem.
...
PR: 9732
Submitted by: maintainer
1999-02-12 02:48:58 +00:00
Justin M. Seger
2052cf95c1
Import of math spin:
...
Spin is an efficient on-the-fly verification system
(a `model checker') for asynchronous concurrent systems,
such as data communication protocols, distributed operating
systems, database systems, etc.
It can be used to prove both safety and liveness properties,
including all correctness requirements expressible in linear
time temporal logic.
PR: ports/9058
Submitted by: pangolin@home.com
1998-12-12 22:17:48 +00:00
