| ID | 23876 | ||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Package Name | why3 | ||||||||||||||||||||||||||
| Version | 1.8.0 | ||||||||||||||||||||||||||
| Release | 5.rvre0.fc42 | ||||||||||||||||||||||||||
| Epoch | Draft | False | |||||||||||||||||||||||||
| Summary | Software verification platform | ||||||||||||||||||||||||||
| Description | 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. | ||||||||||||||||||||||||||
| git:https://gitlab.inria.fr/why3/why3.git | |||||||||||||||||||||||||||
| Built by | davidlt | ||||||||||||||||||||||||||
| State | complete | ||||||||||||||||||||||||||
| Volume | DEFAULT | ||||||||||||||||||||||||||
| Started | Mon, 09 Jun 2025 17:02:03 UTC | ||||||||||||||||||||||||||
| Completed | Mon, 09 Jun 2025 17:02:03 UTC | ||||||||||||||||||||||||||
| Tags |
|
||||||||||||||||||||||||||
| RPMs |
|
||||||||||||||||||||||||||
| Changelog | * Wed Apr 02 2025 David Abdurachmanov <davidlt@rivosinc.com> - 1.8.0-5.rvre0 - Rebuilt for Fedora/RISCV (riscv64); adding .rvreX to Release: * Thu Feb 13 2025 Jerry James <loganjerry@gmail.com> - 1.8.0-4 - Rebuild for flocq 4.2.1 * Wed Jan 22 2025 Jerry James <loganjerry@gmail.com> - 1.8.0-3 - Add patch for C23 compatibility * Sun Jan 19 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.8.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Fri Jan 10 2025 Jerry James <loganjerry@gmail.com> - 1.8.0-1 - OCaml 5.3.0 rebuild for Fedora 42 - Version 1.8.0 - Disable documentation build due to bugs in 1.8.0 * Mon Oct 14 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-10 - Fix the location of the icon * Sun Oct 06 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-9 - Rebuild for ocaml-re 1.13.3 * Mon Aug 05 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-8 - Rebuild for ocaml-menhir 20240715, ocaml-ppxlib 0.33.0, and ocaml-zip 1.1.2 * Sat Jul 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.2-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-6 - Rebuild for ocaml-zarith 1.14 * Wed Jul 03 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-5 - Rebuild for ocaml-ppx-sexp-conv 0.17.0 * Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 1.7.2-4 - OCaml 5.2.0 ppc64le fix * Thu Jun 13 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-3 - Rebuild for apron 0.9.15 - New upstream URL * Thu May 30 2024 Richard W.M. Jones <rjones@redhat.com> - 1.7.2-2 - OCaml 5.2.0 for Fedora 41 * Thu Apr 18 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-1 - Version 1.7.2 * Mon Mar 25 2024 Richard W.M. Jones <rjones@redhat.com> - 1.7.1-3 - Use %{bash_completions_dir} macro * Fri Feb 02 2024 Jerry James <loganjerry@gmail.com> - 1.7.1-2 - Build again because koji ran out of disk space * Fri Feb 02 2024 Jerry James <loganjerry@gmail.com> - 1.7.1-1 - Version 1.7.1 * Sat Jan 27 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Tue Jan 02 2024 Jerry James <loganjerry@gmail.com> - 1.7.0-1 - Version 1.7.0 - Drop upstreamed coq patch * Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 1.6.0-9 - OCaml 5.1.1 + s390x code gen fix for Fedora 40 * Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 1.6.0-8 - OCaml 5.1.1 rebuild for Fedora 40 * Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 1.6.0-7 - OCaml 5.1 rebuild for Fedora 40 * Sat Sep 09 2023 Jerry James <loganjerry@gmail.com> - 1.6.0-6 - Rebuild for ocaml-ocamlgraph 2.1.0 * Sat Jul 29 2023 Jerry James <loganjerry@gmail.com> - 1.6.0-5 - Require cvc5 instead of cvc4 * Thu Jul 27 2023 Jerry James <loganjerry@gmail.com> - 1.6.0-4 - Rebuild for ocaml-zarith 1.13 * Sat Jul 22 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.6.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Tue Jul 18 2023 Jerry James <loganjerry@gmail.com> - 1.6.0-2 - Validate metadata with appstream-util * Thu Jul 13 2023 Jerry James <loganjerry@gmail.com> - 1.6.0-2 - Rebuild for mpfr 4.2.0 * Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 1.6.0-1 - Version 1.6.0 - Enable inference with BDDs - Add patch for coq 8.17 support |