13 May
2010
13 May
'10
4:17 p.m.
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-pi... Best wishes Stephen