svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] SAFECode/SVA Web Site Down

From: John Criswell <criswell AT illinois.edu>
To: "svadev AT cs.uiuc.edu" <svadev AT cs.uiuc.edu>
Subject: [svadev] SAFECode/SVA Web Site Down
Date: Fri, 13 Apr 2012 13:47:28 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
List-id: <svadev.cs.uiuc.edu>
Organization: University of Illinois

Dear All,

The machine that hosts the SAFECode/SVA web site suffered a hardware failure this morning. Due to its age, it will not be repaired (for trivia buffs, it's the same machine that first hosted llvm.org years ago).

The SAFECode/SVA web page will be unavailable throughout the weekend. I am hoping it will be up early next week, although I don't have an estimated repair time from our IT people yet (they are fixing other problems caused by the machine's demise).

The good news is that the SAFECode SVN server and mailing lists are on other machines and are still available, so people can still download and discuss SAFECode and SoftBound.

My apologies for the inconvenience. Hopefully we'll be back up soon.

-- John T.

[svadev] SAFECode/SVA Web Site Down, John Criswell, 04/13/2012