k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Fresh Names and Symbolic Expressions

From: <alexdba AT gmail.com>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Fresh Names and Symbolic Expressions
Date: Wed, 13 Jul 2016 08:56:43 -0500

Greetings!

Is there any examples or instructions about symbolic execution in K?
I found the sessions on such subject completely empty in:
https://github.com/kframework/k/blob/master/k-distribution/documentation/ref-manual.k

Does exist a current version of the ref. manual?

Thanks for the attention and for the great framework!
Kind regards,
Alex.

[[K-user] ] Fresh Names and Symbolic Expressions, alexdba, 07/13/2016