From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 8AF1C7ED7A for ; Thu, 23 Aug 2012 10:28:12 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of camaradetux@gmail.com) identity=pra; client-ip=209.85.214.180; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="camaradetux@gmail.com"; x-sender="camaradetux@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of camaradetux@gmail.com designates 209.85.214.180 as permitted sender) identity=mailfrom; client-ip=209.85.214.180; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="camaradetux@gmail.com"; x-sender="camaradetux@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f180.google.com) identity=helo; client-ip=209.85.214.180; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="camaradetux@gmail.com"; x-sender="postmaster@mail-ob0-f180.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiYEAAnpNVDRVda0k2dsb2JhbABFDrlFA3MIIgEBAQEJCQsJFAQjgiABAQEEEgIsARsdAQMMBgULDS4iAREBBQEcBhMIGodbAQMMmigJA4wignOFKQoZJw1XiHEBBQyKfIEehXMDjXSHYI42PoNJPA X-IronPort-AV: E=Sophos;i="4.80,299,1344204000"; d="scan'208";a="153648061" Received: from mail-ob0-f180.google.com ([209.85.214.180]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Aug 2012 10:28:11 +0200 Received: by obceq6 with SMTP id eq6so1334620obc.39 for ; Thu, 23 Aug 2012 01:28:09 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=KuExiObrGBFtE+khirRy8NjF/rjtnt/2lmoAT09RIp8=; b=u6ThNG2GMMt/tP0114un/bI93aFiIpFDK+y7re/Nj984v+3sppmD+jws6KP+ERrxiU 5Wn5/L9Zrh7ejI2lr+i0RCyw8n37KbiBjrWLD8x/Gy0aM2W4VQnO/Mk1iT8jvn2NoDBH PUPkJFIJph2WPnNTCOvj4HS6orE5TooTB5I7CsSzoAAsfNIZCNgj3xjs1cC751lARAM4 dDTnYiqJ2G47aeR5OMBFXtvuhOJa/kreAQn3f6TNO9zBNuc79meXNWgD8JofMOkMevWa lmEh+t8LmvoLtFDsRYMkCO+Wij4bUuWlQCZsxgqKG3pmqtbhgp5TZlgAznzK6Sdt5vZW TQ3A== MIME-Version: 1.0 Received: by 10.182.159.42 with SMTP id wz10mr455311obb.49.1345710489793; Thu, 23 Aug 2012 01:28:09 -0700 (PDT) Received: by 10.76.2.13 with HTTP; Thu, 23 Aug 2012 01:28:09 -0700 (PDT) In-Reply-To: References: <20120822145820.19f07f69@caladan.esterel-technologies.com> Date: Thu, 23 Aug 2012 10:28:09 +0200 Message-ID: From: Adrien To: Kristopher Micinski Cc: Caml Mailing List Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] State of Saffire or other FFI-checkers Hi, On 22/08/2012, Kristopher Micinski wrote: > Adrien, > > Cool to hear that you've sort of resurrected Saffire. I am a current > UMD student, though that work was done prior to my being here, though > with my advisor. I'm not sure what the state of things is with it, I > found it to be really interesting work, and if you want, perhaps it > would be good for us to resurrect the UMD web page? > > kris Resurrecting the page could be a good thing: there are many dead links and there is a lot of data that I haven't copied. However I don't know if it would be something easy: it would probably be hard to keep the same URI and the data (if the wayback machine hasn't copied everything) might be unavailable now. -- Adrien Nader