Skip to content

Issues: mnemonikr/symbolic-pcode

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

29 Open 39 Closed
29 Open 39 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

Review code for constant assertions and add const blocks around them internal Issue involves primarily internal changes
#136 opened Oct 9, 2024 by mnemonikr
Lift symbolic logic to a higher langauge enhancement New feature or request
#133 opened Sep 20, 2024 by mnemonikr
1
Implement TRUNC
#125 opened Feb 26, 2024 by mnemonikr Floating point
Implement FLOAT2INT
#124 opened Feb 26, 2024 by mnemonikr Floating point
Implement INT2FLOAT
#123 opened Feb 26, 2024 by mnemonikr Floating point
Implement FLOAT_NAN
#122 opened Feb 26, 2024 by mnemonikr Floating point
Implement FLOAT_ROUND
#121 opened Feb 26, 2024 by mnemonikr Floating point
Implement FLOAT_FLOOR
#120 opened Feb 26, 2024 by mnemonikr Floating point
Implement FLOAT_CEIL
#119 opened Feb 26, 2024 by mnemonikr Floating point
Implement FLOAT_SQRT
#118 opened Feb 26, 2024 by mnemonikr Floating point
Implement FLOAT_DIV
#117 opened Feb 26, 2024 by mnemonikr Floating point
Implement FLOAT_MULT
#116 opened Feb 26, 2024 by mnemonikr Floating point
Implement FLOAT_SUB
#115 opened Feb 26, 2024 by mnemonikr Floating point
Implement FLOAT_ADD
#114 opened Feb 26, 2024 by mnemonikr Floating point
Implement FLOAT_NEG
#113 opened Feb 26, 2024 by mnemonikr Floating point
Implement FLOAT_ABS
#112 opened Feb 26, 2024 by mnemonikr Floating point
Implement FLOAT_LESSEQUAL
#111 opened Feb 26, 2024 by mnemonikr Floating point
Implement FLOAT_LESS
#110 opened Feb 26, 2024 by mnemonikr Floating point
Update conversion code to use const generic expressions once they land in Rust stable enhancement New feature or request
#108 opened Feb 26, 2024 by mnemonikr
Code coverage report in Github action is inaccurate bug Something isn't working
#107 opened Feb 26, 2024 by mnemonikr
1
Compile .slaspec files automatically enhancement New feature or request
#106 opened Feb 26, 2024 by mnemonikr
Add write_unchecked for symbolic memory enhancement New feature or request
#102 opened Feb 12, 2024 by mnemonikr
1
Add unit tests for processor API internal Issue involves primarily internal changes
#100 opened Feb 12, 2024 by mnemonikr
Update calls to memory writes to take advantage of new type signature internal Issue involves primarily internal changes
#99 opened Feb 12, 2024 by mnemonikr
Enable benchmarks in Github actions
#97 opened Feb 10, 2024 by mnemonikr
ProTip! Mix and match filters to narrow down what you’re looking for.