Skip to content

Pull requests: OCamlPro/owi

New pull request New
Clear current search query, filters, and sorts
11 Open 317 Closed
11 Open 317 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

update talks no changelog
#548 by zapashcanon was merged Mar 7, 2025 Loading…
install zig in deploy CI, along with minor fixes and improvements no changelog
#545 by zapashcanon was merged Mar 7, 2025 Loading…
update to latest smtml no changelog
#543 by zapashcanon was merged Mar 5, 2025 Loading…
add owi zig subcommand
#542 by zapashcanon was merged Mar 5, 2025 Loading…
1
1
prepare to clean the mess no changelog
#540 by zapashcanon was merged Mar 4, 2025 Loading…
Better message for assert(false) in replay
#539 by S41d was merged Mar 4, 2025 Loading…
1
expose owi_print_char in C no changelog
#537 by zapashcanon was merged Mar 4, 2025 Loading…
Fix interpet's use of stale memory no changelog
#534 by krtab was merged Mar 3, 2025 Loading…
2
Add owi_range
#530 by S41d was merged Mar 5, 2025 Loading…
8
Add basic klee api compatibility no changelog
#529 by S41d was merged Mar 3, 2025 Loading…
3
Add Lazy Array no changelog
#527 by krtab was merged Feb 27, 2025 Loading…
1
Fix i8 symbol Rust ffi no changelog
#526 by krtab was merged Feb 27, 2025 Loading…
Pretty print requested symbols during replay no changelog
#525 by krtab was merged Feb 27, 2025 Loading…
1
add in_replay_mode function no changelog
#524 by zapashcanon was merged Feb 27, 2025 Loading…
@krtab
disable opam cache in CI no changelog
#522 by zapashcanon was closed Feb 26, 2025 Loading…
adapt to new benchmark server no changelog
#521 by zapashcanon was merged Feb 25, 2025 Loading…
Fix symbol_so_that no changelog
#520 by krtab was merged Feb 25, 2025 Loading…
Prototype of a harness module no changelog
#518 by krtab was merged Feb 25, 2025 Loading…
Expose stop primitive in Choice monad no changelog
#517 by krtab was merged Feb 26, 2025 Loading…
1
6
Bump JamesIves/github-pages-deploy-action from 4.7.2 to 4.7.3 dependencies Pull requests that update a dependency file no changelog
#515 by dependabot bot was merged Feb 25, 2025 Loading…
Improve rust bindings no changelog
#513 by krtab was merged Feb 25, 2025 Loading…
6
Cratify rust bindings no changelog
#511 by krtab was merged Feb 24, 2025 Loading…
1
ssl no changelog
#506 by zapashcanon was merged Feb 21, 2025 Loading…
some CI fixes no changelog
#504 by zapashcanon was merged Feb 17, 2025 Loading…
add event logger
#503 by zapashcanon was merged Feb 15, 2025 Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.