homebrew-core

Commit Graph

Author	SHA1	Message	Date
Adam Vandenberg	41fbc4636b	spin - simpler man install	2010-03-06 23:18:33 -08:00
Max Howell	6d1c59c75c	Use dot versions and comment patches	2010-01-23 10:53:41 +00:00
Björn B. Brandenburg	f13b04ef69	Spin model checker 5.2.4 A verification tool for models of concurrent systems. Manually installing spin on Mac OS X is somewhat cumbersome and requires edits to the makefile, as as detailed at http://spinroot.com/spin/Man/README.html. The included DATA patch automates this. (My thanks to adamv, who pointed out how to simplify this formula greatly.)	2010-01-23 10:48:45 +00:00

Author

SHA1

Message

Date

Adam Vandenberg

41fbc4636b

spin - simpler man install

2010-03-06 23:18:33 -08:00

Max Howell

6d1c59c75c

Use dot versions and comment patches

2010-01-23 10:53:41 +00:00

Björn B. Brandenburg

f13b04ef69

Spin model checker 5.2.4

A verification tool for models of concurrent systems.

Manually installing spin on Mac OS X is somewhat cumbersome and requires edits
to the makefile, as as detailed at http://spinroot.com/spin/Man/README.html.
The included DATA patch automates this.

(My thanks to adamv, who pointed out how to simplify this formula greatly.)

2010-01-23 10:48:45 +00:00

3 Commits (f4553a3a8d0c1b7dedeeca77149905c51076abb9)