UILD_EXAMPLES:BOOL=ON
> -DLLVM_TARGETS_TO_BUILD=X86 -DLLVM_LIT_ARGS="-v -j8"
> C:\src\upstream\llvm_clean
>
> Douglas Yung
>
> -Original Message-----
> From: cfe-commits On Behalf Of
> Mikhail R. Gadelha via cfe-commits
> Sent: Wednesday, February 6, 20
-commits On Behalf Of Mikhail R.
Gadelha via cfe-commits
Sent: Wednesday, February 6, 2019 19:18
To: cfe-commits@lists.llvm.org
Subject: r353370 - Generalised the SMT state constraints
Author: mramalho
Date: Wed Feb 6 19:17:36 2019
New Revision: 353370
URL: http://llvm.org/viewvc/llvm-
Author: mramalho
Date: Wed Feb 6 19:17:36 2019
New Revision: 353370
URL: http://llvm.org/viewvc/llvm-project?rev=353370&view=rev
Log:
Generalised the SMT state constraints
This patch moves the ConstraintSMT definition to the SMTConstraintManager
header to make it easier to move the Z3 backend a
