svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

Re: [svadev] Update Code for 3.1?

From: David Keaton <dmk AT dmk.com>
To: svadev AT cs.uiuc.edu
Subject: Re: [svadev] Update Code for 3.1?
Date: Fri, 25 May 2012 16:13:00 -0700
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
List-id: <svadev.cs.uiuc.edu>

On 05/25/2012 03:16 PM, John Criswell wrote:

I'm open to the idea of updating SAFECode to LLVM 3.1
or LLVM mainline some time during the summer.

I would suggest sticking to a particular LLVM version rather than tracking the mainline. My experience with the mainline is that it breaks my code about every two weeks. By updating to LLVM 3.1 rather than the mainline, you can control when you pay the cost of updating in the future.

David

[svadev] Update Code for 3.1?, Ryan Taylor, 05/21/2012
- Re: [svadev] Update Code for 3.1?, John Criswell, 05/25/2012
  - Re: [svadev] Update Code for 3.1?, David Keaton, 05/25/2012
    - Re: [svadev] Update Code for 3.1?, John Criswell, 05/27/2012