k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] performance impovements

From: "Rosu, Grigore" <grosu AT illinois.edu>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [K-user] performance impovements
Date: Mon, 19 Nov 2012 22:53:58 +0000
Accept-language: en-US
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Dear K Users,

A series of performance improvements have been recently added to the K tool,
which should significantly reduce the kompile time. The Python semantics,
for example, now takes 1 minute to kompile instead of 4. Languages like KOOL
take somewhere around 10 seconds instead of 25-30. An empty module takes
abouyt 5 seconds instead of 15 (note that "empty" here means all the
predefined and builtin datatypes only). Please consider downloading the new
binary. As usual, your feedback/criticism is highly appreciated.

The K Team
k-framework.org

[K-user] performance impovements, Rosu, Grigore, 11/19/2012