k-legacy
k-legacy copied to clipboard
kframework
The K tools (deprecated, see README)
What is the best way to support something akin to multiple compilation units in K? Using Java for an example, if I had two files, `MyInterface.java` and `MyClass.java` the natural...
Using KDoc on the examples included with the download doesn't seem to be working. In `k/tutorial/1_k/1_lambda/lesson_1` I tried: ``` > kompile lambda.k > kdoc --format html --debug -v Parse command...
The files I refer to are found in the attached zip file. I am using: K framework version 4.0.0 Git revision: d310c7a Git branch: v4.0.0 Build date: Wed Jul 27...
A rule in Legacy kore is translated into Kore as follows (pasted verbatim from the codebase) - ```scala case definition.Rule(body, requires, ensures, att) => val r = apply(requires) val ab...
I have a configuration like this: ``` ... 0 @nextPacket ... packet ... 1 @nextPacket ... . ... ... ``` And I have a rule like this ``` rule @nextPacket...
I have a simple configuration like this: ``` configuration $PGM:P4Program ``` When I run it with a P4 program (i.e the one [here](https://github.com/kframework/p4-semantics/blob/master/test/semantics/basic_routing/basics_routing.p4)), it works without any problems. But If...
For my P4 semantics, I use string of 0s and 1s as input and the rules convert parts of this string to integer using String2Base. Concrete interpretation works fine but...
I use `--coverage-file ` option with `krun` hoping to get coverage report, but I do not see any output file. Is it because the option does not work or am...
I've been working on trying to disambiguate C, and I need a few tools for that. One of them is a visitor that can traverse the entire AST resulted after...
