Skip to content

No labels!

There aren’t any labels for this repository quite yet.

62 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
kdist
kdist
1
keditor
keditor
kip
kip
14
kompile
kompile
4
konvert
konvert
1
kprove
kprove
1
kup
kup
Issues related to the kup installation path
1
llvm-backend
llvm-backend
2
merge-to-dependency-job
merge-to-dependency-job
Pull requests that need to be merged into a dependency update job.
module-to-kore
module-to-kore
needs-reproducing
needs-reproducing
3
new feature
new feature
A request for a new feature
not ready to merge
not ready to merge
not-ready
not-ready
outer-parsing
outer-parsing
5
packaging
packaging
parametricity
parametricity
2
parsing
parsing
4
performance
performance
For Performance CI & Data Collection Reports
pi2
pi2
Issues originating from Pi2 Network
pyk
pyk
Issues transferred from runtimeverification/pyk
69
question
question
3
quirks
quirks
Weird K behaviours and features
2
refactor
refactor
5
releases
releases
Issues related to the K release build
testing
testing
1
tui
tui
tutorial
tutorial
1
unparsing
unparsing
1
version
version