--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on February 2020 ---
tis 2020-02-04 klockan 08:32 +0100 skrev Virgile Prevosto: > > 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. Neat, didn't know that. Thanks for the tip :) Recompiling frama-c right now, we'll see how it goes > [Why does Thunderbird defaults to Reply to instead of Reply to list > when replying to a message on a list ð¢] Works fine for me in Evolution FWIW /Tomas