[<<][staapl][>>][..]
Fri Oct 3 12:39:33 CEST 2008

MetaOcaml bytecomp/trx.ml

Downloading the Ocaml distribution to see the difference between the
two projects.  MetaOcaml based on 3.09.1

http://caml.inria.fr/pub/distrib/ocaml-3.09/ocaml-3.09.1.tar.bz2

The cabs.ml file seems to be from the Ocaml project.  Nope.. it's not
in there..  It's a separate library: cabs -- abstract syntax for
FrontC.  Here's a link in the Caml Dev Kit:

http://pauillac.inria.fr/cdk/newdoc/htmlman/cdk_180.html#SEC206

The one in metaocaml is 2.1 while the one documented above is 3.0.
There seem to be some naming differences.

The other file from FrontC is cprint.ml
The parser itself isn't included.


EDIT: look at these:
http://manju.cs.berkeley.edu/cil/
http://frama-c.cea.fr/what_is.html



[Reply][About]
[<<][staapl][>>][..]