mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 11:17:07 +00:00
Code Activity
14259 commits 23 branches 48 tags 156 MiB
Commit graph

59 commits

Author SHA1 Message Date
Dan Liew 8ae60d300e Update information in `README.md` on ".NET" bindings. Since 
942b6ba5ec ``--dotnet`` needs to be
passed to enable the bindings.
 2016-01-11 23:50:37 +00:00
Dan Liew f9687e780a Link to the release notes in `README.md` 2015-12-12 11:50:38 +00:00
Dan Liew b4dd5d3d08 Rewrite intro text in `README.md`. 2015-12-12 11:46:02 +00:00
Dan Liew 560810ee67 Fix command line indent in `README.md` 2015-12-12 11:33:32 +00:00
Dan Liew 2947893e10 Partially document the Z3 bindings in `README.md` 2015-12-12 11:32:33 +00:00
Dan Liew 2bd9bbafe4 Re-organise the discussion of Clang, it is not a second class citizen 
and so doesn't deserve to be stuck at the end of the README. It also
**does** support OpenMP!
 2015-12-12 10:31:12 +00:00
Dan Liew f09fa3c87b Recent changes to the build system mean that setting a custom 
``--prefix=`` is likely to disable installing the Python bindings so
the old instructions aren't helpful. Reword them and mention using
``DESTDIR``.
 2015-12-12 10:22:56 +00:00
Dan Liew 08610ae243 Correct incorrect information on what `PREFIX is in README.md`. 
It isn't always the root of the Python install.
 2015-12-12 10:06:10 +00:00
Dan Liew 68247aa58f Convert README to markdown 2015-12-12 10:01:27 +00:00