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

Brenda So via cfe-dev cfe-dev at lists.llvm.org
Mon Mar 26 09:51:01 PDT 2018


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>


More information about the cfe-dev mailing list