FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

Please give me your LTO-4 or better tape library and I'll put it to good use.
Port details
spin On-the-fly verification system for asynchronous concurrent systems
6.4.3 devel on this many watch lists=3 search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: antont@inbox.lv search for ports maintained by this maintainer
Port Added: 11 Jun 2002 19:34:50
License: not specified in port
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).
WWW: http://spinroot.com
SVNWeb : Homepage : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Library dependencies:
  1. libtk86.so : x11-toolkits/tk86
There are no ports dependent upon this port

To install the port: cd /usr/ports/devel/spin/ && make install clean
To add the package: pkg install devel/spin


Configuration Options
===> The following configuration options are available for spin-6.4.3:
     DOCS=on: Build and/or install documentation
     ISPIN=on: Install xspin and TCL/Tk dependency
===> Use 'make config' to modify these settings

USES:
shebangfix tk

Master Sites:
  1. http://distcache.FreeBSD.org/ports-distfiles/spin/
  2. http://spinroot.com/spin/Src/

Number of commits found: 39

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
19 Dec 2014 20:25:12
Original commit files touched by this commit  6.4.3
Revision:374974
pawel search for other commits by this committer
Update to version 6.4.3

PR:		196071
Submitted by:	maintainer
15 Dec 2014 21:45:00
Original commit files touched by this commit  6.4.2
Revision:374766
pawel search for other commits by this committer
Fix build on FreeBSD 8.x and 9.x

PR:		195687
Submitted by:	maintainer
15 Nov 2014 09:25:58
Original commit files touched by this commit  6.4.2
Revision:372586
riggs search for other commits by this committer
Update to upstream version 6.4.2
Maintainer change from ports@ to Anton Tornqvist (antont@inbox.lv)

PR:		194704
Submitted by:	antont@inbox.lv (new maintainer)
27 Oct 2014 11:07:20
Original commit files touched by this commit  6.3.2
Revision:371552
bapt search for other commits by this committer
Cleanup plist
06 Aug 2014 15:24:38
Original commit files touched by this commit  6.3.2
Revision:364193
vanilla search for other commits by this committer
1: Upgrade to 6.3.2.
2: Stagify.
04 Jul 2014 12:06:07
Original commit files touched by this commit  5.2.2
Revision:360604
bapt search for other commits by this committer
Resetting maintainership on ports that have not been staged and without any
pending PR (related to stage)

With hat:	portmgr
10 Jun 2014 07:39:02
Original commit files touched by this commit  5.2.2
Revision:357277
olgeni search for other commits by this committer
Remove indefinite articles and trailing periods from COMMENT, plus
minor COMMENT typos and surrounding whitespace fixes. Categories D-F.

CR:		D196
Approved by:	portmgr (bapt)
20 Sep 2013 17:17:45
Original commit files touched by this commit  5.2.2
Revision:327726
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 4)
11 May 2013 13:49:06
Original commit files touched by this commit  5.2.2
Revision:317876
bapt search for other commits by this committer
Convert to new options framework
03 Jul 2011 14:59:23
Original commit files touched by this commit  5.2.2
ohauer search for other commits by this committer
-remove MD5
30 Oct 2009 00:55:27
Original commit files touched by this commit  5.2.2
amdmi3 search for other commits by this committer
- Update to 5.2.2
- While here, mark MAKE_JOBS_UNSAFE (fails with forced jobs)

PR:             139846
Submitted by:   Alexander Best <alexbestms@math.uni-muenster.de>
Approved by:    Jonathan Hanna <jhanna@shaw.ca> (maintainer)
07 Jan 2009 12:50:20
Original commit files touched by this commit  5.1.7
wxs search for other commits by this committer
- Update to 5.1.7

PR:             ports/130243
Submitted by:   Jonathan Hanna <jhanna@shaw.ca> (maintainer)
22 Jul 2008 06:51:30
Original commit files touched by this commit  5.1.6
rafan search for other commits by this committer
- Update to 5.1.6

PR:             ports/125851
Submitted by:   Jonathan Hanna <jhanna at shaw.ca> (maintainer)
07 Mar 2008 13:38:11
Original commit files touched by this commit  5.1.4
miwi search for other commits by this committer
- Update to 5.1.4

PR:             121442
Submitted by:   Jonathan Hanna <jhanna@shaw.ca> (maintainer)
23 Oct 2007 01:32:00
Original commit files touched by this commit  4.3.0
rafan search for other commits by this committer
- Update to 4.3.0

PR:             ports/117394
Submitted by:   Jonathan Hanna <jhanna at shaw.ca> (maintainer)
19 May 2007 20:32:57
Original commit files touched by this commit  4.2.7_1
flz search for other commits by this committer
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
14 Nov 2006 13:48:03
Original commit files touched by this commit  4.2.7
ehaupt search for other commits by this committer
Update to 4.2.7

PR:             105501
Submitted by:   Jonathan Hanna <jhanna@pangolin-systems.com> (maintainer)
07 Oct 2006 11:24:47
Original commit files touched by this commit  4.2.6_1
pav search for other commits by this committer
- Fix xspin runtime: sed the correct wish executable into the script

PR:             ports/102738 (adapted)
Submitted by:   <mitsuru@riken.jp>
Approved by:    Jonathan Hanna <jhanna@shaw.ca> (maintainer)
04 May 2006 21:41:12
Original commit files touched by this commit  4.2.6
edwin search for other commits by this committer
Remove USE_REINPLACE from all categories starting with D
27 Nov 2005 20:46:46
Original commit files touched by this commit  4.2.6
mnag search for other commits by this committer
Update to 4.2.6
Add SHA256

