sci-mathematics/frama-c-reduc
frama-c plugin to generate ACSL annotations from Eva information
Screenshots
View
Download
BrowseChangeLog
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 05ee35a2160b6186c1c11f9832e4a3b3dbc909b6
Author: Yuan Liao <liaoyuan@gmail.com>
Date: Tue Aug 23 13:04:15 2022 -0700
sci-mathematics/frama-c-reduc: Update Manifest
Signed-off-by: Yuan Liao <liaoyuan@gmail.com>
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>
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 05ee35a2160b6186c1c11f9832e4a3b3dbc909b6
Author: Yuan Liao <liaoyuan@gmail.com>
Date: Tue Aug 23 13:04:15 2022 -0700
sci-mathematics/frama-c-reduc: Update Manifest
Signed-off-by: Yuan Liao <liaoyuan@gmail.com>
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>