Skip to content

Issues: runtimeverification/k

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

294 Open 939 Closed
294 Open 939 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Generate rewrite rules lean4-backend
#4728 opened Jan 8, 2025 by tothtamas28
Generate function definitions lean4-backend
#4727 opened Jan 8, 2025 by tothtamas28
Generate function stubs lean4-backend
#4726 opened Jan 8, 2025 by tothtamas28
Implement K prelude in Lean 4 lean4-backend
#4725 opened Jan 8, 2025 by tothtamas28
Generate injection instances lean4-backend
#4724 opened Jan 8, 2025 by tothtamas28
Use structure instead of inductive where possible lean4-backend
#4723 opened Jan 8, 2025 by tothtamas28
Generate more concise identifiers for the Lean 4 definition lean4-backend
#4722 opened Jan 8, 2025 by tothtamas28
1
Internal: bison returned nonzero exit code: 141, kompile not found
#4718 opened Jan 2, 2025 by Arnav-99
[K-Bug] NullPointerException when kompiling simple file
#4716 opened Dec 19, 2024 by VCherukuri8
1 of 6 tasks
[K-Bug] Two configuration declarations in a single module produces an unhelpful error message
#4705 opened Dec 9, 2024 by sskeirik
1 of 6 tasks
1
[K-Bug] ConcurrentModificationException while running kompile
#4703 opened Dec 5, 2024 by adharshkamath
1 of 6 tasks
Refactors to konvert and module_to_kore
#4690 opened Nov 21, 2024 by ehildenb
6 tasks
[K-Bug] Cannot generate bison parser or glr-bison parser
#4678 opened Oct 31, 2024 by Stevengre
1 of 6 tasks
1
[K-Bug] The LLVM backend ignores rule priorities
#4676 opened Oct 25, 2024 by virgil-serbanuta
1 of 6 tasks
A difficult-to-reproduce segmentation fault. bug
#4672 opened Oct 21, 2024 by Stevengre
Improved interpreter error messages for quicker error identification enhancement llvm-backend
#4670 opened Oct 18, 2024 by Stevengre
kdist isn't as flexible as makefile enhancement kdist
#4669 opened Oct 18, 2024 by Stevengre
2
Improve the performance of kompile enhancement incremental-compilation kompile
#4668 opened Oct 18, 2024 by Stevengre
2
[K-Bug] <pyk coverage runerror>
#4664 opened Oct 17, 2024 by nn020701
6 tasks
Wrong type annotations in pyk
#4660 opened Oct 13, 2024 by pxhdev
Understanding the bmc-depth bottleneck enhancement
#4658 opened Oct 9, 2024 by PetarMax
Tips for using K documentation
#4655 opened Oct 4, 2024 by Stevengre
@Stevengre
Add pyk support for terms with parametric sorts pyk
#4653 opened Oct 3, 2024 by tothtamas28
Cell extraction and substitution in Kore. enhancement pyk
#4652 opened Oct 2, 2024 by Stevengre
How to automatically generate the python bindings from the semantics?
#4649 opened Sep 25, 2024 by Stevengre
ProTip! no:milestone will show everything without a milestone.