[llvm-dev] Publication: Counterexample-Guided Bit-Precision Selection

Tue Jan 30 17:12:12 PST 2018

Looks good, thanks!

On Tue, Jan 30, 2018 at 6:29 AM John Criswell <jtcriswel at gmail.com> wrote:

> On 11/29/17 7:42 PM, Zvonimir Rakamaric via llvm-dev wrote:
> > Counterexample-Guided Bit-Precision Selection
> I've added this publication to the publication list.  Please let me know
> if I need to make any corrections.
>
> Regards,
>
> John Criswell
>
>
> --
> John Criswell
> Assistant Professor
> Department of Computer Science, University of Rochester
> http://www.cs.rochester.edu/u/criswell
>
> --
http://zvonimir.info
http://soarlab.org
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180131/d1e48419/attachment.html>