| Port details |
- spin An on-the-fly verification system for asynchronous concurrent systems
- 3.4.16 math
 =1      3.4.16Version of this port present on the latest quarterly branch. - Maintainer: jhanna@shaw.ca
- Port Added: unknown
- Last Update: 2002-06-11 19:31:07
- SVN Revision: UNKNOWN
- People watching this port, also watch:: python-doc-html, mscompress, pdflib
- License: not specified in port
- Description:
- 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.
Spin uses a high level language to specify systems descriptions,
called PROMELA (PROcess MEta LAnguage).
cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- No installation instructions:
- This port has been deleted.
- PKGNAME:
- Flavors: there is no flavor information for this port.
- distinfo:
- There is no distinfo for this port.
No package information for this port in our database- Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:
- This port has no dependencies.
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- N/A
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 16
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
3.4.16
11 Jun 2002 19:31:07
  |
sada |
Category move: math/spin to devel
PR: ports/10396
Submitted by: Daniel C. Sobral <dcs@newsguy.com>
Approved by: maintainer |
3.4.16
08 Jun 2002 13:21:48
|
petef |
- update to 3.4.16
- update maintainer's email address
PR: 39020
Submitted by: Jonathan Hanna <jhanna@shaw.ca> |
3.4.14
17 May 2002 20:30:30
|
sada |
Upgrade to version 3.4.14 .
PR: ports/36862
Submitted by: maintainer |
17 Feb 2002 02:48:34
    |
pat |
Update to 3.4.13 |
19 Oct 2001 16:48:41
|
dwcjr |
Really update to 3.4.9 this time Bump PORTREVISON to make sure no problems
with previous error |
19 Oct 2001 06:30:27
|
dwcjr |
Update to 3.4.9 |
23 Sep 2001 20:50:43
|
dwcjr |
Remove ftp.freesoftware.com from MASTER_SITES of ports since it no longer
exists. |
16 Jul 2001 14:22:50
|
dannyboy |
Update to 3.4.8. |
27 May 2001 14:03:45
|
jeh |
update to 3.4.7 |
29 Mar 2001 20:08:46
|
mharo |
update to 3.4.5 |
12 Feb 2001 12:58:01
|
kevlo |
Update to version 3.4.4 |
10 Dec 2000 15:38:09
|
roam |
Update to 3.4.2 |
08 Oct 2000 04:10:26
|
asami |
Convert category math to new layout. |
16 Sep 2000 21:18:20
|
ade |
Update to 3.4.1 |
23 Jun 2000 14:44:04
|
sobomax |
- Support LOCALBASE properly (in setting path to custom wish script) |
29 May 2000 04:09:14
|
steve |
Update to version 3.3.10. |
Number of commits found: 16
|
As an Amazon Associate I earn from qualifying purchases.