sci-mathematics/frama-c-aorai
Aorai (automaton annotations) plugin for frama-c
Screenshots
View
Download
BrowseChangeLog
commit 30fe0558e578cd25664e199c28ffb897e47e64f0
Author: David Roman <davidroman96@gmail.com>
Date: Fri Sep 6 14:27:23 2024 +0200
sci-mathematics/frama-c-*: drop 23.1 and 24.0
Signed-off-by: David Roman <davidroman96@gmail.com>
commit 8b33f89cdabe5a9eb583a9dfb8e1145f672ceb78
Author: David Roman <davidroman96@gmail.com>
Date: Thu Jul 25 11:16:30 2024 +0200
Revert "*/*: ExcessiveLineLength fix most of them"
This reverts commit 79341e9f046f373509b9ab9d14ef711797d5bfa5.
Signed-off-by: David Roman <davidroman96@gmail.com>
commit 79341e9f046f373509b9ab9d14ef711797d5bfa5
Author: Vitaly Zdanevich <zdanevich.vitaly@ya.ru>
Date: Fri Jul 19 21:33:15 2024 +0400
*/*: ExcessiveLineLength fix most of them
Signed-off-by: Vitaly Zdanevich <zdanevich.vitaly@ya.ru>
commit ad273a2b83e96ca07f5c0a211c91cd5dde0324d9
Author: Lucio Sauer <watermanpaint@posteo.net>
Date: Wed May 15 01:01:35 2024 +0200
sci-mathematics/*: fix variable order
Signed-off-by: Lucio Sauer <watermanpaint@posteo.net>
Signed-off-by: Julien Roy <julien@jroy.ca>
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>
Author: David Roman <davidroman96@gmail.com>
Date: Fri Sep 6 14:27:23 2024 +0200
sci-mathematics/frama-c-*: drop 23.1 and 24.0
Signed-off-by: David Roman <davidroman96@gmail.com>
commit 8b33f89cdabe5a9eb583a9dfb8e1145f672ceb78
Author: David Roman <davidroman96@gmail.com>
Date: Thu Jul 25 11:16:30 2024 +0200
Revert "*/*: ExcessiveLineLength fix most of them"
This reverts commit 79341e9f046f373509b9ab9d14ef711797d5bfa5.
Signed-off-by: David Roman <davidroman96@gmail.com>
commit 79341e9f046f373509b9ab9d14ef711797d5bfa5
Author: Vitaly Zdanevich <zdanevich.vitaly@ya.ru>
Date: Fri Jul 19 21:33:15 2024 +0400
*/*: ExcessiveLineLength fix most of them
Signed-off-by: Vitaly Zdanevich <zdanevich.vitaly@ya.ru>
commit ad273a2b83e96ca07f5c0a211c91cd5dde0324d9
Author: Lucio Sauer <watermanpaint@posteo.net>
Date: Wed May 15 01:01:35 2024 +0200
sci-mathematics/*: fix variable order
Signed-off-by: Lucio Sauer <watermanpaint@posteo.net>
Signed-off-by: Julien Roy <julien@jroy.ca>
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>