| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/z3: Remove old |   Michał Górny | 2024-03-23 | 2 | -120/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.13.0 ppc64, #927602 |   Sam James | 2024-03-23 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.13.0 arm64, #927602 | Michał Górny | 2024-03-23 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.13.0 x86, #927602 | Michał Górny | 2024-03-23 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.13.0 amd64, #927602 | Michał Górny | 2024-03-23 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.13.0 sparc, #927602 | Michał Górny | 2024-03-23 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.13.0 arm, #927602 | Michał Górny | 2024-03-23 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Remove old | Michał Górny | 2024-03-16 | 2 | -120/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.6 x86, #927109 |   Arthur Zamarin | 2024-03-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.6 amd64, #927109 | Arthur Zamarin | 2024-03-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.6 arm, #927109 | Arthur Zamarin | 2024-03-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.6 sparc, #927109 | Arthur Zamarin | 2024-03-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.6 arm64, #927109 | Arthur Zamarin | 2024-03-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.6 ppc64, #927109 | Arthur Zamarin | 2024-03-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: remove the filter-lto/fno-strict-aliasing |   Eli Schwartz | 2024-03-08 | 1 | -13/+1 |
| | | | | | | | | | The fix for this was featured in version 4.13.0, yay. Bug: https://bugs.gentoo.org/879327 Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Bump to 4.13.0 | Michał Górny | 2024-03-08 | 2 | -0/+120 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: mark as LTO-unsafe, strict-aliasing unsafe | Eli Schwartz | 2024-03-04 | 2 | -2/+26 |
| | | | | | | | | | | The strict-aliasing violation happens only in a test program. However, that does mean we cannot test that z3 works when built with LTO... Closes: https://bugs.gentoo.org/879327 Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Bump to 4.12.6 | Michał Górny | 2024-02-26 | 2 | -0/+108 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | */*: Reassign gienah's packages | Michał Górny | 2024-02-14 | 1 | -3/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Remove old | Michał Górny | 2024-02-09 | 2 | -108/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.5 amd64, #924099 | Sam James | 2024-02-09 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.5 arm, #924099 | Michał Górny | 2024-02-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.5 arm64, #924099 | Michał Górny | 2024-02-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.5 ppc64, #924099 | Michał Górny | 2024-02-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.5 x86, #924099 | Michał Górny | 2024-02-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.5 sparc, #924099 | Michał Górny | 2024-02-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Bump to 4.12.5 | Michał Górny | 2024-01-22 | 2 | -0/+108 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | Move {app-doc → app-text}/doxygen | Michał Górny | 2024-01-12 | 1 | -1/+1 |
| | | | | | | | | | Per the category metadata, app-doc/ is reserved for documentation *files* and not software. Move it to app-text/ where it seems a better fit. Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Remove old | Michał Górny | 2024-01-06 | 2 | -112/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.4 amd64, #921493 | Michał Górny | 2024-01-06 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.4 x86, #921493 | Michał Górny | 2024-01-06 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.4 ppc64, #921493 | Arthur Zamarin | 2024-01-06 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.4 sparc, #921493 | Sam James | 2024-01-06 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.4 arm64, #921493 | Sam James | 2024-01-06 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.4 arm, #921493 | Sam James | 2024-01-06 | 1 | -2/+2 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Remove old | Michał Górny | 2023-12-21 | 3 | -125/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.3 x86, #920427 | Arthur Zamarin | 2023-12-21 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.3 arm64, #920427 | Sam James | 2023-12-21 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.3 arm, #920427 | Sam James | 2023-12-21 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.3 amd64, #920427 | Sam James | 2023-12-21 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.3 sparc, #920427 | Sam James | 2023-12-21 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.3 ppc64, #920427 | Sam James | 2023-12-21 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Bump to 4.12.4 | Michał Górny | 2023-12-07 | 2 | -0/+108 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Bump to 4.12.3 | Michał Górny | 2023-12-05 | 2 | -0/+112 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Remove old | Michał Górny | 2023-12-02 | 2 | -108/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.2 ppc64, #919030 | Arthur Zamarin | 2023-12-02 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.2 x86, #919030 | Michał Górny | 2023-12-02 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.2 amd64, #919030 | Arthur Zamarin | 2023-12-02 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.2 sparc, #919030 | Arthur Zamarin | 2023-12-02 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.2 arm, #919030 | Arthur Zamarin | 2023-12-02 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
GitWeb