caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: <RABIH.ELCHAAR@sgam.com>
To: <maxence.guesdon@inria.fr>, <caml-list@inria.fr>
Subject: RE: [Caml-list] First release of Oug: reference graph from ocaml code
Date: Mon, 9 Jun 2008 10:47:18 +0200	[thread overview]
Message-ID: <0172C3AE3A0E964797AF43E206C1048F015DD78F@FRCOR-EXMB06.europe.am.socgen> (raw)
In-Reply-To: <20080603183856.1f30687a@alcazar.inria.fr>

Dear Sir,
Your post on the caml-list concerning the OUG tool attracted my attention, and I am planning to try to make it work, under a Win32, MSVC Ocaml version.

It seems that we need to point to a compiled ocaml source tree, to get OUG to compile.
My question concerns the location of the Ocaml 3.11 under CVS.
Looking at the http://camlcvs.inria.fr/cgi-bin/cvsweb/ocaml/ nothing in the names seems to point to ocaml 3.11.

Can you please point out a branch that responds to this requirement?

TIA,
Rabih Chaar

-----Message d'origine-----
De : caml-list-bounces@yquem.inria.fr [mailto:caml-list-bounces@yquem.inria.fr] De la part de Maxence Guesdon
Envoyé : mardi 3 juin 2008 18:39
À : caml-list@inria.fr
Objet : [Caml-list] First release of Oug: reference graph from ocaml code

Hello,

I'm glad to announce the first release of Oug (0.1).

Oug is a code analysis tool building reference graphs from OCaml code, that
is graphs representing which elements (value, module, class, ...) reference
which elements.

It comes with the Ouglib library to be able to embed the analyzer in other
OCaml applications.

>From the graph, various outputs can be obtained: list of elements not
referenced anywhere ("dead code"), various graphiz graphs, ...

Oug does not compute the call graph of the given OCaml code; this would
require data flow analysis. For this reason, the "dead code" dump always
consider that every method is referenced.

The homepage is here:
  http://pauillac.inria.fr/~guesdon/oug.en.html

Regards,

Maxence Guesdon

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
This message and any attachments (the "message") are confidential, intended solely for the addressee(s), and may contain legally privileged information. 
Any unauthorised use or dissemination is prohibited. 
E-mails are susceptible to alteration. 
Neither Societe Generale Asset Management nor any of its subsidiaries or affiliates shall be liable for the message if altered, changed or falsified. 
  
Find out more about Societe Generale Asset Management's proposal on www.sgam.com
  
                                ******** 
  
Ce message et toutes les pieces jointes (ci-apres le "message") sont confidentiels et susceptibles de contenir des informations couvertes par le secret professionnel.
Ce message est etabli a l'intention exclusive de ses destinataires.
Toute utilisation ou diffusion non autorisee est interdite. 
Tout message electronique est susceptible d'alteration. Societe Generale Asset Management et ses filiales declinent toute responsabilite au titre de ce message s'il a ete altere, deforme ou falsifie. 

Decouvrez l'offre et les services de Societe Generale Asset Management sur le site www.sgam.fr


  reply	other threads:[~2008-06-09  8:47 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-06-03 16:38 Maxence Guesdon
2008-06-09  8:47 ` RABIH.ELCHAAR [this message]
2008-06-09 11:43   ` [Caml-list] " Maxence Guesdon
2008-06-09 18:03     ` RABIH.ELCHAAR
2008-06-10  7:40       ` Maxence Guesdon
2008-06-10 14:25         ` RABIH.ELCHAAR

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=0172C3AE3A0E964797AF43E206C1048F015DD78F@FRCOR-EXMB06.europe.am.socgen \
    --to=rabih.elchaar@sgam.com \
    --cc=caml-list@inria.fr \
    --cc=maxence.guesdon@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).