svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] Using SAFECode with LLVM 3.1

From: "Martin Richtarsky" <ps1 AT martinien.de>
To: svadev AT cs.uiuc.edu
Subject: [svadev] Using SAFECode with LLVM 3.1
Date: Sat, 15 Sep 2012 21:07:19 +0200
Importance: Normal
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev/>
List-id: <svadev.cs.uiuc.edu>

Hi,

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

I would like to try it on a large C++ project which unfortunately does not
compile with clang 3.0.

Thanks
Martin

[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