Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C example added to lets-prove-leftpad



mån 2020-03-23 klockan 21:23 +0100 skrev Virgile Prevosto:
> Hello Tomas,
> 
> Le 23/03/2020 à 20:33, Tomas Härdin a écrit :
> > I took some time last Friday to write a Frama-C example for
> > https://github.com/hwayne/lets-prove-leftpad Check it out!
> > 
> 
> Great work, both for the code and the explanations! Thanks for sharing that 
> with us.
> 
> Just a small remark, though: the Builtin plug-in in the development version 
> has been renamed as Instantiate (because its aim is basically to instantiate 
> void* into properly typed versions), and of course the option has thus 
> become -instantiate (more details at 
> https://git.frama-c.com/pub/frama-c/blob/master/src/plugins/instantiate/README.md).

Thanks for the heads-up, I sent in a PR for this

/Tomas