sci-mathematics / alt-ergo

Automatic theorem prover

Official package sites : https://alt-ergo.ocamlpro.com ·

Alt-Ergo is an open-source automatic solver of mathematical formulas designed for program verification. It is based on Satisfiability Modulo Theories (SMT). Solvers of this family have made impressive advances and became very popular during the last decade. They are now used is various domains such as hardware design, software verification and formal testing.

v2.3.0 :: 0 :: gentoo

Modified
License
CeCILL-C
Keywords
amd64
USE flags
examples gtk ocamlopt

General

examples
Install examples, usually source code
gtk
Add support for x11-libs/gtk+ (The GIMP Toolkit)
ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / camlzip : Compressed file access ML library (ZIP, GZIP and JAR)

dev-ml / dune : A composable build system for OCaml

dev-ml / lablgtk : OCaml bindings to GTK-3

dev-ml / menhir : LR(1) parser generator for the OCaml language

dev-ml / num : Library for arbitrary-precision integer and rational arithmetic

dev-ml / ocplib-simplex : A library implementing a simplex algorithm

dev-ml / seq : Compatibility package for the standard OCaml iterator type

dev-ml / zarith : Arithmetic and logic operations over arbitrary-precision integers

sci-mathematics / psmt2-frontend : Library to parse and type-check an extension of the SMT-LIB 2 standard

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / camlzip : Compressed file access ML library (ZIP, GZIP and JAR)

dev-ml / dune : A composable build system for OCaml

dev-ml / lablgtk : OCaml bindings to GTK-3

dev-ml / menhir : LR(1) parser generator for the OCaml language

dev-ml / num : Library for arbitrary-precision integer and rational arithmetic

dev-ml / ocplib-simplex : A library implementing a simplex algorithm

dev-ml / seq : Compatibility package for the standard OCaml iterator type

dev-ml / zarith : Arithmetic and logic operations over arbitrary-precision integers

sci-mathematics / psmt2-frontend : Library to parse and type-check an extension of the SMT-LIB 2 standard

dev-lang / spark : Software development for high-reliability applications.

769332
sci-mathematics/alt-ergo[gtk] depends on dev-ml/lablgtk:2
805002
sci-mathematics/alt-ergo-2.4.1 version bump
Repository mirror & CI · gentoo
Merge updates from master
Jakov Smolic · gentoo
sci-mathematics/alt-ergo: Remove old
Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/alt-ergo: enforce ocamlopt=
We need to have ocamlopt on/off consistently throughout the system, so use the '=' operator to force it off where it's disabled on this package. Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
sci-mathematics/alt-ergo: add subslot deps for OCaml
We need subslot deps on any OCaml (R)DEPENDs because we must be rebuilt when they update, for consistency. Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
sci-mathematics/alt-ergo: fix MissingSlotDep in older version
Only supports lablgtk:2 for now. See: https://github.com/OCamlPro/alt-ergo/issues/246 Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
sci-mathematics/alt-ergo: depend only on lablgtk:2
Bug: https://bugs.gentoo.org/758638 Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
sci-mathematics/alt-ergo: fix dependency
Closes: https://bugs.gentoo.org/758245 Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
sci-mathematics/alt-ergo: better fix for QA_FLAGS_IGNORED
Closes: https://bugs.gentoo.org/725558 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Thomas Deutschmann · gentoo
sci-mathematics/alt-ergo: fix QA_FLAGS_IGNORED
Package-Manager: Portage-2.3.100, Repoman-2.3.22 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
sci-mathematics/alt-ergo: fix dependency
Closes: https://bugs.gentoo.org/716416 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
sci-mathematics/alt-ergo: fix build with ocaml-4.09
Closes: https://bugs.gentoo.org/712032 Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
sci-mathematics/alt-ergo: add dev-ml/seq dependency
Closes: https://bugs.gentoo.org/692252 Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
sci-mathematics/alt-ergo: stable
Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
sci-mathematics/alt-ergo: fix BadInsIntoDir warning
Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
sci-mathematics/alt-ergo: fix build
Closes: https://bugs.gentoo.org/692252 Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
sci-mathematics/alt-ergo: bump to 2.3.0
Package-Manager: Portage-2.3.66, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
sci-mathematics/alt-ergo: Fix dependency
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
sci-mathematics/alt-ergo: Stable release
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Michael Mair-Keimberger · gentoo
sci-mathematics/alt-ergo: use HTTPs
Tupone Alfredo · gentoo
sci-mathematics/alt-ergo: Adding alt-ergo 1.30
Package-Manager: Portage-2.3.8, Repoman-2.3.3