k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [[K-user] ] Starting problems.

From: "Radoi, Cosmin A" <cos AT illinois.edu>
To: "Saxena, Manasvi" <msaxena2 AT illinois.edu>, "k-list AT lists.cs.illinois.edu" <k-list AT lists.cs.illinois.edu>
Cc: "davidistreader AT gmail.com" <davidistreader AT gmail.com>, Dorel Lucanu <dlucanu AT info.uaic.ro>, "k-user AT lists.cs.illinois.edu" <k-user AT lists.cs.illinois.edu>
Subject: Re: [[K-user] ] Starting problems.
Date: Wed, 10 Feb 2016 12:44:03 +0000
Accept-language: en-US

Manasvi,

Is the debugging functionality you worked on documented somewhere?

Thanks,

Cosmin

> On Feb 9, 2016, at 4:44 PM,
> davidistreader AT gmail.com
> wrote:
>
> I have been reading a lot of the papers and am getting a better idea of what
> is going on but lack some basic understanding + what to read to improve.
>
> So any ideas about what to read, particularly with regard to debugging K
> definitions would be of great help.
>
> Why is the rule I used no a heating rule? Having made this mistake is
> there a
> way for me to (a) see the rules build by the kompile or (b) step through
> the
> K execution?

Re: [[K-user] ] Starting problems., davidistreader, 02/09/2016
- Re: [[K-user] ] Starting problems., Radoi, Cosmin A, 02/10/2016
  - Re: [[K-user] ] Starting problems., Manasvi Saxena, 02/10/2016