summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/cvc4: add github upstream metadataAlfredo Tupone2022-12-051-0/+3
* sci-mathematics/cvc4: drop toml usageAlfredo Tupone2022-11-112-3/+52
* sci-mathematics/cvc4: fix PythonHasVersionUsageSam James2022-10-151-1/+1
* sci-mathematics/cvc4: use <pkg> tag in metadata.xmlPetr Vaněk2022-08-261-1/+1
* sci-mathematics/cvc4: fix deps checkAlfredo Tupone2022-02-171-3/+6
* sci-mathematics/cvc4: revbump for CMake config file fixSam James2022-02-091-0/+0
* sci-mathematics/cvc4: fix library pathAlfredo Tupone2022-02-081-0/+9
* sci-mathematics/cvc4: fix depsAlfredo Tupone2022-02-081-1/+5
* sci-mathematics/cvc4: remove unused CMake variablesAlfredo Tupone2022-02-081-3/+1
* sci-mathematics/cvc4: PythonCompatUpdateAlfredo Tupone2022-02-052-4/+4
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* sci-mathematics/cvc4: version bump to 1.8Alfredo Tupone2021-05-273-0/+98
* sci-mathematics/cvc4: python3_9, switch to cmake.eclassAndreas Sturmlechner2021-04-051-10/+9
* */*: Remove obsolete values from PYTHON_COMPATMichał Górny2021-01-311-1/+1
* sci-mathematics/cvc4: Remove oldJakov Smolic2021-01-202-25/+0
* sci-mathematics/cvc4: add python depAlfredo Tupone2021-01-201-2/+5
* */*: [QA] Use consistent function definition formattingDavid Seifert2020-02-221-2/+2
* sci-mathematics/cvc4: Add readline use flagTupone Alfredo2019-07-251-1/+3
* sci-mathematics/cvc4: add statistics, replay and proofs use flagTupone Alfredo2019-07-232-1/+8
* sci-mathematics/cvc4: Fix sandbox issueTupone Alfredo2019-07-181-0/+8
* sci-mathematics/cvc4: Bump to 1.7Tupone Alfredo2019-07-143-0/+90
* sci-mathematics/cvc4: Add cvc4 to the treeTupone Alfredo2018-07-183-0/+42