Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2020-05-31 | Explicitly read files as unicode for Python 3. The content is converted | joerg | 1 | -2/+3 |
2018-12-18 | z3: Upgrade to 4.8.3 | kamil | 1 | -10/+6 |
2018-10-01 | z3: rlim_t fixes. | jperkin | 1 | -1/+2 |
2018-06-15 | z3: Fix broken build system by pretending SunOS is Linux. | jperkin | 1 | -2/+2 |
2018-03-13 | Re-introduce support for NetBSD in src/util/scoped_timer.cpp | khorben | 1 | -1/+2 |
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 |