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
Do not emit syntactic attributes in semantic KORE output
attributes
#4134
opened Mar 26, 2024 by
tothtamas28
Kompile should produce both the llvm binary and the llvm library at the same time
#4126
opened Mar 22, 2024 by
virgil-serbanuta
Record of issues with merge contention in current dependency setup
devops
#4090
opened Mar 11, 2024 by
ehildenb
Format escape sequences Weird K behaviours and features
%c
and %r
are confusing
quirks
#4087
opened Mar 8, 2024 by
tothtamas28
Discrepancy between terminal and single-match regex terminal
question
#4082
opened Mar 6, 2024 by
tothtamas28
Kompiler fails on syntactic list production with nullary
symbol
attribute
attributes
bug
#4067
opened Mar 1, 2024 by
tothtamas28
Document munging process for
symbol(_)
attributes
documentation
#4025
opened Feb 21, 2024 by
tothtamas28
Previous Next
ProTip!
What’s not been updated in a month: updated:<2024-02-28.