alt-ergo-1.30-15.fc30 | Build Info

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

84825

Package Name

alt-ergo

Version

1.30

Release

15.fc30

Epoch

Summary

Automated theorem prover including linear arithmetic

Description

Alt-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 by

davidlt

State

complete

Volume

DEFAULT

Started

Mon, 10 Dec 2018 00:20:02 UTC

Completed

Mon, 10 Dec 2018 02:51:33 UTC

Task

build (f30-candidate, alt-ergo-1.30-15.fc30.src.rpm)

Tags

RPMs

src
	alt-ergo-1.30-15.fc30.src.rpm (info) (download)
riscv64
	alt-ergo-1.30-15.fc30.riscv64.rpm (info) (download)
	alt-ergo-gui-1.30-15.fc30.riscv64.rpm (info) (download)
	alt-ergo-debuginfo-1.30-15.fc30.riscv64.rpm (info) (download)
	alt-ergo-debugsource-1.30-15.fc30.riscv64.rpm (info) (download)
	alt-ergo-gui-debuginfo-1.30-15.fc30.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

Main Site Links:

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