--- layout: fc_discuss_archives title: Message 15 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



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