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.

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

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

Issues list

Lean 4 backend improvements lean4-backend
#4743 opened Jan 21, 2025 by JuanCoRo updated Feb 12, 2025
5 tasks
Eliminate Option from total function result types lean4-backend
#4756 opened Feb 12, 2025 by tothtamas28 updated Feb 12, 2025
Remove do blocks from generated Lean code when possible lean4-backend
#4755 opened Feb 12, 2025 by JuanCoRo updated Feb 12, 2025
Unify definedness binders for function applications lean4-backend
#4752 opened Feb 4, 2025 by JuanCoRo updated Feb 12, 2025
Support unsafe for to_module bug kast
#4754 opened Feb 10, 2025 by Stevengre updated Feb 10, 2025
Generate function definitions lean4-backend
#4727 opened Jan 8, 2025 by tothtamas28 updated Feb 7, 2025
Format Lean 4 generated code lean4-backend
#4747 opened Jan 24, 2025 by JuanCoRo updated Jan 31, 2025
Cosmetic changes for the Lean 4 translation lean4-backend
#4730 opened Jan 8, 2025 by JuanCoRo updated Jan 8, 2025
1 task
Implement K prelude in Lean 4 lean4-backend
#4725 opened Jan 8, 2025 by tothtamas28 updated Jan 8, 2025
Internal: bison returned nonzero exit code: 141, kompile not found
#4718 opened Jan 2, 2025 by Arnav-99 updated Jan 2, 2025
[K-Bug] NullPointerException when kompiling simple file
#4716 opened Dec 19, 2024 by VCherukuri8 updated Dec 19, 2024
1 of 6 tasks
Refactors to konvert and module_to_kore
#4690 opened Nov 21, 2024 by ehildenb updated Dec 10, 2024
6 tasks
[K-Bug] ConcurrentModificationException while running kompile
#4703 opened Dec 5, 2024 by adharshkamath updated Dec 5, 2024
1 of 6 tasks
[K-Bug] Cannot generate bison parser or glr-bison parser
#4678 opened Oct 31, 2024 by Stevengre updated Oct 31, 2024
1 of 6 tasks
[K-Bug] The LLVM backend ignores rule priorities
#4676 opened Oct 25, 2024 by virgil-serbanuta updated Oct 25, 2024
1 of 6 tasks
kdist isn't as flexible as makefile enhancement kdist
#4669 opened Oct 18, 2024 by Stevengre updated Oct 21, 2024
A difficult-to-reproduce segmentation fault. bug
#4672 opened Oct 21, 2024 by Stevengre updated Oct 21, 2024
[K-Bug] <pyk coverage runerror>
#4664 opened Oct 17, 2024 by nn020701 updated Oct 17, 2024
6 tasks
Wrong type annotations in pyk
#4660 opened Oct 13, 2024 by pxhdev updated Oct 13, 2024
Understanding the bmc-depth bottleneck enhancement
#4658 opened Oct 9, 2024 by PetarMax updated Oct 9, 2024
Support for syntactic simplifications enhancement
#4579 opened Aug 8, 2024 by PetarMax updated Oct 7, 2024
ProTip! Find all open issues with in progress development work with linked:pr.