Login
Preferences
Help/Guide
About Trac
Wiki
Blog
Context Navigation
←
Previous Change
Wiki History
Next Change →
Changes between
Version 3
and
Version 4
of
Tools/Z3
View differences
inline
side by side
Show
lines around each change
Show the changes in full context
Ignore:
Blank lines
Case changes
White space changes
Timestamp:
Aug 9, 2019, 11:24:43 AM (
18 months
ago)
Author:
schiptsov
Comment:
--
Legend:
Unmodified
Added
Removed
Modified
Tools/Z3
v3
v4
3
3
A theorem prover from Microsoft Research. Used by [wiki:/Tools/Clang LLVM/Clang]
4
4
5
Installing
5
6
{{{#!bash
6
7
git clone --depth=1 --recourse-submodules --shallow-submodules git://github.com/Z3Prover/z3