[LLVMdev] SAFECode Source Code Released

[John Criswell]

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.