[www] r298384 - Remove project. Steensgaard algorithm is patented.

Anna Zaks via llvm-commits llvm-commits at lists.llvm.org
Tue Mar 21 12:58:06 PDT 2017


Daniel,

Did the patients expire and is LLVM now open to accepting Steensgaard? We did not have time to look into that.

Thanks!
Anna

> On Mar 21, 2017, at 12:42 PM, Vassil Vassilev <v.g.vassilev at gmail.com> wrote:
> 
> On 21/03/17 19:50, Daniel Berlin wrote:
>> I"m not sure this makes sense this point, given the state of the patents.
>> However, at the same time, for escape analysis, andersen's is not really slower in practice.
> IIUC, implementations of this algorithm have been removed from the codebase before. Anna could give more details about that.
>> 
>> 
>> On Tue, Mar 21, 2017 at 9:15 AM, Vassil Vassilev via llvm-commits <llvm-commits at lists.llvm.org <mailto:llvm-commits at lists.llvm.org>> wrote:
>> Author: vvassilev
>> Date: Tue Mar 21 11:15:48 2017
>> New Revision: 298384
>> 
>> URL: http://llvm.org/viewvc/llvm-project?rev=298384&view=rev <http://llvm.org/viewvc/llvm-project?rev=298384&view=rev>
>> Log:
>> Remove project. Steensgaard algorithm is patented.
>> 
>> Modified:
>>     www/trunk/OpenProjects.html
>> 
>> Modified: www/trunk/OpenProjects.html
>> URL: http://llvm.org/viewvc/llvm-project/www/trunk/OpenProjects.html?rev=298384&r1=298383&r2=298384&view=diff <http://llvm.org/viewvc/llvm-project/www/trunk/OpenProjects.html?rev=298384&r1=298383&r2=298384&view=diff>
>> ==============================================================================
>> --- www/trunk/OpenProjects.html (original)
>> +++ www/trunk/OpenProjects.html Tue Mar 21 11:15:48 2017
>> @@ -40,9 +40,6 @@
>>        <li><a href="#clang-sa-atomics">Model C++11 and C11 atomics in the
>>            analyzer</a>
>>        </li>
>> -      <li><a href="#clang-sa-escape-analysis">Implement fast escape analysis for
>> -          clang AST</a>
>> -      </li>
>>      </ul>
>>      </li><li>
>>      <a href="http://compiler-rt.llvm.org/ <http://compiler-rt.llvm.org/>"><b>Compiler-rt</b></a><ul>
>> @@ -507,21 +504,6 @@ Welcome prospective Google Summer of Cod
>>    <p><b>Confirmed Mentor:</b> Anna Zaks</p>
>>  </div>
>> 
>> -<!-- *********************************************************************** -->
>> -<div class="www_subsubsection">
>> -  <a name="clang-sa-escape-analysis">Implement fast escape analysis for
>> -    clang AST.</a>
>> -</div>
>> -<!-- *********************************************************************** -->
>> -
>> -<div class="www_text">
>> -  <p><b>Description of the project: </b>
>> -    The static analyzer and the compiler that operate on top of clang AST could
>> -    use the results of a fast pointer analysis such as "Points-to analysis in
>> -    almost linear time" by Bjarne Steensgaard.
>> -  </p>
>> -  <p><b>Confirmed Mentor:</b> Devin Coughlin</p>
>> -</div>
>> 
>> 
>>  <!-- *********************************************************************** -->
>> 
>> 
>> _______________________________________________
>> llvm-commits mailing list
>> llvm-commits at lists.llvm.org <mailto:llvm-commits at lists.llvm.org>
>> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits <http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits>
>> 
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170321/30a5eb2b/attachment.html>


More information about the llvm-commits mailing list