Pinned issues
Issues
- 0
- 3
What is `KCFG.Cover.csubst` supposed to be?
#4602 opened by Stevengre - 6
Node merging to reduce branching for CSE
#4425 opened by ehildenb - 2
Optimize `cterms_anti_unify`
#4642 opened by Stevengre - 0
Polish list lookup patterns
#4640 opened by dwightguth - 0
[K-Bug] ClassCastException for #as and cells
#4638 opened by virgil-serbanuta - 0
Add test for T-division op.s using LLVM `interpreter`
#4629 opened by jberthold - 4
- 2
- 0
Remove final uses of `run_process`
#4627 opened by ehildenb - 0
- 0
[K-Bug] AssertionError for incomplete rule
#4613 opened by virgil-serbanuta - 0
[K-Bug] Broken MInt literal parsing
#4609 opened by virgil-serbanuta - 2
- 8
- 19
Support for syntactic simplifications
#4579 opened by PetarMax - 1
[Question] How to Replace the outdated [structural] Attribute in K Framework?
#4594 opened by liuliuliu401 - 0
Check that tokens are non-empty after `#Layout`
#4595 opened by Scott-Guest - 2
Make use of parsing caches in kdist
#4481 opened by dwightguth - 1
Support the `"assume-defined"` parameter of `"implies"`
#4570 opened by geo2a - 1
A shallow embedding of K definitions into Lean 4
#4552 opened by tothtamas28 - 0
[K-Bug] Broken "Non-exhausive match" warning
#4587 opened by virgil-serbanuta - 3
[K-Bug] kgdb.py fails to print after single steps
#4576 opened by pxhdev - 0
[K-Improvement] Metadata attribute
#4568 opened by sskeirik - 2
PyPi Pyk repo has accidental release in it
#4553 opened by Baltoli - 0
- 4
Flat representation for associative KAST terms
#4399 opened by tothtamas28 - 4
- 0
Include ID in error and warning messages
#4462 opened by tothtamas28 - 0
K Webpage: Add links to github source pages for the tutorials and user manual.
#4549 opened by nishantjr - 4
Guide: Debugging an issue across the RV stack
#4542 opened by Baltoli - 0
Non-determenism in the defintion of `minInt`
#4543 opened by geo2a - 0
- 1
- 0
- 2
- 4
Disallow sorts with case-insensitive equal names
#4508 opened by Baltoli - 0
`llvm_interpret` logs are very verbose
#4516 opened by gtrepta - 3
- 2
CTerm.anti_unify doesn't provide expected constraints for CTerm and CSubst.
#4502 opened by Stevengre - 5
- 1
Pass `-Wno $WARNING` through KompileOptions stack
#4470 opened by Baltoli - 1
Simplify option parsing code in pyk
#4484 opened by dwightguth - 1
Pyk: Parse `ignore_warnings` atoms separately
#4479 opened by JuanCoRo - 0
Pyk crash when accessing kompiled definition
#4475 opened by Baltoli - 2
pyk docstring style
#4435 opened by tothtamas28 - 1
Inconsistency in `KLabel` on bracket productions
#4434 opened by tothtamas28 - 2
`List{SORT, "separator"}` syntactic sugar creates two symbols with identical `smtlib` attribute
#4400 opened by jberthold - 1
[PyK Docs] Some pages on PyK documentation don't have the expected content of modules/functions
#4413 opened by Robertorosmaninho - 2
Cache claim parses
#4406 opened by ehildenb