summaryrefslogtreecommitdiff
path: root/math/z3
AgeCommit message (Expand)AuthorFilesLines
2018-11-12Revbumps associated with update of lang/ocaml.jaapb1-2/+2
2018-10-01z3: rlim_t fixes.jperkin2-1/+17
2018-07-19Recursive revbump associated with the update of lang/ocaml to 4.07.jaapb1-2/+2
2018-06-15z3: Fix broken build system by pretending SunOS is Linux.jperkin2-6/+27
2018-04-13Revbump associated with the upgrade of lang/ocamljaapb1-2/+2
2018-03-13Re-introduce support for NetBSD in src/util/scoped_timer.cppkhorben3-2/+63
2018-03-13Import a package for the Python bindings for math/z3khorben1-1/+2
2018-03-13Remove the references to wipkhorben2-7/+6
2018-03-13Update math/z3 to version 4.5.0khorben11-113/+304
2018-03-11Requires ocaml-num with ocaml 4.06dholland1-1/+2
2018-02-27z3: forbid python 3.xwiz1-1/+3
2018-02-23Add support for DESTDIRkhorben2-6/+18
2018-01-10Recursive revbump associated with the update to OCaml 4.06.jaapb1-2/+2
2017-09-08Recursive revbump associated with update of ocaml to 4.05jaapb1-2/+2
2017-07-11Revbump associated with ocaml-4.04.2jaapb1-2/+2
2016-12-30Recursive revbump associated with ocaml update to 4.04.jaapb1-2/+2
2016-07-16gcc6 build fixmarkd3-1/+33
2016-05-05Recursive revbump associated with ocaml update.jaapb1-1/+2
2015-11-24Package the Z3 theorem prover / SMT solver from Microsoft Research.dholland6-0/+112