Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2018-03-13 | Update math/z3 to version 4.5.0 | khorben | 1 | -12/+8 |
2018-02-23 | Add support for DESTDIR | khorben | 1 | -2/+2 |
2016-07-16 | gcc6 build fix | markd | 1 | -1/+3 |
2015-11-24 | Package the Z3 theorem prover / SMT solver from Microsoft Research. | dholland | 1 | -0/+11 |