aboutsummaryrefslogtreecommitdiffstats
path: root/math/cvc4
Commit message (Expand)AuthorAgeFilesLines
* devel/boost-*: update to 1.68.0jbeich2018-08-091-0/+1
* math/cvc4: Fix the warning in 'make describe'yuri2018-07-241-1/+1
* math/cvc4: Update 1.5 -> 1.6yuri2018-07-236-31/+79
* math/cvc4: switch to GMP by defaultswills2018-07-081-1/+1
* New port: math/cvc4pi2018-06-216-0/+248