Sat, 24 Sep 2022 16:24:55 UTC

Information for build alt-ergo-0.92.1-1.fc13

ID199824
Package Namealt-ergo
Version0.92.1
Release1.fc13
Epoch
SummaryAutomated 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 bydwheeler
State complete
Volume fedora_koji_archive00
StartedSat, 09 Oct 2010 15:51:16 UTC
CompletedSat, 09 Oct 2010 15:54:43 UTC
Taskbuild (dist-f13-updates-candidate, /alt-ergo:aee27769b6259b418fe8684ceaa3f66f9aca5337)
Tags
dist-f13-updates
RPMs
src
alt-ergo-0.92.1-1.fc13.src.rpm (info) (download)
i686
alt-ergo-0.92.1-1.fc13.i686.rpm (info) (download)
x86_64
alt-ergo-0.92.1-1.fc13.x86_64.rpm (info) (download)
Logs
i686
build.log
root.log
state.log
x86_64
build.log
root.log
state.log
Changelog * Wed Oct 06 2010 David A. Wheeler <dwheeler@dwheeler.com> 0.92.1-1 - Update to version 0.92.1. This means: - New built-in syntax for the theory of arrays - Fixes a bug in the arithmetic module - Allows folding and unfolding of predicate definitions * Tue Jun 08 2010 David A. Wheeler <dwheeler@dwheeler.com> 0.91-1 - Update to version 0.91. This means: - partial support for non-linear arithmetics - support case split on integer variables - new support for Euclidean division and modulo operators * Tue Aug 04 2009 Alan Dunn <amdunn@gmail.com> 0.9-2 - Added ExcludeArch sparc64 due to no OCaml * Fri Jul 24 2009 Alan Dunn <amdunn@gmail.com> 0.9-1 - New upstream version - Removed code for check for Fedora version (8) that is EOL - Removed comments re: CeCILL-C license as it is ok to have (no rpmlint warnings to explain either). * Wed Jun 17 2009 Karsten Hopp <karsten@redhat.com> 0.8-5.1 - ExcludeArch s390x as there's no ocaml available * Mon Feb 23 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.8-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild * Wed Dec 24 2008 Alan Dunn <amdunn@gmail.com> 0.8-4 - Rebuild: Source upstream appears to have changed even with same version number (seems like bug fix from examination of changes) - Changed hardcoded version number in source string * Fri Sep 05 2008 Alan Dunn <amdunn@gmail.com> 0.8-3 - Fixed BuildRequires to add prelink (for execstack). * Tue Aug 26 2008 Alan Dunn <amdunn@gmail.com> 0.8-2 - Fixed BuildRequires to add ocaml-ocamlgraph-devel instead of ocaml-ocamlgraph, made other minor changes. * Mon Aug 25 2008 Alan Dunn <amdunn@gmail.com> 0.8-1 - Initial Fedora RPM version.