c-semantics AT lists.cs.illinois.edu

Subject: C Semantics in K Framework

List archive

Re: [C-Semantics] not updating

From: Chucky Ellison <celliso2 AT illinois.edu>
To: c-semantics AT cs.illinois.edu
Subject: Re: [C-Semantics] not updating
Date: Fri, 2 Sep 2011 19:25:42 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/c-semantics>
List-id: C Semantics in K Framework <c-semantics.cs.illinois.edu>

Everything is okay now. Updating both K and C together should be fine.

Thanks,
-Chucky

On Thu, Sep 1, 2011 at 10:30 PM, Chucky Ellison <celliso2 AT illinois.edu> wrote:

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