CVSROOT: /cvs
Module name: ports
Changes by: akosh...@cvs.openbsd.org 2017/12/17 16:38:19
Log message:
Import spin-6.4.7
Spin is a software verification tool for analyzing the consistency of
asynchronous systems. Examples of asynchronous systems include
multi-threaded
programs, distributed systems, and communications protocols. Spin takes a
system model specified in Promela (the PROcess MEta LAnguage). It also takes
a specifciation of the requirements for logical correctness, and allows both
interactive and exhaustive simulations of the system for verifying these
properties.
Submission by Ori Bernstein <o...@eigenstate.org>
OK bcallah@
Status:
Vendor Tag: akoshibe
Release Tags: akoshibe_20171217
N ports/lang/spin/Makefile
N ports/lang/spin/distinfo
N ports/lang/spin/patches/patch-makefile
N ports/lang/spin/pkg/PLIST
N ports/lang/spin/pkg/DESCR
No conflicts created by this import
