svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] Instructions for 64bit SafeCode

From: Santosh Nagarakatte <santosh.nagarakatte AT gmail.com>
To: svadev AT cs.uiuc.edu
Subject: [svadev] Instructions for 64bit SafeCode
Date: Thu, 3 Dec 2009 12:52:02 -0500
List-archive: <http://lists.cs.uiuc.edu/mailman/private/svadev>
List-id: <svadev.cs.uiuc.edu>

SafeCode dev,

Is there a way to install a 64bit version of safecode? If yes, can you provide me pointers to do the same?

Thanks,
Santosh

--
Santosh G Nagarakatte,
PhD Student,
Computer and Information Science Department
University of Pennsylvania,
Philadelphia-19104
http://www.cis.upenn.edu/~santoshn

[svadev] Instructions for 64bit SafeCode, Santosh Nagarakatte, 12/03/2009
- Re: [svadev] Instructions for 64bit SafeCode, Criswell, John T, 12/03/2009