Fri, 22 Nov 2019 11:11:04 UTC

Information for build why-2.41-7.fc32

ID1399516
Package Namewhy
Version2.41
Release7.fc32
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/why.git#81014a5a53d856d492a68bbc01bf9fd7463e3ce0
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 byjjames
State complete
Volume DEFAULT
StartedFri, 11 Oct 2019 22:31:55 UTC
CompletedFri, 11 Oct 2019 22:38:15 UTC
Taskbuild (f32-mpfr4, /rpms/why.git:81014a5a53d856d492a68bbc01bf9fd7463e3ce0)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/why.git#81014a5a53d856d492a68bbc01bf9fd7463e3ce0'}}
Tags
f32
f32-mpfr4
RPMs
src
why-2.41-7.fc32.src.rpm (info) (download)
aarch64
why-2.41-7.fc32.aarch64.rpm (info) (download)
why-all-2.41-7.fc32.aarch64.rpm (info) (download)
why-jessie-2.41-7.fc32.aarch64.rpm (info) (download)
why-debuginfo-2.41-7.fc32.aarch64.rpm (info) (download)
why-debugsource-2.41-7.fc32.aarch64.rpm (info) (download)
why-jessie-debuginfo-2.41-7.fc32.aarch64.rpm (info) (download)
armv7hl
why-2.41-7.fc32.armv7hl.rpm (info) (download)
why-all-2.41-7.fc32.armv7hl.rpm (info) (download)
why-jessie-2.41-7.fc32.armv7hl.rpm (info) (download)
why-debuginfo-2.41-7.fc32.armv7hl.rpm (info) (download)
why-debugsource-2.41-7.fc32.armv7hl.rpm (info) (download)
why-jessie-debuginfo-2.41-7.fc32.armv7hl.rpm (info) (download)
i686
why-2.41-7.fc32.i686.rpm (info) (download)
why-all-2.41-7.fc32.i686.rpm (info) (download)
why-jessie-2.41-7.fc32.i686.rpm (info) (download)
why-pvs-support-2.41-7.fc32.i686.rpm (info) (download)
why-debuginfo-2.41-7.fc32.i686.rpm (info) (download)
why-debugsource-2.41-7.fc32.i686.rpm (info) (download)
why-jessie-debuginfo-2.41-7.fc32.i686.rpm (info) (download)
ppc64le
why-2.41-7.fc32.ppc64le.rpm (info) (download)
why-all-2.41-7.fc32.ppc64le.rpm (info) (download)
why-jessie-2.41-7.fc32.ppc64le.rpm (info) (download)
why-debuginfo-2.41-7.fc32.ppc64le.rpm (info) (download)
why-debugsource-2.41-7.fc32.ppc64le.rpm (info) (download)
why-jessie-debuginfo-2.41-7.fc32.ppc64le.rpm (info) (download)
s390x
why-2.41-7.fc32.s390x.rpm (info) (download)
why-all-2.41-7.fc32.s390x.rpm (info) (download)
why-jessie-2.41-7.fc32.s390x.rpm (info) (download)
why-debuginfo-2.41-7.fc32.s390x.rpm (info) (download)
why-debugsource-2.41-7.fc32.s390x.rpm (info) (download)
why-jessie-debuginfo-2.41-7.fc32.s390x.rpm (info) (download)
x86_64
why-2.41-7.fc32.x86_64.rpm (info) (download)
why-all-2.41-7.fc32.x86_64.rpm (info) (download)
why-jessie-2.41-7.fc32.x86_64.rpm (info) (download)
why-pvs-support-2.41-7.fc32.x86_64.rpm (info) (download)
why-debuginfo-2.41-7.fc32.x86_64.rpm (info) (download)
why-debugsource-2.41-7.fc32.x86_64.rpm (info) (download)
why-jessie-debuginfo-2.41-7.fc32.x86_64.rpm (info) (download)
Logs
x86_64
root.log
build.log
hw_info.log
state.log
mock_output.log
ppc64le
hw_info.log
root.log
state.log
build.log
mock_output.log
aarch64
build.log
root.log
hw_info.log
state.log
mock_output.log
i686
build.log
root.log
state.log
hw_info.log
mock_output.log
s390x
build.log
hw_info.log
root.log
state.log
mock_output.log
armv7hl
build.log
root.log
hw_info.log
state.log
mock_output.log
Changelog * 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 * 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.