k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Fwd: [Draft of email to send to 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] Fwd: [Draft of email to send to k-user] K 3.4 release
Date: Wed, 27 Aug 2014 14:51:16 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

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] Fwd: [Draft of email to send to k-user] K 3.4 release, Dwight Guth, 08/27/2014