Skip to content

Issues: OCamlPro/owi

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

53 Open 60 Closed
53 Open 60 Closed
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
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

add c2wasm and c2wat subcommands
#254 opened May 2, 2024 by zapashcanon
add missing proposals enhancement New feature or request good first issue Good for newcomers
#253 opened Apr 27, 2024 by zapashcanon
5 tasks
merge owi run and owi script enhancement New feature or request good first issue Good for newcomers
#252 opened Apr 27, 2024 by zapashcanon
make compile.ml and parse.ml functions more generic so they can handle both wasm and wat when it makes sense enhancement New feature or request good first issue Good for newcomers
#249 opened Apr 24, 2024 by zapashcanon
add a an option to owi wasm2wat to automatically generate file.wat from file.wasm instead of printing on stdout enhancement New feature or request good first issue Good for newcomers
#248 opened Apr 24, 2024 by zapashcanon
add a -o option to owi wasm2wat to allow specifying output filename enhancement New feature or request good first issue Good for newcomers
#247 opened Apr 24, 2024 by zapashcanon
support .wasm file directly in owi sym, owi validate and owi opt (it works only in owi run for now) enhancement New feature or request good first issue Good for newcomers
#246 opened Apr 24, 2024 by zapashcanon
Remove dependency on wasm2wat for owi c as we now have our own (which may be broken but that's a good way to find out :-)) enhancement New feature or request good first issue Good for newcomers
#245 opened Apr 24, 2024 by zapashcanon
symbolic instruction error: extend_i32/64 bug Something isn't working
#228 opened Mar 21, 2024 by epatrizio
symbolic instruction Encoding error: trunc_f32/64 bug Something isn't working
#217 opened Mar 12, 2024 by epatrizio
unimplemented symbolic instruction: trunc_sat_f32/64 bug Something isn't working
#216 opened Mar 12, 2024 by epatrizio Complete symbolic interpreter implementation
unimplemented symbolic instruction: popcnt bug Something isn't working
#215 opened Mar 12, 2024 by epatrizio Complete symbolic interpreter implementation
unimplemented symbolic instruction: memory.blit bug Something isn't working
#214 opened Mar 12, 2024 by epatrizio Complete symbolic interpreter implementation
unimplemented symbolic instruction: memory.fill bug Something isn't working
#213 opened Mar 12, 2024 by epatrizio Complete symbolic interpreter implementation
Incomplete simplification in Encoding bug Something isn't working
#212 opened Mar 12, 2024 by epatrizio
@krtab
add a zig subcommand enhancement New feature or request
#202 opened Mar 5, 2024 by zapashcanon
use proper conf-* packages instead of depexts enhancement New feature or request good first issue Good for newcomers
#201 opened Mar 5, 2024 by zapashcanon
4
add a flag to print the solver statistics enhancement New feature or request good first issue Good for newcomers
#184 opened Feb 21, 2024 by zapashcanon
1
2
Tracking issue for symbolic memory adressing enhancement New feature or request
#182 opened Feb 21, 2024 by krtab
Reduce usage of Crowbar.dynamic_bind in fuzzing enhancement New feature or request good first issue Good for newcomers
#179 opened Feb 19, 2024 by krtab
@epatrizio
make lint-doc fatal again enhancement New feature or request good first issue Good for newcomers
#175 opened Feb 17, 2024 by zapashcanon
rewrite the instrumentation in OCaml enhancement New feature or request
#165 opened Feb 13, 2024 by zapashcanon
symbolic sqrt is slow enhancement New feature or request
#162 opened Feb 13, 2024 by epatrizio
7
print non relevant variables only in the xml enhancement New feature or request good first issue Good for newcomers
#156 opened Feb 9, 2024 by zapashcanon
@filipeom
Add timeout/heartbeat feature enhancement New feature or request good first issue Good for newcomers
#155 opened Feb 9, 2024 by AdrienChampion
@epatrizio
1
ProTip! Add no:assignee to see everything that’s not assigned.