package alt-ergo-free

  1. Overview
  2. Docs
The Alt-Ergo SMT prover

Install 

dune-project
 Dependency

alt-ergo.ocamlpro.com Readme Changelog CECILL-C License Edit opam file Versions (3)

Authors

  1. A
    Alt-Ergo developers

Maintainers

  1. A
    Alt-Ergo developers

Sources

alt-ergo-2.4.3-free.tar.gz
sha256=92c54ff471fda58f93e84b3fc200bda4677cd39006c357b5be07d594d1825c6f
md5=555b7e69a3c33917573896a527ac7505

doc/CHANGES.html

v2.4.3 (2023-04-14)

Build

  • Restrict the requirement version of Ocplib-simplex (PR #573)
  • Dune 3.0 or above required, see https://github.com/ocaml/dune/issues/5563 (PR #575)
  • Zarith 1.4 or above required
  • Cairo2 0.6.4 or above required
  • psmt2-frontend 0.4 or above required
  • Using js_of_ocaml with a version between 4.0.1 and 5.0.1 required (PR #575)

Bug fixes

  • Fix soundness issues in the arithmetic reasoner #476, #477, #479 (PR #573)

Regression fixes

  • Remove flattening, see issues #505, #567 (PR #573)
  • Using a weak table for the Shostak.combine cache to prevent some regressions (PR #573)