diff options
Diffstat (limited to 'sci-mathematics/why3/metadata.xml')
-rw-r--r-- | sci-mathematics/why3/metadata.xml | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/sci-mathematics/why3/metadata.xml b/sci-mathematics/why3/metadata.xml deleted file mode 100644 index 5f92771c1..000000000 --- a/sci-mathematics/why3/metadata.xml +++ /dev/null @@ -1,24 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> - <longdescription> -Why3 is a platform for deductive program verification. It provides -a rich language for specification and programming, called WhyML, -and relies on external theorem provers, both automated and interactive, -to discharge verification conditions. Why3 comes with a standard -library of logical theories (integer and real arithmetic, Boolean -operations, sets and maps, etc.) and basic programming data structures -(arrays, queues, hash tables, etc.). A user can write WhyML programs -directly and get correct-by-construction OCaml programs through an -automated extraction mechanism. WhyML is also used as an intermediate -language for the verification of C, Java, or Ada programs. -</longdescription> - <use> - <flag name="float">Add <pkg>sci-mathematics/flocq</pkg> support</flag> - <flag name="frama-c">Enable Frama-C plugin</flag> - </use> -</pkgmetadata> |