-
Notifications
You must be signed in to change notification settings - Fork 23
Issues: trailofbits/vast
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
Support for non-standard
int complex
type
high-level
#597
opened May 29, 2024 by
Jezurko
1 task done
Aligned attribute throws away the attribute content
bug
Something isn't working
high-level
#595
opened May 29, 2024 by
Jezurko
1 task done
[Bug]: Build error when installation path of LLVM matches prior installation path of VAST
bug
Something isn't working
#592
opened May 19, 2024 by
pgoodman
-vast-snapshot-at
should have an option to end after all passes are snapshotted.
frontend
#583
opened May 8, 2024 by
lkorenc
1 task done
Unimplemented functions with NoDebug attribute
llvm-single-source
#572
opened Apr 25, 2024 by
Jezurko
constructor/destructor attributes not implemented
llvm-single-source
#571
opened Apr 25, 2024 by
Jezurko
Crash in codes with implicit declarations even with disabled warnings
llvm-single-source
#560
opened Apr 25, 2024 by
Jezurko
Re-enable LLVM IR target for SV-Comp benchmarks in CI
infrastructure
#554
opened Apr 23, 2024 by
Jezurko
1 task done
abi: Model functions with many arguments (no longer passed by regs).
abi lowering
#550
opened Apr 17, 2024 by
lkorenc
1 task done
abi: Classification of floating point types in structs/unions.
abi lowering
#549
opened Apr 17, 2024 by
lkorenc
1 task done
Create differential scope testing tool
high-level
test
#536
opened Mar 22, 2024 by
xlauko
1 task done
Make high-level types implement
desugar
method
high-level
#534
opened Mar 22, 2024 by
xlauko
1 task done
Add option to stop pipeline at given pass.
backlog
Nice to have
frontend
#530
opened Mar 20, 2024 by
lkorenc
1 task done
[Bug]: Using Something isn't working
mlir::cast
in predicates can lead to a crash.
bug
#528
opened Mar 18, 2024 by
lkorenc
Make hl -> hlbi process address-taken builtin functions
bug
Something isn't working
conversion
#525
opened Mar 12, 2024 by
Jezurko
1 task done
[Bug]: DCE does not work on code with jumps
bug
Something isn't working
#518
opened Mar 5, 2024 by
xlauko
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.