--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on February 2020 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Fwd: Is it possible to define polymorphic axioms? memcpy etc



[Why does Thunderbird defaults to Reply to instead of Reply to list when
replying to a message on a  list 😢]

---------- Forwarded message ---------
De : Virgile Prevosto <virgile.prevosto at m4x.org>
Date: lun. 3 févr. 2020 à 23:30
Subject: Re: [Frama-c-discuss] Is it possible to define polymorphic axioms?
memcpy etc
To: Tomas Härdin <tjoppen at acc.umu.se>


Le 03/02/2020 à 22:55, Tomas Härdin a écrit :
>>
>> a colleague of mine just reminded me that a new plugin of Frama-C has
been
>> merged recently and is thus now available on
>> https://git.frama-c.com/pub/frama-c to solve exactly this problem. See
>>
https://git.frama-c.com/pub/frama-c/blob/master/src/plugins/builtin/README.md
>> for more information.
>
> Ooh, that looks like just what I need :) So we can expect that this
> will land in Scandium sometime this year?
>

Yes. In the mean time, if you feel adventurous, you can with pin frama-c in
opam to the git repository
(opam pin add frama-c https://git.frama-c.com/pub/frama-c.git), and start
experimenting with builtin.

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


-- 
E tutto per oggi, a la prossima volta
Virgile
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20200204/fedbfc1f/attachment.html>