k-legacy
k-legacy copied to clipboard
kframework
The K tools (deprecated, see README)
I am trying to prove sth. about arrays. The semantics is much like imp.k except adding some rules about arrays: ` ``` syntax Int ::="["Id "," AExp "]" syntax Int::=...
Somehow, the output buffer does not seem to be properly flushed to the screen: ``` D:\github\grosu\k\k-distribution\tutorial\1_k\4_imp++\lesson_4>kompile imp.k D:\github\grosu\k\k-distribution\tutorial\1_k\4_imp++\lesson_4>krun ..\lesson_1\tests\io.imp 10 Input two numbers: 20 Their sum is: 30 . x...
There are several problems below: ``` D:\github\grosu\k\k-distribution\tutorial\1_k\4_imp++\lesson_7>kompile imp.k D:\github\grosu\k\k-distribution\tutorial\1_k\4_imp++\lesson_7>krun ..\lesson_1\tests\sum-io.imp [Error] Critical: Parser returned a non-zero exit code: 113 Stdout: [B@51acdf2e Stderr: [B@6a55299e D:\github\grosu\k\k-distribution\tutorial\1_k\4_imp++\lesson_7>kast ..\lesson_1\tests\sum-io.imp [Error] Inner Parser: Parse error:...
see: #1918 and this branch: https://github.com/kframework/k/tree/inheritance-breaks-fragments
You would expect the following to work: ``` D:\github\grosu\k\k-distribution\tutorial\2_languages\1_simple\2_typed\1_static>krun ..\programs\diverse\factorial.simple --pattern " T " Search results: Solution 1: T:K --> .TaskCellBag D:\github\grosu\k\k-distribution\tutorial\2_languages\1_simple\2_typed\1_static>krun ..\programs\diverse\factorial.simple --pattern " .TaskCellBag " [Error] Inner Parser:...
`kompile --no-prelude` ┆Issue is synchronized with this [Asana task](https://app.asana.com/0/148313234996210/195293491977553)
Currently for each simple change I have to wait around 20s for kompile and 20s for krun. I was wondering if there any way/option to make kompile or krun faster?...
bash-3.2$ kompile --debug mp2.k java.lang.NullPointerException at scala.collection.convert.Wrappers$SetWrapper$$anon$4.(Wrappers.scala:115) at scala.collection.convert.Wrappers$SetWrapper.iterator(Wrappers.scala:114) at java.util.AbstractCollection.addAll(AbstractCollection.java:343) at org.kframework.Collections$.mutable(collections.scala:28) at org.kframework.Collections.mutable(collections.scala) at org.kframework.kore.compile.SortCells.nthArgSort(SortCells.java:858) at org.kframework.kore.compile.SortCells.access$800(SortCells.java:58) at org.kframework.kore.compile.SortCells$3.apply(SortCells.java:563) at org.kframework.kore.compile.SortCells$3.apply(SortCells.java:548) at org.kframework.kore.KTransformer$class.apply(transformers.scala:11) at org.kframework.kore.AbstractKTransformer.apply(transformers.scala:112) at org.kframework.kore.TransformK.apply(TransformK.java:39) at...
The following module compile incorrectly, generating the wrong rule for ```initKCell```: ``` require "domains.k" module TEST imports INT syntax S ::= S "*" S [assoc, unit(.S)] | ".S" | "a"...
Currently the sort name `Bag` is used mostly if not exclusively for unorganized collections of cells, as defined in module `KCELLS` in `kast.k`, which is included below. We should rename...
