English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Working of GNYtool
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-06-23 (13:32)
From: Andrej Bauer <Andrej.Bauer@f...>
Subject: Re: [Caml-list] Working of GNYtool
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