summaryrefslogtreecommitdiff
path: root/devel/spin (unfollow)
Commit message (Collapse)AuthorFilesLines
1999-10-11Update to 3.3.5 and fixes unfetchable distfileSeiichirou Hiraoka2-4/+4
PR: ports/14252 Submitted by: jh@cr1003333-a.crdva1.bc.home.com Notes: svn path=/head/; revision=22353
1999-09-08xspin333.tcl should be in the PLIST, not 300Chris Piazza1-1/+1
PR: 13620 Submitted by: Jonathan Hanna <pangolin@home.com> Notes: svn path=/head/; revision=21433
1999-08-28ln -> ${LN}Michael Haro1-1/+1
Notes: svn path=/head/; revision=21047
1999-08-25Change Id->FreeBSD.David E. O'Brien1-1/+1
Notes: svn path=/head/; revision=20960
1999-08-12Updated to version 3.33Satoshi Taoka4-13/+12
PR: 13015 Submitted: maintainer Notes: svn path=/head/; revision=20662
1999-06-25Update spin to 3.30.Chris Piazza7-19/+35
PR: 12373 Submitted by: maintainer Notes: svn path=/head/; revision=19757
1999-02-12Missed this one.Satoshi Asami1-0/+13
Notes: svn path=/head/; revision=16642
1999-02-12Upgrade to 3.24, fixes build problem.Satoshi Asami4-16/+20
PR: 9732 Submitted by: maintainer Notes: svn path=/head/; revision=16638
1998-12-12Import of math spin:Justin M. Seger6-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-08-11 23:01:39 +0000