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

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).

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile