I'm sorry. I fixed it.<br><br>Douglas<br><br><div class="gmail_quote">2011/2/25 Chuck Zhao <span dir="ltr"><<a href="mailto:czhao@eecg.toronto.edu">czhao@eecg.toronto.edu</a>></span><br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div text="#000000" bgcolor="#ffffff">
Can't read your paper because the permission is not set.<br>
<br>
Chuck<br>
<br>
On 2/25/2011 12:16 PM, Douglas do Couto Teixeira wrote:
<blockquote type="cite">Hi, Andrey,<br>
<br>
sorry for the delay: I made a page with the code available for
download: <a href="http://homepages.dcc.ufmg.br/%7Edouglas/projects/RangeAnalysis/RangeAnalysis.html" target="_blank">http://homepages.dcc.ufmg.br/~douglas/projects/RangeAnalysis/RangeAnalysis.html</a><br>
Feel free to get it, and if you need some help, I will be
happy to tell you how to set the analysis up, in case the
explanation in the page is not good.<br>
I also have a report describing the implementation here: (<a href="http://homepages.dcc.ufmg.br/%7Edouglas/projects/RangeAnalysis/RangeAnalysis.paper.pdf" target="_blank">http://homepages.dcc.ufmg.br/~douglas/projects/RangeAnalysis/RangeAnalysis.paper.pdf</a>)<br>
Indeed, if any of you guys have some free time, and want to
give me a review, that would be very kind of you :)<br>
<br>
Warm regards,<br>
<br>
Douglas<br>
<br>
<div class="gmail_quote">2011/2/22 Andrey Belevantsev <span dir="ltr"><<a href="mailto:abel@ispras.ru" target="_blank">abel@ispras.ru</a>></span><br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Hi Douglas,
<div><br>
<br>
On 21.02.2011 20:27, Douglas do Couto Teixeira wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
My work is not part of the LLVM mainline yet. But I would
be happy to<br>
contribute with the code of my range analysis
implementation if it can help<br>
you in something else.<br>
</blockquote>
</div>
We were thinking of adding VRP to LLVM too, though we were
mostly interested in Patterson's approach (i.e. not connected
with SSI form). It would be great if you can share the code
nevertheless.<br>
<font color="#888888">
<br>
Andrey<br>
<br>
</font></blockquote>
</div>
<br>
<pre><fieldset></fieldset>
_______________________________________________
LLVM Developers mailing list
<a href="mailto:LLVMdev@cs.uiuc.edu" target="_blank">LLVMdev@cs.uiuc.edu</a> <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a>
</pre>
</blockquote>
<br>
</div>
<br>_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a> <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
<br></blockquote></div><br>