Sat, 20 Apr 2024 09:33:46 UTC | login

Information for build why-2.41-5.fc31

ID129452
Package Namewhy
Version2.41
Release5.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/why.git#d626ea58982d4b8f28202e0402f9a2ac92b73d4f
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
StartedSat, 21 Sep 2019 19:07:50 UTC
CompletedSat, 21 Sep 2019 19:41:04 UTC
Taskbuild (f31-candidate, /rpms/why.git:d626ea58982d4b8f28202e0402f9a2ac92b73d4f)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/why.git#d626ea58982d4b8f28202e0402f9a2ac92b73d4f'}}
Tags No tags
RPMs No RPMs
Changelog * 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 * Mon Feb 12 2018 Jerry James <loganjerry@gmail.com> - 2.40-1 - New upstream release - Add -num patch to fix incomplete num to zarith conversion * Fri Feb 09 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.39-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Thu Jan 18 2018 Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 2.39-4 - Remove obsolete scriptlets * Sat Dec 09 2017 Jerry James <loganjerry@gmail.com> - 2.39-3 - Bring back the -project patch, still needed (bz 1520483) - Add the -safe-string patch for building with ocaml 4.06.0 - Build the Jessie plugin with -runtime-variant _pic * Sat Dec 02 2017 Richard W.M. Jones <rjones@redhat.com> - 2.39-3 - OCaml 4.06.0 rebuild. * Sat Oct 07 2017 Jerry James <loganjerry@gmail.com> - 2.39-2 - Rebuild for why3 0.88.0