PR:             89621
Submitted by:   Jonathan Hanna <jhanna@pangolin-systems.com> (maintainer)
23 May 2005 11:46:19
Original commit files touched by this commit  4.2.5
barner search for other commits by this committer
- Update to 4.2.5 [1]
- Fix portlint warning [2]
- Fix plist w/ NOPORTDOCS (man page) [2]

Submitted by:   maintainer[1],
                barner [2]
PR:             ports/81383
08 Mar 2005 18:50:38
Original commit files touched by this commit  4.2.4
vs search for other commits by this committer
Update to 4.2.4

PR:             ports/78572
Submitted by:   maintainer
11 Jan 2005 16:49:42
Original commit files touched by this commit  4.2.2
vs search for other commits by this committer
Update to 4.2.2

PR:             ports/75841
Submitted by:   maintainer
02 Nov 2004 19:09:28
Original commit files touched by this commit  4.2.1
pav search for other commits by this committer
- Update to 4.2.1

PR:             ports/73402
Submitted by:   Jonathan Hanna <jhanna@shaw.ca> (maintainer)
02 Jul 2004 23:42:50
Original commit files touched by this commit  4.2.0
pav search for other commits by this committer
- Update to 4.2.0

PR:             ports/68611
Submitted by:   Jonathan Hanna <jhanna@shaw.ca> (maintainer)
05 Jun 2004 06:47:30
Original commit files touched by this commit  4.1.3
krion search for other commits by this committer
- Update to version 4.1.3

PR:             ports/67584
Submitted by:   maintainer
09 Mar 2004 22:50:27
Original commit files touched by this commit  4.1.2
trevor search for other commits by this committer
Use new distfile.  Minor changes were made to xspin412.tcl, mostly
in the comments, and DOS-style carriage-return characters were added
to the file.

PR:             63940
Submitted by:   Jonathan Hanna (maintainer)
09 Mar 2004 15:54:22
Original commit files touched by this commit  4.1.2
trevor search for other commits by this committer
Mark BROKEN due to checksum mismatch.  I e-mailed the maintainer
about the problem.
23 Feb 2004 22:34:47
Original commit files touched by this commit  4.1.2
krion search for other commits by this committer
- Update to version 4.1.2

PR:             ports/63290
Submitted by:   maintainer
23 Jan 2004 05:28:50
Original commit files touched by this commit  4.0.7_1
trevor search for other commits by this committer
Use LS macro.
28 Aug 2003 07:43:33
Original commit files touched by this commit  4.0.7_1
erwin search for other commits by this committer
The HTML documentation tarball has been removed

PR:             56071
Submitted by:   maintainer
08 Aug 2003 22:03:49
Original commit files touched by this commit  4.0.7
leeym search for other commits by this committer
A newer spin has been released. Also, the current spin suffers
from having been minorly updated without a distfile version bump.

Alternate master sites have been removed for now, they have not
been updated with the current version.

The patch also makes the xspin dependency on with8.4 explicit,
though xspin should work 8.3 as well.
xspin can now be suppressed with WITHOUT_XSPIN.

PR:             55364
Submitted by:   Jonathan Hanna <jhanna@shaw.ca>
07 Aug 2003 08:33:44
Original commit files touched by this commit  4.0.6
kris search for other commits by this committer
BROKEN: CHecksum mismatch
04 Jun 2003 14:43:05
Original commit files touched by this commit  4.0.6
mich search for other commits by this committer
Update spin 4.0.3 -> 4.0.6

PR:             52819
Submitted by:   maintainer
Approved by:    roberto (mentor)
11 Apr 2003 16:33:33
Original commit files touched by this commit  4.0.3
nork search for other commits by this committer
Update to 4.0.3.

PR:             ports/50706
Submitted by:   Jonathan Hanna <jhanna@shaw.ca> (maintainer)
21 Feb 2003 11:23:04
Original commit files touched by this commit  3.5.2
knu search for other commits by this committer
De-pkg-comment.
02 Jan 2003 19:58:31
Original commit files touched by this commit  3.5.2
ijliao search for other commits by this committer
upgrade to 3.5.2

PR:             46071
Submitted by:   maintainer
16 Oct 2002 21:50:47
Original commit files touched by this commit  3.5.0
obraun search for other commits by this committer
* Upgrade to 3.5.0.
* Change maintainers email.
* Use REINPLACE.
* Add master site.

PR:             43753
Submitted by:   maintainer
11 Jun 2002 19:31:07
Original commit files touched by this commit  3.4.14
sada search for other commits by this committer
Category move: math/spin to devel

PR:             ports/10396
Submitted by:   Daniel C. Sobral <dcs@newsguy.com>
Approved by:    maintainer

Number of commits found: 39

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
libidn*Aug 03
chicken*Jul 31
net-snmpJul 31
net-snmpJul 31
bind910Jul 28
bind99Jul 28
logstashJul 27
openssh-portableJul 27
chromiumJul 25
wordpress*Jul 24
wordpress*Jul 24
wordpress*Jul 24
wordpress*Jul 24
wordpress-zh_TW*Jul 24
opensaml2Jul 23

14 vulnerabilities affecting 25 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 25083
Broken 197
Deprecated 108
Ignore 498
Forbidden 1
Restricted 204
No CDROM 94
Vulnerable 44
Expired 3
Set to expire 96
Interactive 0
new 24 hours 0
new 48 hours1
new 7 days19
new fortnight56
new month159

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.