| Commit message (Expand) | Author | Age | Files | Lines |
* | sci-mathematics/cvc4: fix build with bash 5.2 | ![](//www.gravatar.com/avatar/0a351bb55568e34d636b135001b1ca7b?s=13&d=retro) Kai-Chun Ning | 2023-03-05 | 2 | -0/+45 |
* | sci-mathematics/cvc4: add support to python 3.11 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-02-22 | 1 | -1/+1 |
* | sci-mathematics/cvc4: drop 1.7-r1 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-01-29 | 4 | -107/+0 |
* | */*: remove py3.8 from PYTHON_COMPAT | ![](//www.gravatar.com/avatar/ad749c7d33947840e611b0e18be937fa?s=13&d=retro) David Seifert | 2023-01-14 | 2 | -4/+4 |
* | sci-mathematics/cvc4: add github upstream metadata | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2022-12-05 | 1 | -0/+3 |
* | sci-mathematics/cvc4: drop toml usage | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2022-11-11 | 2 | -3/+52 |
* | sci-mathematics/cvc4: fix PythonHasVersionUsage | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2022-10-15 | 1 | -1/+1 |
* | sci-mathematics/cvc4: use <pkg> tag in metadata.xml | ![](//www.gravatar.com/avatar/086821e29bf6b1de4cbf07438d719f9a?s=13&d=retro) Petr Vaněk | 2022-08-26 | 1 | -1/+1 |
* | sci-mathematics/cvc4: fix deps check | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2022-02-17 | 1 | -3/+6 |
* | sci-mathematics/cvc4: revbump for CMake config file fix | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2022-02-09 | 1 | -0/+0 |
* | sci-mathematics/cvc4: fix library path | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2022-02-08 | 1 | -0/+9 |
* | sci-mathematics/cvc4: fix deps | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2022-02-08 | 1 | -1/+5 |
* | sci-mathematics/cvc4: remove unused CMake variables | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2022-02-08 | 1 | -3/+1 |
* | sci-mathematics/cvc4: PythonCompatUpdate | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2022-02-05 | 2 | -4/+4 |
* | **/metadata.xml: Replace http by https in DOCTYPE element | ![](//www.gravatar.com/avatar/9b780464538c2e5d91e7ef48683ad46d?s=13&d=retro) Ulrich Müller | 2021-09-11 | 1 | -1/+1 |
* | sci-mathematics/cvc4: version bump to 1.8 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2021-05-27 | 3 | -0/+98 |
* | sci-mathematics/cvc4: python3_9, switch to cmake.eclass | ![](//www.gravatar.com/avatar/14613e7fdf5b7bdc0425cd471de146f4?s=13&d=retro) Andreas Sturmlechner | 2021-04-05 | 1 | -10/+9 |
* | */*: Remove obsolete values from PYTHON_COMPAT | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2021-01-31 | 1 | -1/+1 |
* | sci-mathematics/cvc4: Remove old | ![](//www.gravatar.com/avatar/d063c251b05894b79bae4e053da5a705?s=13&d=retro) Jakov Smolic | 2021-01-20 | 2 | -25/+0 |
* | sci-mathematics/cvc4: add python dep | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2021-01-20 | 1 | -2/+5 |
* | */*: [QA] Use consistent function definition formatting | ![](//www.gravatar.com/avatar/ad749c7d33947840e611b0e18be937fa?s=13&d=retro) David Seifert | 2020-02-22 | 1 | -2/+2 |
* | sci-mathematics/cvc4: Add readline use flag | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2019-07-25 | 1 | -1/+3 |
* | sci-mathematics/cvc4: add statistics, replay and proofs use flag | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2019-07-23 | 2 | -1/+8 |
* | sci-mathematics/cvc4: Fix sandbox issue | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2019-07-18 | 1 | -0/+8 |
* | sci-mathematics/cvc4: Bump to 1.7 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2019-07-14 | 3 | -0/+90 |
* | sci-mathematics/cvc4: Add cvc4 to the tree | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2018-07-18 | 3 | -0/+42 |