Svadev mailing list

[John Criswell <criswell AT illinois.edu>]

Dear All,

I'm writing to let everyone know that SAFECode mainline (which works 
with LLVM mainline) is now ready for development.  All SAFECode 
developers should submit new patches and commits to mainline SAFECode; 
we're freezing the release_30 branch of SAFECode.

We'll be doing periodic merges with Clang and LLVM mainline to make sure 
we stay working with the latest and greatest LLVM.  The current plan is 
to make a release_32 branch of SAFECode when LLVM 3.2 is released.

Because work on LLVM mainline is on-going, I won't update the web docs 
to tell people to use mainline yet as we'll get occasional breakage.  
Users who want something solid should continue using the release_30 
branch for now; use mainline SAFECode at your own risk.

Baozeng, I haven't tested the Baggy Bounds Checking functionality you've 
added.  When you get a chance, can you please look at it and make sure 
that the changes are correct?

Ott, I've been holding off on your patches until mainline SAFECode clang 
was ready.  Now that it is, we can begin reviewing your optimization 
patches again if you'd like.  I think there's one optimization that I 
need to review since you've submitted changes. I'll take a look at that 
either today or tomorrow.

Thanks to John Mainzer for his work on integrating the new mainline 
version of Clang into SAFECode.

If anyone has any questions or comments, please feel free to email the list.

-- John T.