Issues: vellvm/vellvm
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
Stack overflow with generate_num_undef_bytes_h
bug
performance
yarpgenv2-discovered-bug
#362
opened Apr 4, 2024 by
Chobbes
Prove refine_uvalue_Transitive in model-proof-test
admit
refinements
Semantics
related to LLVM semantics
#354
opened Feb 2, 2024 by
Chobbes
Proposed updates to
dev
(upstreaming changes from other branches): dvalues/uvalues, memory representation, and Coq 8.17
#353
opened Nov 18, 2023 by
euisuny
1 of 5 tasks
extractvalue succeeds when given no indices
question
Semantics
related to LLVM semantics
#352
opened Oct 16, 2023 by
Chobbes
average.ll test fails on current dev branch patched to depend on coq-flocq3.
#345
opened Feb 12, 2023 by
paul-snively
Better related to LLVM semantics
select
for vectors
bug
enhancement
question
Semantics
#338
opened Nov 6, 2022 by
Chobbes
Free byte permission questions
Memory Model
question
Semantics
related to LLVM semantics
#313
opened Sep 14, 2022 by
Chobbes
malloc of size 0 must yield unique pointer or null.
bug
Memory Model
Semantics
related to LLVM semantics
Improve performance of ShowAST and ReprAST
enhancement
performance
quickchick
#294
opened Jul 28, 2022 by
Chobbes
Eagerness causes issues for performance.
enhancement
performance
quickchick
#292
opened Jul 27, 2022 by
Chobbes
Clang segfault on vector store after itop?
Possible Clang Bug
question
Semantics
related to LLVM semantics
Generating calls to functions with pointer arguments
bug
performance
quickchick
#289
opened Jul 26, 2022 by
Chobbes
Ptrtoint / inttoptr issues?
bug
Possible Clang Bug
qc-discovered-bug
question
Semantics
related to LLVM semantics
#283
opened Jul 25, 2022 by
Chobbes
Properly Handle Vectors in the Memory Model
bug
Memory Model
Possible Clang Bug
Semantics
related to LLVM semantics
#273
opened Jul 13, 2022 by
Chobbes
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.