Tue, 28 May 2024 21:03:15 UTC | login

Information for build why-2.41-11.fc33

ID151082
Package Namewhy
Version2.41
Release11.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/why.git#4ea920bebe1b2b1a1b50a8c499579350f4c47bd1
SummarySoftware verification platform
DescriptionWhy is a software verification platform that applies formal proving tools to annotated programs. It is currently capable of analysis of C (through "Frama-C"), Java (through the included tool "Krakatoa"), and potentially ML programs with some modification into Why's own ML-like language. Furthermore, Why is capable of analysis of any program that is mapped onto its own internal language. It uses a weakest precondition involving calculus to generate potential theorems necessary for the proof of a program's correctness. It translates these theorems into formats that can be used by external proof assistants (without any extra work Coq, PVS, HOL Light, and Mizar are supported - having one is recommended and both Coq and PVS are packaged for Fedora) and automated theorem provers (without any extra work Simplify, Alt-Ergo, Yices, Z3, CVC3, and Zenon are supported and Alt-Ergo, Z3, and Zenon are packaged for Fedora) so that these results can be externally proven, resulting in a proof of program correctness. Note: Each user account must be set up by running "why-config" at the command line (to set up a configuration file).
Built bydavidlt
State failed
Volume DEFAULT
StartedMon, 30 Mar 2020 10:43:34 UTC
CompletedMon, 30 Mar 2020 10:57:57 UTC
Taskbuild (f33, /rpms/why.git:4ea920bebe1b2b1a1b50a8c499579350f4c47bd1)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/why.git#4ea920bebe1b2b1a1b50a8c499579350f4c47bd1'}}
Tags No tags
RPMs No RPMs
Changelog * Fri Jan 31 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.41-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Thu Jan 23 2020 Jerry James <loganjerry@gmail.com> - 2.41-10 - Rebuild for apron 0.9.12 * Mon Dec 09 2019 Jerry James <loganjerry@gmail.com> - 2.41-9 - OCaml 4.09.0 (final) rebuild. * Tue Oct 29 2019 Jerry James <loganjerry@gmail.com> - 2.41-8 - Rebuild for why3 1.2.1 * Fri Oct 11 2019 Jerry James <loganjerry@gmail.com> - 2.41-7 - Rebuild for ocaml-mlgmpidl 1.2.11 * Mon Sep 23 2019 Jerry James <loganjerry@gmail.com> - 2.41-6 - Rebuild for frama-c 19.1 * Fri Sep 06 2019 Jerry James <loganjerry@gmail.com> - 2.41-5 - Rebuild for ocaml-zarith 1.9 * Fri Aug 02 2019 Jerry James <loganjerry@gmail.com> - 2.41-4 - Rebuild for frama-c 19.0 * Sat Jul 27 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.41-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Wed Jun 05 2019 Jerry James <loganjerry@gmail.com> - 2.41-3 - Rebuild for coq 8.9.1, why3 1.2.0, and frama-c 18.0 * Sun Feb 03 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.41-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Sat Jan 26 2019 Jerry James <loganjerry@gmail.com> - 2.41-1 - New upstream release - All patches have been upstreamed; drop them all * Sat Jul 14 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.40-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild