Wed, 04 Dec 2024 17:31:17 UTC | login

Information for build alt-ergo-1.30-15.fc29

ID63967
Package Namealt-ergo
Version1.30
Release15.fc29
Epoch
SummaryAutomated theorem prover including linear arithmetic
DescriptionAlt-Ergo is an automated theorem prover implemented in OCaml. It is based on CC(X) - a congruence closure algorithm parameterized by an equational theory X. This algorithm is reminiscent of the Shostak algorithm. Currently CC(X) is instantiated by the theory of linear arithmetics. Alt-Ergo also contains a home made SAT-solver and an instantiation mechanism by which it fully supports quantifiers.
Built bydavidlt
State complete
Volume DEFAULT
StartedMon, 27 Aug 2018 00:40:03 UTC
CompletedMon, 27 Aug 2018 00:58:26 UTC
Taskbuild (f29-candidate, alt-ergo-1.30-15.fc29.src.rpm)
Tags
f29
f30
RPMs
src
alt-ergo-1.30-15.fc29.src.rpm (info) (download)
riscv64
alt-ergo-1.30-15.fc29.riscv64.rpm (info) (download)
alt-ergo-gui-1.30-15.fc29.riscv64.rpm (info) (download)
alt-ergo-debuginfo-1.30-15.fc29.riscv64.rpm (info) (download)
alt-ergo-debugsource-1.30-15.fc29.riscv64.rpm (info) (download)
alt-ergo-gui-debuginfo-1.30-15.fc29.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.30-15 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 1.30-14 - OCaml 4.07.0 (final) rebuild. * Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 1.30-13 - OCaml 4.07.0-rc1 rebuild. * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.30-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Sun Jan 07 2018 Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 1.30-11 - Remove obsolete scriptlets * Wed Nov 08 2017 Richard W.M. Jones <rjones@redhat.com> - 1.30-10 - OCaml 4.06.0 rebuild. * Mon Aug 07 2017 Richard W.M. Jones <rjones@redhat.com> - 1.30-9 - OCaml 4.05.0 rebuild. * Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.30-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.30-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Mon Jun 26 2017 Richard W.M. Jones <rjones@redhat.com> - 1.30-6 - OCaml 4.04.2 rebuild. * Fri May 12 2017 Richard W.M. Jones <rjones@redhat.com> - 1.30-5 - Bump release and rebuild. * Fri May 12 2017 Richard W.M. Jones <rjones@redhat.com> - 1.30-4 - Bump release and rebuild. * Fri May 12 2017 Richard W.M. Jones <rjones@redhat.com> - 1.30-3 - OCaml 4.04.1 rebuild. * Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.30-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Mon Nov 28 2016 Jerry James <loganjerry@gmail.com> - 1.30-1 - Update to version 1.30 * Mon Nov 07 2016 Richard W.M. Jones <rjones@redhat.com> - 1.01-3 - Rebuild for OCaml 4.04.0.