Skip to content

Issues: ubc-systopia/velosiraptor

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.

Sign up for GitHub

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

21 Open 26 Closed
21 Open 26 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

TODO for the paper as of Nov 2023
#118 opened Nov 24, 2023 by mlechu
Check out High-Level Synthesis (HLS)
#116 opened Aug 28, 2023 by achreto
Parser Improvement: Better error messages improvement anything that can be improved parser Everything that is related to the parser
#113 opened Aug 11, 2023 by achreto
Synthesis Optimizations
#99 opened Jun 20, 2023 by achreto
2 tasks
Notion of "global" state across units.
#91 opened May 29, 2023 by achreto
1
Verification of Generated Programs (Static parts)
#88 opened May 8, 2023 by achreto
Leverage Inheritance
#85 opened May 5, 2023 by achreto
See how to support Intel MPK
#84 opened May 5, 2023 by achreto
2 tasks
Specify Remap() Explicitly.
#83 opened May 4, 2023 by achreto
2
Abstract Memory Model: Include Caches
#82 opened May 4, 2023 by achreto
Higher-Level Composition
#80 opened May 2, 2023 by achreto
4
Functions to Extract State Field Values
#77 opened May 1, 2023 by rmehri01
1
Hardware Generation bug Something isn't working codegen Code generation
#75 opened Apr 28, 2023 by achreto
3 tasks
Improve SMT Encodings improvement anything that can be improved synthesis Synthesis part of code generation
#74 opened Apr 26, 2023 by achreto
2 tasks
1
Invariants: inv()
#73 opened Apr 26, 2023 by achreto
2
Init() Methods
#54 opened May 3, 2022 by achreto
Code Generation for Map() codegen Code generation functionality New things to be done
#53 opened May 3, 2022 by achreto
Issues from the Meeting documentation Improvements or additions to documentation
#49 opened Nov 24, 2021 by achreto
Unify Flags functionality New things to be done lexer Everything that is related to the lexer parser Everything that is related to the parser
#41 opened Sep 29, 2021 by achreto
1
Parser: Alignment Constraints for MemoryState functionality New things to be done parser Everything that is related to the parser
#24 opened Aug 25, 2021 by achreto
Support Library / Header codegen Code generation functionality New things to be done question Further information is requested
#23 opened Aug 24, 2021 by achreto
ProTip! What’s not been updated in a month: updated:<2024-12-06.