k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] K 3.4 release

From: Dwight Guth <dwight.guth AT runtimeverification.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Cc: "k-list AT cs.uiuc.edu" <k-list AT cs.uiuc.edu>
Subject: [K-user] K 3.4 release
Date: Wed, 27 Aug 2014 14:52:23 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Apologies for the previous subject line. This is not a draft.

On Wed, Aug 27, 2014 at 2:51 PM, Dwight Guth <dwight.guth AT runtimeverification.com> wrote:

As part of our upcoming roadmap for the K framework, a number of
changes will soon be entering the nightly build.

Users who download the tool from k-framework.org and are interested in
being able to continue to use their existing K definitions unchanged
should download the K 3.4 release.

Users interested in keeping up to date with the very latest changes to
the framework, requiring them to update definitions frequently as
features change, may continue to use the nightly build or download
from github, but they should be aware that many changes are still to
come.

[K-user] K 3.4 release, Dwight Guth, 08/27/2014