svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

Re: [svadev] safecode

From: Daniel Huang <dehuang AT fas.harvard.edu>
To: John Criswell <criswell AT illinois.edu>
Cc: svadev AT cs.illinois.edu
Subject: Re: [svadev] safecode
Date: Sat, 26 May 2012 15:02:59 -0400
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
List-id: <svadev.cs.uiuc.edu>

Awesome, thanks!!!

On Fri, May 25, 2012 at 5:22 PM, John Criswell <criswell AT illinois.edu> wrote:

On 5/25/12 3:39 PM, Daniel Huang wrote:
The file shows up but is empty.

I didn't see that. Instead, I got a bitcode file that I couldn't disassemble.

I added some new code, tested it, and it works. Please svn up and try again.

-- John T.

Re: [svadev] safecode, (continued)