mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-10-31 21:57:12 +00:00
Code Issues Releases Activity
23,430 Commits 45 Branches 99 Tags 3.2 GiB
174b80c32e
Commit Graph

5 Commits

Author SHA1 Message Date
Seiichirou Hiraoka
5fa89c3570 Update to 3.3.5 and fixes unfetchable distfile 
PR: ports/14252
Submitted by: jh@cr1003333-a.crdva1.bc.home.com
 1999-10-11 16:24:41 +00:00
Satoshi Taoka
f3f0604e7d Updated to version 3.33 
PR:		13015
Submitted:	maintainer
 1999-08-12 00:31:50 +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