k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [[K-user] ] Is there an up-to-date reference manual ?

From: Rikard Hjort <benparad AT hotmail.com>
To: Gurvan Le Guernic <gleguern AT gmail.com>
Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [[K-user] ] Is there an up-to-date reference manual ?
Date: Sat, 25 Jan 2020 12:15:21 +0000
Accept-language: sv-SE, en-US
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=OZgxXn3bf5paMixD6sEZ7LatpDC2AwLTulOGAwr0ADU=; b=bV45Lx/qjSK3tp1FkTMspEt+MESF+R5fGtk8UNg00D5oGQqUXj76mkXUncMiGuKk8z7EnpLdzzs1WScJ9FkCwj36tdt7UhNEiLVWf6FqFdoduYyG94RMmawjvfy0t74k2M33wdVjtJlcAbej0ELWQvcGIU0EQxX4L2F1xIupsgfF937TJ0QEMZ/usHyCf3M8ygyU5ROg5Cr9JdVzyLWoISvI1KqyYllgFF0DE9KznIul4iJGrmMB58xM79qYO7znzaM0ZYImYVSiURjzukSerZ5gXDpUx6Fp3P2rG88tMx16w2BYhcDrDh0iIpKiMFZTZJilk+NH7zhYz42+ybehGQ==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=SsA63kbpGPbtk2D3I0coRNemLnAahJKHOsUC3qGq11n03QbRPRKATvFlnLy0LIkchp8wJVxRbSg864XIPkQ9vRV69bikK9I8mxCWoCnnAEDc/I4ckttHkmgQlSjRkcuEsauoRm/xvY7F33hdCaGiDEaXXu1ysL4Eif+HQpZ8+p0G+UhjLDaF/7qnjfOyAcuG+7/bb7Zf4FSU70ANnO2kOP6B1bA4LJF/9xAsetJkEq7kyS6gMRX04b/FUBns7V0Ht5RkmcfLu1dJiysGU0jjl/OlaB/Ma7VLoQZ8UmAhA6hBn2hWODl9ZLGe0kRZSu19e8RFI1nKnZ/ZZFhSrw4Pgw==
Authentication-results: illinois.edu; spf=softfail smtp.mailfrom=benparad AT hotmail.com; dkim=pass header.d=hotmail.com header.s=selector1; dmarc=pass header.from=hotmail.com

This is a good resource:

https://github.com/kframework/k/blob/master/pending-documentation.md

If you can't find what you need, please ask and it can get added. This is supposed to be a fairly comprehensive reference manual, I believe.

Am 24.01.2020 6:47 PM schrieb Gurvan Le Guernic <gleguern AT gmail.com>:

   Hi,

I have used K3 in the past, and am now planning to use K again. I am planning to use version 5 as it is the latest one.

I suppose K has evolved. Is there a "reference document" that I could use to familiarize myself with the new features ? Or is the only solution to go thru all the tutorials once again ?

Using "kompile ref-manual.k --main-module AUTO-INCLUDED-MODULE" in the documentation directory generates the error "[Error] Compiler: Could not find main module with name AUTO-INCLUDED-MODULE in definition. Use --main-module to specify one."

   Thanks,

   Gurvan

[[K-user] ] Is there an up-to-date reference manual ?, Gurvan Le Guernic, 01/24/2020
- Re: [[K-user] ] Is there an up-to-date reference manual ?, Rikard Hjort, 01/25/2020