Skip to content

Issues: HigherOrderCO/HVM

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
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort

Issues list

Expose hvm_c and hvm_cu in lib.rs enhancement New feature or request
#367 opened May 31, 2024 by developedby
Add multiply-high operation
#365 opened May 31, 2024 by CatsAreFluffy
Segfault after printing results
#360 opened May 29, 2024 by developedby
Don't require Rust Nightly
#352 opened May 26, 2024 by developedby
Explain dependences and how to compile generated files in README documentation Improvements or additions to documentation enhancement New feature or request
#342 opened May 23, 2024 by developedby
Interaction Count Unstable Across Runtimes bug Something isn't working
#335 opened May 22, 2024 by enricozb
Support 32-bit targets enhancement New feature or request
#332 opened May 22, 2024 by 0f-0b
Fix NVIDIA Warning 20039 bug Something isn't working
#325 opened May 21, 2024 by enricozb
Option to limit the number of threads ? enhancement New feature or request
#324 opened May 21, 2024 by khatharsis42
Numeric Type Conversion enhancement New feature or request
#322 opened May 21, 2024 by developedby
Formally Verified Implementation discussion enhancement New feature or request
#320 opened May 21, 2024 by enricozb
32/64 bit Numerics
#319 opened May 21, 2024 by enricozb
Benchmarks & Test Suite
#318 opened May 21, 2024 by enricozb
4 tasks
hvm-c segfaults with some programs bug Something isn't working
#309 opened May 19, 2024 by developedby
hvm-cu hangs when going OoM bug Something isn't working
#308 opened May 19, 2024 by developedby
hvm-c sometimes stalls bug Something isn't working
#299 opened May 18, 2024 by developedby
Request: support for 32/64 bit integers enhancement New feature or request
#298 opened May 18, 2024 by kings177
HVM install issue on Windows 11 enhancement New feature or request
#292 opened May 18, 2024 by Ryalith
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.