k-legacy
k-legacy copied to clipboard
kframework
The K tools (deprecated, see README)
Hi I have the following configuration ``` @val ( 0 , 14 , false ) ~> @deref ( sel_profile , 0 ) ~> @setCrntRule ( . ) ~> @setCrntTable (...
This replaces the original `develop` PR, but without all the Plutus language stuff. The commit history needs to be cleaned up and squashed, and we need to make sure new...
@daejunpark we resurrected this branch from many months ago. Can you make sure it's still relevant and makes sense? If so we can add some tests and get it merged.
The current behavior is that it looks up paths relative to the current working directory. This is a pain, because we need to `cd` into that directory and call `ktest`...
This is demonstrated on branch `njr/ktest-incorrect-exit-code` See commit message for instructions on how to reproduce
In the test file [DefinitionParserTest](https://raw.githubusercontent.com/kframework/k/f6b8b978e4f40f07be187014ccf0fd32efcfb679/kernel/src/test/java/org/kframework/DefinitionParserTest.java), the `assertEquals` lines in the tests are commented out. @daejunpark, it looks like commit de8eee23 disables these. Por que?
Error when building K on develop branch. I need to use the develop branch because i want to work with https://github.com/kframework/evm-semantics Would it be possible to make another release containing...
The following hooks will have to be implemented in the Scala backend as a first step to getting [Plutus Core](github.com/kframework/plutus-core-semantics) to run with it. * [ ] "LIST.size" for label...
What facilities are provided for accessing (via API) the AST of the parsed program? I can't seem to find this information in the documentation.
