Ubuntu
alt-ergo package

alt-ergo 2.4.1-1 source package in Ubuntu

Changelog

alt-ergo (2.4.1-1) unstable; urgency=medium

  * Team upload.
  * Fix d/watch.
  * New upstream release.
  * Adapt to new upstream build system.
  * Drop patches (obsolete).
  * Complete b-deps.
  * Add a patch to work with a recent menhir.
  * Update d/copyright.
  * Adapt to new upstream install system.

 -- Julien Puydt <email address hidden>  Fri, 22 Apr 2022 11:07:37 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
alt-ergo_2.4.1-1.dsc 2.2 KiB ee4ba629bc590e33d63a9ff458cef8cb13863620168b5237b2fc31fdf091163d
alt-ergo_2.4.1.orig.tar.gz 2.7 MiB ea107a30d563c969b7aa73ea556710cae9e5be9b05d12100a2665f14803eb45a
alt-ergo_2.4.1-1.debian.tar.xz 6.9 KiB 6305e187379e889e0b301bc7b8b6e0c6952080875bdeecbde9d49d330a17aaca

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.

alt-ergo-dbgsym: debug symbols for alt-ergo