svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

Re: [svadev] Using SAFECode with LLVM 3.1

From: John Criswell <criswell AT illinois.edu>
To: Martin Richtarsky <ps1 AT martinien.de>
Cc: svadev AT cs.uiuc.edu
Subject: Re: [svadev] Using SAFECode with LLVM 3.1
Date: Sat, 15 Sep 2012 14:50:07 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev/>
List-id: <svadev.cs.uiuc.edu>

On 9/15/12 2:07 PM, Martin Richtarsky wrote:

Hi,

is it posible to use SAFECode with LLVM 3.1 or even trunk?

We're currently in the process of updating SAFECode to LLVM mainline (i.e., trunk). We're hoping to have something basic working by early next week. After the update is done, we'll be tracking mainline until LLVM 3.2 is released.

I'll announce on svadev when it's ready for people to start working with it. Right now we're working on re-integrating SAFECode into Clang to make sure we've got all changes that were made between LLVM 3.0 and current LLVM mainline.

-- John T.

[svadev] Using SAFECode with LLVM 3.1, Martin Richtarsky, 09/15/2012
- Re: [svadev] Using SAFECode with LLVM 3.1, John Criswell, 09/15/2012
  - Re: [svadev] Using SAFECode with LLVM 3.1, Martin Richtarsky, 09/16/2012
    - Re: [svadev] Using SAFECode with LLVM 3.1, John Criswell, 09/16/2012