Re: Request for workers :-)

Stephane Bortzmeyer <bortzmeyer+ietf@nic.fr> Sun, 07 January 2007 16:32 UTC

Received: from [127.0.0.1] (helo=stiedprmman1.va.neustar.com) by megatron.ietf.org with esmtp (Exim 4.43) id 1H3awZ-0007hr-2S; Sun, 07 Jan 2007 11:32:23 -0500
Received: from [10.91.34.44] (helo=ietf-mx.ietf.org) by megatron.ietf.org with esmtp (Exim 4.43) id 1H3awY-0007hY-Ny for cosmogol@ietf.org; Sun, 07 Jan 2007 11:32:22 -0500
Received: from bortzmeyer.netaktiv.com ([80.67.170.53] helo=mail.bortzmeyer.org) by ietf-mx.ietf.org with esmtp (Exim 4.43) id 1H3awS-0004pZ-Nq for cosmogol@ietf.org; Sun, 07 Jan 2007 11:32:20 -0500
Received: by mail.bortzmeyer.org (Postfix, from userid 10) id 12222240813; Sun, 7 Jan 2007 17:32:08 +0100 (CET)
Received: by mail.sources.org (Postfix, from userid 1000) id ADF5413A24; Sun, 7 Jan 2007 17:30:45 +0100 (CET)
Date: Sun, 7 Jan 2007 17:30:45 +0100
From: Stephane Bortzmeyer <bortzmeyer+ietf@nic.fr>
To: Marc Petit-Huguenin <marc@petit-huguenin.org>
Message-ID: <20070107163045.GA13618@sources.org>
References: <20070106210304.GA14966@sources.org> <45A09E59.2050205@petit-huguenin.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <45A09E59.2050205@petit-huguenin.org>
X-Transport: UUCP rules
X-Operating-System: Debian GNU/Linux 3.1
User-Agent: Mutt/1.5.9i
X-Spam-Score: 0.1 (/)
X-Scan-Signature: cf4fa59384e76e63313391b70cd0dd25
Cc: cosmogol@ietf.org
Subject: Re: Request for workers :-)
X-BeenThere: cosmogol@ietf.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: DIscussion on state machine specification in IETF protocols <cosmogol.ietf.org>
List-Unsubscribe: <https://www1.ietf.org/mailman/listinfo/cosmogol>, <mailto:cosmogol-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www1.ietf.org/pipermail/cosmogol>
List-Post: <mailto:cosmogol@ietf.org>
List-Help: <mailto:cosmogol-request@ietf.org?subject=help>
List-Subscribe: <https://www1.ietf.org/mailman/listinfo/cosmogol>, <mailto:cosmogol-request@ietf.org?subject=subscribe>
Errors-To: cosmogol-bounces@ietf.org

On Sun, Jan 07, 2007 at 08:16:41AM +0100,
 Marc Petit-Huguenin <marc@petit-huguenin.org> wrote 
 a message of 52 lines which said:

> I am just waiting for a version number to upload them on a public
> repository...

IMHO, it would be preposterous: Shadok is not stable because the
language it implements, Cosmogol, is far from stable.

> Do you plan to have some sort of repository of Cosmogol state
> machines for IETF protocols publicly available?

Good idea. In the mean time, we just have
http://www.cosmogol.fr/examples.html and the Shadok distribution. I
plan to create a http://www.cosmogol.fr/state-machines/.

_______________________________________________
Cosmogol mailing list
Cosmogol@ietf.org
https://www1.ietf.org/mailman/listinfo/cosmogol