diff options
| author | jseger <jseger@FreeBSD.org> | 1998-12-13 06:17:48 +0800 |
|---|---|---|
| committer | jseger <jseger@FreeBSD.org> | 1998-12-13 06:17:48 +0800 |
| commit | 6e1b42457b329b230364e5d42a862a5eba441823 (patch) | |
| tree | b588b121ac59da9d750a8b6dc4287f4f310674af /devel/spin/files | |
| parent | 1312b8b317057b0b586fbc86667cad137b3d9e7a (diff) | |
| download | freebsd-ports-gnome-6e1b42457b329b230364e5d42a862a5eba441823.tar.gz freebsd-ports-gnome-6e1b42457b329b230364e5d42a862a5eba441823.tar.zst freebsd-ports-gnome-6e1b42457b329b230364e5d42a862a5eba441823.zip | |
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
Diffstat (limited to 'devel/spin/files')
| -rw-r--r-- | devel/spin/files/patch-aa | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/devel/spin/files/patch-aa b/devel/spin/files/patch-aa new file mode 100644 index 000000000000..430dbe1fd181 --- /dev/null +++ b/devel/spin/files/patch-aa @@ -0,0 +1,8 @@ +--- ../Xspin3.2/xspin323.tcl.orig Wed Dec 17 10:11:57 1997 ++++ ../Xspin3.2/xspin323.tcl Sun Dec 21 13:20:41 1997 +@@ -1,4 +1,4 @@ +-#!/usr/local/bin/wish -f ++#!/usr/local/bin/wish8.0 -f + # Installation Notes (see also the README file): + # 1. On Unix systems: change the 1st above line to point to the wish + # executable you want to use (e.g., wish4.2 or /usr/local/bin/wish8.0) |