Skip to content

Pull requests: GaloisInc/macaw

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

fix(base): Join jump bounds when re-discovering a block bug discovery Issues related to the code discovery logic
#624 opened May 26, 2026 by langston-barrett Contributor Draft
Memory model: split mutable and immutable chunk maps
#575 opened Mar 25, 2026 by langston-barrett Contributor Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.