Displaying 1 result from an estimated 1 matches for "d594e46f".
2018 Mar 15
1
[GSoC 2018] Integrate with Z3 SMT solver to reduce false positives.
...tManager.cpp
I guess my question is, what would the project contribute on top of the z3
manager that is currently implemented for LLVM?
Thanks!
Brenda
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180314/d594e46f/attachment.html>