-
Notifications
You must be signed in to change notification settings - Fork 23
Issues: runtimeverification/llvm-backend
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
kore-proof-trace should print the rules from domains.md, as well
#1124
opened Aug 1, 2024 by
dlucanu
binary serializer (v1) does not correctly handle parametric symbols
backend runtime
bug
Something isn't working
#1106
opened Jul 10, 2024 by
dwightguth
Clean up unnecessary bitcasts
code generation
Refactoring
Fix or improvement on LLVM Backend
#1104
opened Jul 9, 2024 by
dwightguth
pybind11 raises a LLVM backend bindings to other languages
UnicodeDecodeError
on non-utf bytes in terms of sort Bytes
bindings
#1078
opened May 31, 2024 by
gtrepta
Recreate llvm-backend gcroots code on develop branch
#1077
opened May 31, 2024 by
dwightguth
31 tasks done
[K-Bug] Setting subject in debugging
debugger
#1015
opened Mar 13, 2024 by
celine-celine
1 of 6 tasks
evaluate_function
followed by Term.step
causes segmentation fault
bindings
#943
opened Dec 20, 2023 by
tothtamas28
[K-Bug]
k start
in llvm gdb gives "Cannot access memory at address"
#1018
opened Dec 5, 2023 by
perelo
1 of 6 tasks
[GDB] Create script and tests for GDB to run in CI
debugger
#840
opened Sep 28, 2023 by
Robertorosmaninho
MInt
syntax with no uses of Int2MInt
crashes
bug
#798
opened Jul 11, 2023 by
Baltoli
[GDB] Can't print builtin types on LHS of rules in Something isn't working
debugger
K Match
bug
#746
opened Apr 20, 2023 by
Robertorosmaninho
7 tasks
[GDB] MatchLog enum kind raises Something isn't working
debugger
TypeError
when printed
bug
#726
opened Apr 4, 2023 by
Robertorosmaninho
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.