c-semantics AT lists.cs.illinois.edu

Subject: C Semantics in K Framework

List archive

[C-Semantics] not updating

From: Chucky Ellison <celliso2 AT illinois.edu>
To: c-semantics AT cs.illinois.edu
Subject: [C-Semantics] not updating
Date: Thu, 1 Sep 2011 22:30:11 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/c-semantics>
List-id: C Semantics in K Framework <c-semantics.cs.illinois.edu>

I would suggest not updating K or C until further notice. We're going through a little transition period with K, and performance is significantly degraded. I'll send another message when we have things back in order.

-Chucky

[C-Semantics] not updating, Chucky Ellison, 09/01/2011
- Re: [C-Semantics] not updating, Chucky Ellison, 09/02/2011