svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

Re: [svadev] sva types

From: John Criswell <criswell AT illinois.edu>
To: Daniel Huang <dan.e.huang AT gmail.com>
Cc: "<svadev AT cs.illinois.edu>" <svadev AT cs.illinois.edu>
Subject: Re: [svadev] sva types
Date: Thu, 29 Nov 2012 09:59:38 -0600
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev/>
List-id: <svadev.cs.uiuc.edu>
Organization: University of Illinois

On 11/29/12 9:13 AM, Daniel Huang wrote:

Would you recommend working with the version of SAFEcode that works with LLVM 3.2 or 3.0?
I recommend LLVM 3.2. We won't be making any enhancements or bug fixes for SAFECode or Poolalloc for LLVM 3.0.

-- John T.

[svadev] sva types, Daniel Huang, 11/20/2012
- Re: [svadev] sva types, Adve, Vikram Sadanand, 11/20/2012
  - Re: [svadev] sva types, Daniel Huang, 11/21/2012
    - Re: [svadev] sva types, Adve, Vikram Sadanand, 11/21/2012
      - Re: [svadev] sva types, Daniel Huang, 11/27/2012
        
        Re: [svadev] sva types, John Criswell, 11/27/2012
        
        Re: [svadev] sva types, Daniel Huang, 11/27/2012
        
        Re: [svadev] sva types, Daniel Huang, 11/29/2012
        Re: [svadev] sva types, John Criswell, 11/29/2012
        
        Re: [svadev] sva types, John Criswell, 11/30/2012