[Haskell-cafe] Re: Frama-C

[Stephen Tetley]

Hi Tom

I can't really make out what-is-what from the git-repository. Is it
just hosting the generator and not the generated code at the moment?

Also I don't know Frama-C, are you generating the whole CIL syntax
tree from cli_types.mli? By the look of things it is CIL to line 1116
- (** Types of logic terms. *) - then Frama-C.


My code is mostly here:
http://code.google.com/p/copperbox/source/browse/#svn/trunk/libs/_old/cil-pickle

Best wishes

Stephen