[GSoC] Z3 Solver Proposal Revision

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

[GSoC] Z3 Solver Proposal Revision

Louis Dionne 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.


Thanks!
Brenda

_______________________________________________
cfe-dev mailing list
[hidden email]
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev