svadev AT lists.siebelschool.illinois.edu
Subject: Svadev mailing list
List archive
- From: Baozeng <sploving1 AT gmail.com>
- To: John Criswell <criswell AT illinois.edu>
- Cc: "svadev AT cs.uiuc.edu" <svadev AT cs.uiuc.edu>
- Subject: Re: [svadev] SAFECode Mainline Ready for Development
- Date: Sat, 22 Sep 2012 10:58:48 +0800
- List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev/>
- List-id: <svadev.cs.uiuc.edu>
2012/9/18 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?
>
Okay.
I download maintain llvm, poolalloc, and SAFECode
and when compiling it, it shows the following error:
GCall.cpp:1046: error:‘constructAlignmentFromInt’ is not a member of
‘llvm::Attribute’.
I think it should be changed to llvm::Attributes, am I right?
> 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.
>
--
Best Regards,
Baozeng Ding
OSTG,NFS,ISCAS
- [svadev] SAFECode Mainline Ready for Development, John Criswell, 09/17/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Martin Richtarsky, 09/17/2012
- Re: [svadev] SAFECode Mainline Ready for Development, John Criswell, 09/17/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Martin Richtarsky, 09/17/2012
- Re: [svadev] SAFECode Mainline Ready for Development, John Criswell, 09/18/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Ott Tinn, 09/25/2012
- Re: [svadev] SAFECode Mainline Ready for Development, John Criswell, 09/18/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Martin Richtarsky, 09/17/2012
- Re: [svadev] SAFECode Mainline Ready for Development, John Criswell, 09/17/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Martin Richtarsky, 09/17/2012
- Re: [svadev] SAFECode Mainline Ready for Development, John Criswell, 09/17/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Baozeng, 09/21/2012
- Re: [svadev] SAFECode Mainline Ready for Development, John Criswell, 09/22/2012
- Re: [svadev] SAFECode Mainline Ready for Development, John Criswell, 09/22/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Baozeng, 09/23/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Baozeng, 09/24/2012
- Re: [svadev] SAFECode Mainline Ready for Development, John Criswell, 09/24/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Baozeng, 09/24/2012
- Re: [svadev] SAFECode Mainline Ready for Development, John Criswell, 09/25/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Baozeng, 09/24/2012
- Re: [svadev] SAFECode Mainline Ready for Development, John Criswell, 09/24/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Baozeng, 09/24/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Baozeng, 09/23/2012
- Re: [svadev] SAFECode Mainline Ready for Development, Martin Richtarsky, 09/17/2012
Archive powered by MHonArc 2.6.16.