Author: esteffin
Date: Sat Oct 13 12:42:10 2018
New Revision: 344463
URL: http://llvm.org/viewvc/llvm-project?rev=344463&view=rev
Log:
[analyzer] Small SMT API improvement
Summary: Removed const qualifier from reset method of SMTSolver and Z3Solver
objects.
Reviewers: mikhail.ramalho, george.ka
Author: esteffin
Date: Sat Oct 13 12:45:48 2018
New Revision: 344464
URL: http://llvm.org/viewvc/llvm-project?rev=344464&view=rev
Log:
[analyzer] Improved cmake configuration for Z3
Summary:
Enhanced support for Z3 in the cmake configuration of clang; now it is possible
to specify any arbitrary
