c-semantics AT lists.cs.illinois.edu

Subject: C Semantics in K Framework

List archive

[C-Semantics] changes to K require slight change to svn

From: Chucky Ellison <celliso2 AT illinois.edu>
To: c-semantics AT cs.illinois.edu
Cc: "Meredith, Patrick O'Neil" <pmeredit AT illinois.edu>, Traian Florin Serbanuta <tserban2 AT illinois.edu>
Subject: [C-Semantics] changes to K require slight change to svn
Date: Wed, 8 Aug 2012 09:07:45 -0400
List-archive: <http://lists.cs.uiuc.edu/pipermail/c-semantics>
List-id: C Semantics in K Framework <c-semantics.cs.illinois.edu>

Hello all,

Due to changes in K, in order to keep using the c-semantics, you'll
need to change which version of K you are using. You can do this with
one simple command:

svn switch https://k-framework.googlecode.com/svn/tags/v2.7 $K_BASE

This should change the $K_BASE directory to start updating from the
2.7 version of K, which C requires for now. Let us know if you have
any problems.

-Chucky

[C-Semantics] changes to K require slight change to svn, Chucky Ellison, 08/08/2012