Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | devel/boost-*: update to 1.69.0 | Jan Beich | 2018-12-12 | 1 | -1/+1 |
* | devel/boost-*: update to 1.68.0 | Jan Beich | 2018-08-09 | 1 | -0/+1 |
* | math/cvc4: Fix the warning in 'make describe' | Yuri Victorovich | 2018-07-23 | 1 | -1/+1 |
* | math/cvc4: Update 1.5 -> 1.6 | Yuri Victorovich | 2018-07-22 | 6 | -31/+79 |
* | math/cvc4: switch to GMP by default | Steve Wills | 2018-07-08 | 1 | -1/+1 |
* | New port: math/cvc4 | Kurt Jaeger | 2018-06-21 | 6 | -0/+248 |