alt-ergo 0.95.2-1 source package in Ubuntu
Changelog
alt-ergo (0.95.2-1) sid; urgency=low * New upstream release. * Update debian/watch, now points to ocamlpro site. * Refresh patch 0001-No-need-to-activate-debug-flag.patch * Drop patch 0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch: the file test.mlw is no longer relevant. * drop patches that have been applied by upstream: - 0003-Fix-a-typo.patch - 0004-Add-rules-and-targets-for-gui.byte.patch - 0005-Look-for-cma-instead-of-cmxa-for-lablgtksourceview2.patch - 0007-Fix-all-target.patch - 0008-Split-install-pack-into-two-separate-targets-opt-and.patch - 0009-clean-remove-META.patch * Add build-dependency on libzarith-ocaml-dev * debian/rules: - drop backup of .depend which is no longer needed - drop overwrite for dh_auto_configure - in dh_auto_build target, drop touching of configure * debian/copyright: - update Download field to ocamlpro - Upstream Contact : add alt-ergo-bugs mailing list - Update copyright holder and year for files * - Put paragraphs into the right order * install examples/ into /usr/share/doc/alt-ergo * Standards-version 3.9.5 (no change) -- Ralf Treinen <email address hidden> Sun, 17 Nov 2013 14:25:38 +0100
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
alt-ergo_0.95.2-1.dsc | 2.2 KiB | b8e7310718d6f7999cd81ff86622fc2eff1edc901af20acc5e63ea3fea97d291 |
alt-ergo_0.95.2.orig.tar.gz | 228.3 KiB | 5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac |
alt-ergo_0.95.2-1.debian.tar.gz | 11.7 KiB | d78d0203b4a426358a69de21593485db62814ae28e8f3e4d1ee697c0301ebe99 |
Available diffs
- diff from 0.95.1-3 to 0.95.2-1 (384.3 KiB)
No changes file available.
Binary packages built by this source
- alt-ergo: Automatic theorem prover dedicated to program verification
Alt-Ergo is an automatic theorem prover geared towards application in
program verification. It is based on CC(X), a congruence closure
algorithm parameterized by an equational theory X. Alt-Ergo has
built-in provers for propositional logic, linear arithmetic,
uninterpreted function symbols, associative-commutative function
symbols, polymorphic arrays, user-defined polymorphic record types
and polymorphic enumeration types. It has restricted support for
reasoning over arbitrary user-defined algebraic types, first-order
quantifiers, and non-linear arithmetic.
.
This package contains the prover as a command-line executable
as well as the graphical interface.
- libalt-ergo-ocaml-dev: Theorem prover dedicated to program verification - libraries
Alt-Ergo is an automatic theorem prover geared towards application in
program verification. It is based on CC(X), a congruence closure
algorithm parameterized by an equational theory X. Alt-Ergo has
built-in provers for propositional logic, linear arithmetic,
uninterpreted function symbols, associative-commutative function
symbols, polymorphic arrays, user-defined polymorphic record types
and polymorphic enumeration types. It has restricted support for
reasoning over arbitrary user-defined algebraic types, first-order
quantifiers, and non-linear arithmetic.
.
This package contains the development libraries that are useful when
writing OCaml programs linking to the alt-ergo API.