svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] SAFECode/SVA Web Site Offline

From: John Criswell <criswell AT illinois.edu>
To: "svadev AT cs.uiuc.edu" <svadev AT cs.uiuc.edu>
Subject: [svadev] SAFECode/SVA Web Site Offline
Date: Thu, 10 Nov 2011 15:27:57 -0600
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
List-id: <svadev.cs.uiuc.edu>
Organization: University of Illinois

Dear All,

Just an FYI that the SAFECode/SVA web site is currently offline due to some disk problems with the machine that serves the web pages. We're hoping to get it back up sometime later today.

Note that this only affects the web site. SAFECode can still be downloaded from the LLVM Subversion repository.

Regards,

John T.

[svadev] SAFECode/SVA Web Site Offline, John Criswell, 11/10/2011
- Re: [svadev] SAFECode/SVA Web Site Offline, John Criswell, 11/10/2011