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 l
On Thu, May 13, 2010 at 11:58 AM, Stephen Tetley
wrote:
> Hi Tom
>
> Quite a while ago I interfaced Haskell and Ocaml/CIL through both
> ATerms and ASDL pickles.
>
> I can look at digging out this code if you like - it was fairly
> complete, but it had a bug somewhere and will probably be a few
>
Hi Tom
Quite a while ago I interfaced Haskell and Ocaml/CIL through both
ATerms and ASDL pickles.
I can look at digging out this code if you like - it was fairly
complete, but it had a bug somewhere and will probably be a few
revisions behind the current CIL.
Best wishes
Stephen
___
On Sun, May 9, 2010 at 12:54 AM, Lee Pike wrote:
> Tom,
>
>> Have you used any of these tools? They're pretty cool. I'd be
>> interested to hear you opinion.
>>
>> http://frama-c.com/
>
> Not yet. We were considering using them for a C security-analysis, but
> rolled-our-own stuff in Haskell.