aboutsummaryrefslogtreecommitdiff
path: root/math/cvc4
Commit message (Expand)AuthorAgeFilesLines
* 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