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.4.2-r1 :: 0/2.4.2 :: gentoo

Modified
License
CeCILL-C
Keywords
~amd64
USE flags
examples gui ocamlopt

v2.4.1_p20220407-r1 :: 0/2.4.1_p20220407 :: gentoo

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

v2.4.1-r2 :: 0/2.4.1 :: gentoo

Modified
License
CeCILL-C
Keywords
amd64
USE flags
examples ocamlopt

v2.3.0-r1 :: 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)
gui
Enable support for a graphical user interface
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 / cmdliner : Declarative definition of command line interfaces for OCaml

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

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

dev-ml / lablgtk-sourceview : 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 / stdlib-shims : Pure OCaml library that allows replacing Pervasives with Stdlib before 4.08

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 / cmdliner : Declarative definition of command line interfaces for OCaml

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

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

dev-ml / lablgtk-sourceview : 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 / stdlib-shims : Pure OCaml library that allows replacing Pervasives with Stdlib before 4.08

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
879171
sci-mathematics/alt-ergo-2.4.2-r1 fails to compile (lto): undefined reference to zlibstubs.c.2afc682a
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/alt-ergo: remove seq reference from dune build file
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/alt-ergo: 2.4.2 - do not depend on seq
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/alt-ergo: bump to 2.4.2
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
sci-mathematics/alt-ergo: require ocamlopt
Closes: https://bugs.gentoo.org/849374 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
sci-mathematics/alt-ergo: fix OCaml dep
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/alt-ergo: bump to 2.4.1_p20220407
2022.04.07 snapshot; bumped to get new cmdliner dependency, added in https://github.com/OCamlPro/alt-ergo/commit/92e831bf26b6f9d1478cd263e46e1a088fea29a8 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
sci-mathematics/alt-ergo: depend on cmdliner <1.1.0
https://opam.ocaml.org/packages/alt-ergo/ Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
sci-mathematics/alt-ergo: amd64 stable wrt bug #834375
Package-Manager: Portage-3.0.30, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/alt-ergo: fix deps
Closes: https://bugs.gentoo.org/830140 Closes: https://bugs.gentoo.org/830156 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/alt-ergo: bump to 2.4.1
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
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