gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/frama-c-variadic

Variadic function transformation plugin for frama-c

Screenshots

  • frama-c-variadic-25.0
    ~amd64
    +ocamlopt +ocamlopt

    View      Download      Browse     License: LGPL-2.1   
    Overlay: guru
  • frama-c-variadic-24.0
    ~amd64
    +ocamlopt +ocamlopt

    View      Download      Browse     License: LGPL-2.1   
    Overlay: guru
  • frama-c-variadic-23.1
    ~amd64
    +ocamlopt ocamlopt

    View      Download      Browse     License: LGPL-2.1   
    Overlay: guru

ChangeLog

commit 1e95f22062b44b3708c09b56fb2334f41c633e2e
Author: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
Date: Sat Mar 4 18:56:32 2023 +0500

*/*: update metadata schema uri

Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>

commit 323d2476f1a9acc0799755cd2170cd304fb3f3b0
Author: François-Xavier Carton <fx.carton91@gmail.com>
Date: Fri Aug 19 19:27:49 2022 +0200

sci-mathematics/frama-c: bump to 25.0

Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>

commit d79091d43727ccec89fc820b59c33ed07c22aa09
Author: François-Xavier Carton <fx.carton91@gmail.com>
Date: Thu Jan 13 21:33:11 2022 +0100

sci-mathematics/frama-c: bump to 24.0

Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>

commit dab2150f988df03d747f307f497eb0a9dfedbd67
Author: François-Xavier Carton <fx.carton91@gmail.com>
Date: Sat Sep 4 14:48:24 2021 +0200

sci-mathematics/frama-c: split plugins from main ebuild

USE flags are not meant for this (causing recompilation of everything
when changing plugins configuration). In addition, this solves the
problem of the main frama-c ebuild having too much USE flags.

Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>