[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