Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
https://stp.github.io/
Overview
Dependencies
QA report
Pull requests
0
Bugs
2
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2024-11-22
Rename dev-python/{OutputCheck → outputcheck}
1cb7588
Michał Górny
committed on 2024-11-22 21:31:26 UTC
sci-mathematics/stp/stp-2.3.4.ebuild
Commits on 2024-06-28
sci-mathematics/stp: build tweaks
57c9698
Maciej Barć
committed on 2024-06-28 23:27:08 UTC
sci-mathematics/stp/stp-2.3.3-r3.ebuild
sci-mathematics/stp/stp-2.3.4.ebuild
Commits on 2024-06-27
sci-mathematics/stp: bump to 2.3.4
e30f1a8
Maciej Barć
committed on 2024-06-27 22:42:22 UTC
sci-mathematics/stp/files/stp-2.3.4-gtest.patch
sci-mathematics/stp/files/stp-2.3.4-lit-cfg.patch
sci-mathematics/stp/stp-2.3.4.ebuild
sci-mathematics/stp/Manifest
Commits on 2024-04-29
sci-mathematics/stp: enable py3.12 compat
351b0d9
Maciej Barć
committed on 2024-04-29 18:57:28 UTC
sci-mathematics/stp/stp-2.3.3-r3.ebuild
Commits on 2023-02-21
sci-mathematics/stp: update PYTHON_COMPAT; add help2man to BDEPEND
335dfaf
Maciej Barć
committed on 2023-02-21 23:54:00 UTC
sci-mathematics/stp/stp-2.3.3-r3.ebuild
sci-mathematics/stp/stp-2.3.3-r2.ebuild
Commits on 2023-02-20
sci-mathematics/stp: patch - include cstdint
c7aee64
Maciej Barć
committed on 2023-02-20 00:53:39 UTC
sci-mathematics/stp/files/stp-2.3.3-cstdint.patch
sci-mathematics/stp/stp-2.3.3-r2.ebuild
sci-mathematics/stp: rename patches
337f35c
Maciej Barć
committed on 2023-02-20 00:53:39 UTC
sci-mathematics/stp/files/stp-2.3.3-CMakeLists.txt-fix_cflags.patch
sci-mathematics/stp/files/stp-2.3.3-stp.py-library_path.patch
sci-mathematics/stp/stp-2.3.3-r2.ebuild
sci-mathematics/stp/files/stp-CMakeLists.txt-fix_cflags.patch
sci-mathematics/stp/files/stp-stp.py-library_path.patch
Commits on 2023-01-14
*/*: remove py3.8 from PYTHON_COMPAT
ed46802
David Seifert
committed on 2023-01-14 12:51:19 UTC
sci-mathematics/stp/stp-2.3.3-r2.ebuild
Commits on 2022-11-06
sci-mathematics/stp: do not run C API tests
d1f7a35
Maciej Barć
committed on 2022-11-06 20:10:54 UTC
sci-mathematics/stp/stp-2.3.3-r2.ebuild
Commits on 2022-08-08
sci-mathematics/stp: compile python modules
b7c9de6
Maciej Barć
committed on 2022-08-08 20:45:05 UTC
sci-mathematics/stp/stp-2.3.3-r2.ebuild
sci-mathematics/stp/stp-2.3.3-r1.ebuild
Commits on 2022-08-06
sci-mathematics/stp: filter LTO (ODR)
75cac06
Maciej Barć
committed on 2022-08-06 23:51:36 UTC
sci-mathematics/stp/stp-2.3.3-r1.ebuild
Commits on 2021-12-27
sci-mathematics/stp: multiple fixes
317c9f6
Maciej Barć
committed on 2021-12-27 13:08:10 UTC
sci-mathematics/stp/files/stp-CMakeLists.txt-fix_cflags.patch
sci-mathematics/stp/files/stp-stp.py-library_path.patch
sci-mathematics/stp/stp-2.3.3-r1.ebuild
sci-mathematics/stp/Manifest
sci-mathematics/stp/metadata.xml
sci-mathematics/stp/stp-2.3.3.ebuild
sci-mathematics/stp: dev-libs -> sci-mathematics
6f0b9d2
Maciej Barć
committed on 2021-12-27 13:07:02 UTC
sci-mathematics/stp/Manifest
sci-mathematics/stp/metadata.xml
sci-mathematics/stp/stp-2.3.3.ebuild