Summary
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.
Versions
v2.4.3-r2 :: 0/2.4.3 :: gentoo
- Modified
- License
- CeCILL-C
- Keywords
- amd64
- USE flags
- examples gui ocamlopt
USE flags
General
Dependencies
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 / 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
Runtime Dependencies
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 / 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
Depending packages
dev-lang / spark : Software development for high-reliability applications
Bugs
- 919248
- sci-mathematics/alt-ergo-2.4.3 - Failed to run command: dune build @install --display=short --profile release -j 4 --for-release-of-packages=alt-ergo-
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/alt-ergo: remove broken live 9999
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/alt-ergo: remove zarith pin; add ocplib-simplex-0.5 pin
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/alt-ergo: restrict zarith version
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/alt-ergo: drop old 2.4.2-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/alt-ergo: drop old 2.4.1-r2
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-mathematics/alt-ergo: Stabilize 2.4.3 amd64, #912295
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/alt-ergo: add live version
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/alt-ergo: bump to 2.4.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-mathematics/alt-ergo: Stabilize 2.4.2-r1 amd64, #892271
Signed-off-by: Sam James <sam@gentoo.org> - Andreas Sturmlechner · gentoo
sci-mathematics/alt-ergo: drop 2.3.0-r1, 2.4.1_p20220407-r1
2.3.0-r1 overshadowed by 2.4.1-r2 2.4.1_p20220407-r1 overshadowed by 2.4.2-r1 Closes: https://bugs.gentoo.org/769332 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org> - 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