aboutsummaryrefslogtreecommitdiff
path: root/math/cvc4
Commit message (Expand)AuthorAgeFilesLines
* *: Remove unnecessary 'port' argument from USES=readlineYasuhiro Kimura2021-05-151-1/+1
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* math/cryptominisat and math/py-cryptominisat: Update to 5.7.1Gleb Popov2020-07-091-1/+1
* Move devel/swig30 to devel/swig and update to 4.0.1Sunpoet Po-Chuan Hsieh2020-06-172-2/+42
* devel/boost-*: update to 1.72.0Jan Beich2019-12-111-1/+1
* Clean up after java/openjdk6 and java/openjdk6-jre removalJung-uk Kim2019-11-261-1/+1
* devel/boost-*: update to 1.71.0Jan Beich2019-08-191-1/+1
* math/cvc4: simplify post-patchFernando Apesteguía2019-08-061-2/+2
* math/cvc4: Fix headersFernando Apesteguía2019-08-051-0/+5
* math/cvc4: update to 1.7Fernando Apesteguía2019-08-0114-120/+221
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2019-07-261-1/+1
* math/cvc4: Remove llvm60 build dependencyTobias Kortkamp2019-05-271-7/+2
* devel/boost-*: update to 1.70.0Jan Beich2019-04-121-1/+1
* Update devel/readline to 8.0Sunpoet Po-Chuan Hsieh2019-04-091-1/+1
* devel/boost-*: update to 1.69.0Jan Beich2018-12-121-1/+1
* devel/boost-*: update to 1.68.0Jan Beich2018-08-091-0/+1
* math/cvc4: Fix the warning in 'make describe'Yuri Victorovich2018-07-231-1/+1
* math/cvc4: Update 1.5 -> 1.6Yuri Victorovich2018-07-226-31/+79
* math/cvc4: switch to GMP by defaultSteve Wills2018-07-081-1/+1
* New port: math/cvc4Kurt Jaeger2018-06-216-0/+248