From nobody@FreeBSD.ORG Fri Mar  5 00:23:00 1999
Return-Path: <nobody@FreeBSD.ORG>
Received: by hub.freebsd.org (Postfix, from userid 32767)
	id 8FD9214DA9; Fri,  5 Mar 1999 00:22:54 -0800 (PST)
Message-Id: <19990305082254.8FD9214DA9@hub.freebsd.org>
Date: Fri,  5 Mar 1999 00:22:54 -0800 (PST)
From: dcs@newsguy.com
Sender: nobody@FreeBSD.ORG
To: freebsd-gnats-submit@freebsd.org
Subject: SPIN is in the wrong category
X-Send-Pr-Version: www-1.0

>Number:         10396
>Category:       ports
>Synopsis:       SPIN is in the wrong category
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    sada
>State:          closed
>Quarter:        
>Keywords:       
>Date-Required:  
>Class:          change-request
>Submitter-Id:   current-users
>Arrival-Date:   Fri Mar  5 00:30:00 PST 1999
>Closed-Date:    Tue Jun 11 12:35:35 PDT 2002
>Last-Modified:  Tue Jun 11 12:35:35 PDT 2002
>Originator:     Daniel C. Sobral
>Release:        Not relevant
>Organization:
>Environment:
Not relevant
>Description:
SPIN is presently in the MATH category. It was submitted as
a LANG category port, so I don't know why it ended in MATH.
>How-To-Repeat:
find /usr/ports -name spin -print
>Fix:
First, SPIN's short description ought to mention it processes a
model written in PROMELA. I suggest the following:
An on-the-fly verification system for asynchronous concurrent systems based on PROMELA

Otherwise, searches for the PROMELA language will fail.

Second, while it's presence in LANG might be questioned, PROMELA
is a language, and SPIN does "simulate" a run in promela
(basically, interprets a PROMELA program -- but since PROMELA is
non-deterministic, it is called "simulation")... I think it 
rather belongs in DEVEL, though, as it's main use is validation.

The point here is that while SPIN is used to validate "models",
they are rather *programming* models, not abstract math models.
By the same token, one could put all compilers in MATH, since
they are all based on formal languages...

At the very least, I'd expect adding a virtual category to it.



>Release-Note:
>Audit-Trail:
Responsible-Changed-From-To: freebsd-ports->asami 
Responsible-Changed-By: steve 
Responsible-Changed-When: Sun May 2 18:28:14 PDT 1999 
Responsible-Changed-Why:  
I'll be glad to do the dirty work, but I'll let Mr. Asami decide 
which category is correct and do a repository copy if necessary. 
State-Changed-From-To: open->feedback 
State-Changed-By: steve 
State-Changed-When: Wed Dec 29 13:00:54 PST 1999 
State-Changed-Why:  
Saotshi should I move this port or is it already in the right place? 
Responsible-Changed-From-To: asami->sada 
Responsible-Changed-By: sada 
Responsible-Changed-When: Thu May 23 02:00:32 PDT 2002 
Responsible-Changed-Why:  
I'll handle this. 
Approved by:	asmodai 

http://www.freebsd.org/cgi/query-pr.cgi?pr=10396 
State-Changed-From-To: feedback->closed 
State-Changed-By: sada 
State-Changed-When: Tue Jun 11 12:35:12 PDT 2002 
State-Changed-Why:  
Committed, thanks! 

http://www.freebsd.org/cgi/query-pr.cgi?pr=10396 
>Unformatted:
