k-legacy
k-legacy copied to clipboard
kframework
The K tools (deprecated, see README)
Ran kompile on a simple definition which contained a non-ascii character on a comment. The compilation succeeded, but a subsequent krun caused a crash. (see https://lists.cs.illinois.edu/lists/arc/k-user/2017-02/msg00027.html) The non-ascii character are...
Hi, I encountered the following: [Error] Internal: Uncaught exception thrown of type ModuleTransformerException. Please rerun your program with the --debug flag to generate a stack trace, and file a bug...
How to separate variables with newlines using KList? For example, I want to separate like this "x \n y \n z", not "x,y,z".
I was wondering if it possible to add a feature to `kompile` to give warning if an attribute is not recognized. I just spend an entire day debugging K in...
i have another problem, i must implement the CONDITION NAME condition of COBOL. i'm thinking to store the last declared variable to use this later, but i have no idea...
hi, i'm trying to implement the class condition of cobol in k, i have already done the if condition, relation condition, negated condition, combined condition and sign condition. For the...
What is the difference between List and NeList? Python-semantics uses NeList. I don't know its meaning. Also is there a doc introducing how to write complex configurations? I am current...
I have a the following (the irrelevant parts are omitted) ``` module P4-COMMON imports VALUE-SYNTAX imports HEADER-SYNTAX syntax P4Program ::= P4Declarations syntax P4Declarations ::= List{P4Declaration,""} [klabel('P4Declarations)] syntax P4Declaration ::= HeaderTypeDeclaration...