Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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.
> 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,