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

I am looking for an LTO tape library. Do you have one to spare?
Port details
spin On-the-fly verification system for asynchronous concurrent systems
6.4.2 devel on this many watch lists=2 search for ports that depend on this port
Maintained by: 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 : Main Web Site : Distfiles Availability : PortsMon

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

Required Libraries:
  1. 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.2:
     DOCS=on: Build and/or install documentation
     ISPIN=on: Install xspin and TCL/Tk dependency
===> Use 'make config' to modify these settings

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

Number of commits found: 38

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
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: 38

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
otrsDec 16
mod_dav_svnDec 15
subversionDec 15
subversion16Dec 15
subversion17Dec 15
nvidia-driverDec 14
nvidia-driver-173Dec 14
nvidia-driver-304Dec 14
nvidia-driver-71Dec 14
nvidia-driver-96Dec 14
asterisk11Dec 11
bind99Dec 11
xorg-serverDec 10
unboundDec 09
freetype2Dec 07

11 vulnerabilities affecting 47 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 24437
Broken 139
Deprecated 70
Ignore 394
Forbidden 3
Restricted 206
No CDROM 93
Vulnerable 22
Expired 0
Set to expire 65
Interactive 0
new 24 hours 0
new 48 hours2
new 7 days29
new fortnight54
new month244

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