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=0.0 required=5.0 tests=AWL 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 B7A74BBAF for ; Mon, 23 Jun 2008 15:32:25 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhYCAHRCX0jBAkMtiGdsb2JhbACSawEBAQ8gnUw X-IronPort-AV: E=Sophos;i="4.27,690,1204498800"; d="scan'208";a="12450566" Received: from postar.fmf.uni-lj.si ([193.2.67.45]) by mail2-smtp-roc.national.inria.fr with ESMTP; 23 Jun 2008 15:32:25 +0200 Received: from localhost (localhost [127.0.0.1]) by postar.fmf.uni-lj.si (Postfix) with ESMTP id AAA8371891C; Mon, 23 Jun 2008 15:32:24 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at fmf.uni-lj.si Received: from postar.fmf.uni-lj.si ([127.0.0.1]) by localhost (postar.fmf.uni-lj.si [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id QSraGgVrQS3t; Mon, 23 Jun 2008 15:32:20 +0200 (CEST) Received: from [193.2.67.88] (ditka.fmf.uni-lj.si [193.2.67.88]) by postar.fmf.uni-lj.si (Postfix) with ESMTP id A6F5D719086; Mon, 23 Jun 2008 15:32:15 +0200 (CEST) Message-ID: <485FA5DF.9090908@fmf.uni-lj.si> Date: Mon, 23 Jun 2008 15:32:15 +0200 From: Andrej Bauer Reply-To: Andrej.Bauer@andrej.com User-Agent: Thunderbird 2.0.0.14 (X11/20080505) MIME-Version: 1.0 To: abhishek_daiya@daiict.ac.in Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Working of GNYtool References: <49218.10.100.99.22.1214225811.squirrel@webmail.daiict.ac.in> In-Reply-To: <49218.10.100.99.22.1214225811.squirrel@webmail.daiict.ac.in> Content-Type: text/plain; charset=ISO-8859-2; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; andrej:01 andrej:01 monniaux:01 www-verimag:01 monniaux:01 compiler:01 wrote:01 caml-list:01 tar:01 imag:02 compiled:04 anybody:07 protocols:07 protocols:07 bauer:09 Abhishek Daiya wrote: > Dear All, > > I am a computer science student from India. I am working on some security > protocols under my research internship. For analysis of the protocols, I > need to run 'GNYtool' developed by David Monniaux. > http://www-verimag.imag.fr/~monniaux/download/gnytool.tar.gz > > I have compiled the tool using 'Ocaml' compiler but I am not able to > figure out how to use the tool. Could anybody please help me out. This is the wrong mailing list to ask. You should contact the author of the tool directly. Best regards, Andrej