summaryrefslogtreecommitdiff
path: root/math/spin (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Update to 3.4.1Ade Lovett2000-09-165-17/+24
| | | | | | | | PR: 21181 Submitted by: maintainer Notes: svn path=/head/; revision=32730
* - Support LOCALBASE properly (in setting path to custom wish script)Maxim Sobolev2000-06-232-1/+4
| | | | | | | | PR: 19470 Submitted by: KATO Tsuguru <tkato@prontomail.ne.jp> Notes: svn path=/head/; revision=29809
* Update to version 3.3.10.Steve Price2000-05-294-8/+8
| | | | | | | | PR: 18549 Submitted by: maintainer Notes: svn path=/head/; revision=28872
* ftp.cdrom.com -> ftp.freesoftware.com, adjusting paths as I go.Bill Fumerola2000-05-141-1/+1
| | | | Notes: svn path=/head/; revision=28453
* Convert to PORTNAME/PORTVERSION.Satoshi Asami2000-04-141-2/+2
| | | | Notes: svn path=/head/; revision=27509
* Update port to 3.3.9Chris D. Faulhaber2000-02-092-4/+4
| | | | | | | | PR: 16531 Submitted by: Maintainer Notes: svn path=/head/; revision=25616
* * Update port to 3.3.8Chris D. Faulhaber2000-01-264-9/+9
| | | | | | | | | | * Fix unfetchable distfiles PR: 16321 Submitted by: Maintainer Notes: svn path=/head/; revision=25079
* Update port to 3.3.7Chris D. Faulhaber1999-12-244-9/+9
| | | | | | | | PR: 15617 Submitted by: Maintainer Notes: svn path=/head/; revision=23951
* Update to 3.3.5 and fixes unfetchable distfileSeiichirou Hiraoka1999-10-112-4/+4
| | | | | | | | PR: ports/14252 Submitted by: jh@cr1003333-a.crdva1.bc.home.com Notes: svn path=/head/; revision=22353
* xspin333.tcl should be in the PLIST, not 300Chris Piazza1999-09-081-1/+1
| | | | | | | | PR: 13620 Submitted by: Jonathan Hanna <pangolin@home.com> Notes: svn path=/head/; revision=21433
* ln -> ${LN}Michael Haro1999-08-281-1/+1
| | | | Notes: svn path=/head/; revision=21047
* Change Id->FreeBSD.David E. O'Brien1999-08-251-1/+1
| | | | Notes: svn path=/head/; revision=20960
* Updated to version 3.33Satoshi Taoka1999-08-124-13/+12
| | | | | | | | PR: 13015 Submitted: maintainer Notes: svn path=/head/; revision=20662
* Update spin to 3.30.Chris Piazza1999-06-257-19/+35
| | | | | | | | PR: 12373 Submitted by: maintainer Notes: svn path=/head/; revision=19757
* Missed this one.Satoshi Asami1999-02-121-0/+13
| | | | Notes: svn path=/head/; revision=16642
* Upgrade to 3.24, fixes build problem.Satoshi Asami1999-02-124-16/+20
| | | | | | | | PR: 9732 Submitted by: maintainer Notes: svn path=/head/; revision=16638
* Import of math spin:Justin M. Seger1998-12-126-0/+191
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 Notes: svn path=/head/; revision=15311
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-04 05:03:50 +0000