[cfe-dev] [GSoC] Z3 Solver Proposal Revision

[Brenda So via cfe-dev]

Hi all,

I expanded and detailed my proposal base on George's advice last week --
would love to hear back from the community about other improvements I can
make to my report.

https://docs.google.com/document/d/1vg1-y1P9lChTyZ5ritxC6He-jIS8ARSfSryT4nXLhe0/edit?usp=sharing
<https://docs.google.com/document/d/1vg1-y1P9lChTyZ5ritxC6He-jIS8ARSfSryT4nXLhe0/edit?usp=sharing>

Thanks!
Brenda
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20180326/3e8c6c62/attachment.html>