From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <219622be950eb9f8dd35d935a8ca91d1@vitanuova.com>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] spin models
Date: Thu,  2 Dec 2004 00:31:33 +0000
From: rog@vitanuova.com
In-Reply-To: <200412011102.iB1B2rd14890@zamenhof.cs.utwente.nl>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Topicbox-Message-UUID: 11383910-eace-11e9-9e20-41e7f4b1d025

> not that I'm much of a spin expert (we have one/some here,
> don't know if he/they will be available during twente9con), but
> running xspin (4.2.0) in simulation and/or verification mode
> on slave2.spin brings me further than rog suggested in his mail.

i tried it on what i believe to be to the latest version (4.2.1),
and the main problem (fixed limit on number of channels created)
still seems to be there.

i don't think it was envisaged that channels might be used in this
way.