-
Notifications
You must be signed in to change notification settings - Fork 153
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
Label
Projects
Milestones
Assignee
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
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
A shallow embedding of K definitions into Lean 4
discussion
lean4-backend
#4552
opened Jul 25, 2024 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] Two configuration declarations in a single module produces an unhelpful error message
#4705
opened Dec 9, 2024 by
sskeirik
updated Dec 10, 2024
1 of 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
Improve the performance of
kompile
enhancement
incremental-compilation
kompile
#4668
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
Improved interpreter error messages for quicker error identification
enhancement
llvm-backend
#4670
opened Oct 18, 2024 by
Stevengre
updated Oct 18, 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
Previous Next
ProTip!
Find all open issues with in progress development work with linked:pr.