svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

Re: [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: Re: [svadev] SAFECode/SVA Web Site Offline
Date: Thu, 10 Nov 2011 16:16:51 -0600
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
List-id: <svadev.cs.uiuc.edu>
Organization: University of Illinois

On 11/10/11 3:27 PM, John Criswell wrote:

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.

The web site is back up and operational. If you find any problems, please email the list.

-- John T.

Regards,

John T.

_______________________________________________
svadev mailing list
svadev AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/svadev

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