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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
