diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-06-03 21:32:31 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-06-03 21:32:31 +0100 |
commit | 5043a584ce7a3eb644e68694a3266c1a5d2ccba5 (patch) | |
tree | 2401f70bb9284c4237ee848dcb65c610db18a643 /sci-mathematics/kind2/metadata.xml | |
parent | c1503bdaa031111d22d91db2f41dad440fb148e8 (diff) |
gentoo auto-resync : 03:06:2023 - 21:32:31
Diffstat (limited to 'sci-mathematics/kind2/metadata.xml')
-rw-r--r-- | sci-mathematics/kind2/metadata.xml | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/sci-mathematics/kind2/metadata.xml b/sci-mathematics/kind2/metadata.xml new file mode 100644 index 000000000000..faf6e30c3a71 --- /dev/null +++ b/sci-mathematics/kind2/metadata.xml @@ -0,0 +1,28 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + +<pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> + Kind 2 is an open-source, multi-engine, SMT-based automatic model checker + for safety properties of finite-state or infinite-state synchronous + reactive systems expressed as in an extension of the Lustre language. In + its basic configuration it takes as input one or more Lustre files + annotated with properties to be proven invariant, and outputs for each + property either a confirmation or a counterexample, i.e., a sequence inputs + that falsifies the property. More advanced features include contract-based + compositional verification, proof generation for proven properties, and + contract-based test generation. + </longdescription> + <upstream> + <bugs-to>https://github.com/kind2-mc/kind2/issues/</bugs-to> + <remote-id type="github">kind2-mc/kind2</remote-id> + </upstream> +</pkgmetadata> |