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

Clear current search query, filters, and sorts
13 Open 32 Closed
13 Open 32 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

assert false reached bug Something isn't working
#566 opened Mar 25, 2025 by zapashcanon
@zapashcanon
1
issue with getopt bug Something isn't working
#507 opened Feb 21, 2025 by zapashcanon
2
investigate which dependency is turning on backtraces bug Something isn't working enhancement New feature or request
#455 opened Nov 16, 2024 by zapashcanon
@zapashcanon
[Concolic] select_i32 does not branch. bug Something isn't working
#410 opened Aug 17, 2024 by filipeom
segfault during symbolic execution bug Something isn't working
#387 opened Jul 25, 2024 by Laplace-Demon
9
unimplemented symbolic instructions bug Something isn't working
#378 opened Jul 23, 2024 by zapashcanon
4 tasks
@filipeom
2
proper separation of text_to_binary (group+assign+rewrite) and validation bug Something isn't working
#344 opened Jul 3, 2024 by zapashcanon
@zapashcanon
concolic failures bug Something isn't working
#312 opened Jun 14, 2024 by zapashcanon
1
@chambart @zapashcanon
8
symbolic instruction error: extend_i32/64 bug Something isn't working pending smtml
#228 opened Mar 21, 2024 by epatrizio
@filipeom
2
symbolic instruction Encoding error: trunc_f32/64 bug Something isn't working pending smtml
#217 opened Mar 12, 2024 by epatrizio
@filipeom
6
Incomplete simplification in smtml bug Something isn't working pending smtml
#212 opened Mar 12, 2024 by epatrizio
@filipeom @krtab
2
some identifiers are added too late bug Something isn't working
#85 opened Nov 27, 2023 by zapashcanon
@zapashcanon
data string init pretty printer bug Something isn't working good first issue Good for newcomers
#37 opened Jun 5, 2023 by epatrizio
1
@zapashcanon
ProTip! Mix and match filters to narrow down what you’re looking for.