Parents (Total: 59)

The searched file hash is included in 59 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
MD5	45A486D6C678D48E770B6A9339C42504
PackageArch	x86_64
PackageDescription	Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants.
PackageMaintainer	Fedora Project
PackageName	why3
PackageRelease	7.fc34
PackageVersion	1.3.3
SHA-1	02474BB213FA1101885E279CD888655711874965
SHA-256	A7CB11DE26800E3ACA74DBB37BA122857265BAA0F366288991D1FC8DD65F2E7F

Key	Value
FileSize	47077508
MD5	7C00B7F6942B5D2F04B30BADE25436BE
PackageDescription	Software verification platform 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. . Why3 is a complete reimplementation of the former Why platform. Among the new features are: numerous extensions to the input language, a new architecture for calling external provers, and a well-designed API, allowing to use Why3 as a software library. An important emphasis is put on modularity and genericity, giving the end user a possibility to easily reuse Why3 formalizations or to add support for a new external prover if wanted.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3
PackageSection	math
PackageVersion	1.3.3-1+b5
SHA-1	02A48CD3CEB2B9A0CFF9D42EAFEBD4993D8250DE
SHA-256	27E20E5BED7A300922AE53B657AD4BA0B65B7B33FC2B8AE3FD00E8958C56B6E6

Key	Value
MD5	50AE0EE4BB783046F17F7410F669AEBA
PackageArch	aarch64
PackageDescription	Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants.
PackageMaintainer	Fedora Project
PackageName	why3
PackageRelease	2.fc23
PackageVersion	0.86.1
SHA-1	0AFB8F747A294F2725F8A1F294981729473F904C
SHA-256	CEC5E313EF91CDA3EB8A0F17C54560F438722A5133A73FAC4D6AE5707C16D824

Key	Value
MD5	FB12B0D25352051C4938E4F274455102
PackageArch	armv7hl
PackageDescription	Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants.
PackageMaintainer	Fedora Project
PackageName	why3
PackageRelease	1.fc33
PackageVersion	1.3.3
SHA-1	13B9F520B7E2853CF71036EA070F89748CEEAD8A
SHA-256	152F2439E7167A7260E42CB52A2B76DBB66F6AF26F869E75A860BFB89A7D34FF

Key	Value
FileSize	47976530
MD5	434D37D43894DD581C34EE1E05B9FCBB
PackageDescription	Software verification platform 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. . Why3 is a complete reimplementation of the former Why platform. Among the new features are: numerous extensions to the input language, a new architecture for calling external provers, and a well-designed API, allowing to use Why3 as a software library. An important emphasis is put on modularity and genericity, giving the end user a possibility to easily reuse Why3 formalizations or to add support for a new external prover if wanted.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3
PackageSection	math
PackageVersion	0.87.3-2+b1
SHA-1	1F964A81E3AA6EF1B4688E6A4DCE1825EF7915DE
SHA-256	B5D9779065554311B3272A4B67D1E01D53EA3F346D0BC3699F0C2B0312E26CA4

Key	Value
MD5	53C5D2DE492818851B465C903F0DB027
PackageArch	i586
PackageDescription	Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants.
PackageMaintainer	daviddavid <daviddavid>
PackageName	why3
PackageRelease	1.mga7
PackageVersion	1.2.0
SHA-1	230A0D721B26F079950B229805CC8809EC053C02
SHA-256	C6888BB98569B6C038DAD457889780E1A33F20C07D266E30D3173604052CC211

Key	Value
FileSize	30713700
MD5	44774DFA7BF72513978E40FA9349B79B
PackageDescription	Software verification platform 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. . Why3 is a complete reimplementation of the former Why platform. Among the new features are: numerous extensions to the input language, a new architecture for calling external provers, and a well-designed API, allowing to use Why3 as a software library. An important emphasis is put on modularity and genericity, giving the end user a possibility to easily reuse Why3 formalizations or to add support for a new external prover if wanted.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3
PackageSection	math
PackageVersion	1.2.0-1
SHA-1	2444F8D182898E8D1A4FA71BC78B909D7D0B5327
SHA-256	5ADEE4E4F83AA3009D6657BBD7365784A8DFD80EFD2A9E3B2B388B2B958491CC

Key	Value
MD5	96A26BC6D701C56461D84CF5252D0F1B
PackageArch	x86_64
PackageDescription	Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants.
PackageMaintainer	daviddavid <daviddavid>
PackageName	why3
PackageRelease	1.mga7
PackageVersion	1.2.0
SHA-1	2BB756EC117F57495F536462FEC6C7D46FE5CD5A
SHA-256	D22B36F9307C03C401C530244D3115399BF4703DE2E27E1EF57169954AB7591C

Key	Value
FileSize	11259744
MD5	877A800DBD595904E2DD4EFEA7C6B9BD
PackageDescription	Software verification platform 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. . Why3 is a complete reimplementation of the former Why platform. Among the new features are: numerous extensions to the input language, a new architecture for calling external provers, and a well-designed API, allowing to use Why3 as a software library. An important emphasis is put on modularity and genericity, giving the end user a possibility to easily reuse Why3 formalizations or to add support for a new external prover if wanted.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3
PackageSection	math
PackageVersion	0.87.3-2+b1
SHA-1	315CA4CBFA0B8D841EE2AB92926AE6ED2EFF046C
SHA-256	EB9BF4E1D699852D58E015A106A1AC250CA8049FE39B63DD2E9C09A6FB015645

Key	Value
FileSize	36720980
MD5	7B4582B7605D07A3583350E0D1F06C78
PackageDescription	Software verification platform 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. . Why3 is a complete reimplementation of the former Why platform. Among the new features are: numerous extensions to the input language, a new architecture for calling external provers, and a well-designed API, allowing to use Why3 as a software library. An important emphasis is put on modularity and genericity, giving the end user a possibility to easily reuse Why3 formalizations or to add support for a new external prover if wanted.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3
PackageSection	math
PackageVersion	1.3.3-1+b4
SHA-1	3462F6F8590FBF817856E0FEE6519AA743890F48
SHA-256	23B092171CEB3AD555C67D3C70F81FDF565F90B0BA12438AF00274FA80D5F84E