From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.8 required=5.0 tests=DNS_FROM_RFC_POST,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 2E811BBAF for ; Wed, 20 May 2009 12:16:39 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuACAAN1E0rRVdyukGdsb2JhbACXID8BAQEBCQkMBxEDpCKBE5BsAQMBA4QABQ X-IronPort-AV: E=Sophos;i="4.41,221,1241388000"; d="scan'208";a="26493457" Received: from mail-fx0-f174.google.com ([209.85.220.174]) by mail2-smtp-roc.national.inria.fr with ESMTP; 20 May 2009 12:16:39 +0200 Received: by mail-fx0-f174.google.com with SMTP id 22so330623fxm.9 for ; Wed, 20 May 2009 03:16:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from :user-agent:mime-version:to:subject:content-type :content-transfer-encoding; bh=NZzqiXwXPvjzeHY3S7IX2YTqZdp33OYUDS5w1nisr7I=; b=vjKDDQDg+iJhlBLX2/Xp1AZ8Co9vgn6ECiOuHKwBid1k90y+y+yVAY7ntizWJsYMpQ VGNhRsZyYuL9wSTWhT4ORfQzTOSS7xh3SG+r1bHOiE8ohBF+GjawDHxUHVlRbkAK9hLP rFBqSnxw18Ac0kIdRkFpl/RCXKUNjOCI0cT0w= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:subject :content-type:content-transfer-encoding; b=JZ/SKahwHu8jqRFSeRd6HyToNc+X/I/lJ9Mf4hOQ9q9ADFNoVaoS06THWVN9JNEso2 o7iwjtLteBDJm1hrHcApKZyJrnZHRKL/XYs43ibbFALekmmRAZq5HhMaG8giVYn5NflP HVAwerL+ho+8mIUjzd7fWleTQLT7cNnw4ZmUY= Received: by 10.86.59.18 with SMTP id h18mr1020886fga.44.1242814598939; Wed, 20 May 2009 03:16:38 -0700 (PDT) Received: from ?10.0.0.2? (APuteaux-152-1-2-99.w82-120.abo.wanadoo.fr [82.120.32.99]) by mx.google.com with ESMTPS id 4sm8672569fge.3.2009.05.20.03.16.37 (version=SSLv3 cipher=RC4-MD5); Wed, 20 May 2009 03:16:38 -0700 (PDT) Message-ID: <4A13D886.2000906@gmail.com> Date: Wed, 20 May 2009 12:16:38 +0200 From: Gregory BELLIER User-Agent: Thunderbird 2.0.0.21 (X11/20090318) MIME-Version: 1.0 To: caml-list@inria.fr Subject: Formal OS in OCAML Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Spam: no; 0.00; ocaml:01 ocaml:01 auriez-vous:01 auriez-vous:01 formel:01 poursuivre:01 est-ce:04 similaire:05 cia:93 cia:93 recuperer:07 projet:08 projet:08 formal:08 formal:08 Hello, do you have some news about the "Desert-Spring-Time" project ? Is there something new since April, 26th 2007 [http://cia.vc/stats/project/Desert-Spring-Time?s_message=0R] ? Where can we get the sources, continue the project or learn from it ? Do you know a similar project i.e a formal OS in OCAML ? Thank you, Gregory. [french version] Bonjour, Auriez-vous des nouvelles du projet "Desert-Spring-Time" ? Est-ce qu'il a avancé depuis le 26 avril 2007 [http://cia.vc/stats/project/Desert-Spring-Time?s_message=0R] ? Comment peut-on récupérer les sources pour poursuivre le projet ou s'en inspirer ? Auriez-vous la connaissance d'un projet similaire (développement d'un OS formel en Ocaml) ? Merci, Gregory.