[LLVMdev] SAFECode Source Code Released
Edward O'Callaghan
eocallaghan at auroraux.org
Sat Nov 14 12:09:33 PST 2009
WOW !
This is a truly fantastic project !
Great work !
I'll be interested to build and port this to AuroraUX.
Keep up the great work,
Cheer,
Edward. :D
2009/11/14 John Criswell <criswell at uiuc.edu>:
> Török Edwin wrote:
>> On 2009-11-14 00:57, John Criswell wrote:
>>
>>> Dear LLVMers,
>>>
>>> We are happy to announce an alpha release of the SAFECode compiler. It
>>> is now available for download from the LLVM public Subversion
>>> repository. SAFECode uses a set of analysis passes and program
>>> transformations to provide strong memory safety guarantees to C/C++
>>> programs. Specifically, the safety guarantees are:
>>>
>>>
>>
>> Hi John,
>>
>> This is great news!
>> I'm reporting to you some problem I've found below, please tell me if
>> I'm doing anything wrong.
>>
>> The docs/Install.html however says this:
>> svn co http://llvm.org/svn/llvm-project/llvm/branches/release_16 llvm
>>
>> That looks like a typo and you meant release_26?
>>
>>
> Indeed! Sorry for that error; I've corrected it in the documentation.
> Thanks for catching that!
>
> I'll take a look at the other issues you've mentioned later (I'm working
> on a course project this weekend. :( ).
>
> -- John T.
>
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
--
--
Edward O'Callaghan
http://www.auroraux.org/
eocallaghan at auroraux dot org
More information about the llvm-dev
mailing list