Skip to content

Pull requests: GaloisInc/grease

New pull request New
6 Open 335 Closed
6 Open 335 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Resolve unconstrained pointers
#675 opened May 1, 2026 by langston-barrett Collaborator • Draft
1
@langston-barrett
1
tests: Embed CFLAGS in C files for binary tests, too area/tests Issues related to the GREASE test suite. type/refactor
#661 opened Apr 27, 2026 by langston-barrett Collaborator • Draft
@langston-barrett
Support reachability analysis in GREASE
#633 opened Apr 2, 2026 by langston-barrett Collaborator • Draft
@langston-barrett
Shared discovery state
#629 opened Apr 2, 2026 by langston-barrett Collaborator • Draft
@langston-barrett
1
Shadow stack
#617 opened Mar 30, 2026 by langston-barrett Collaborator • Draft
@langston-barrett
Support ECFS
#563 opened Mar 10, 2026 by langston-barrett Collaborator • Draft
1
@langston-barrett
1
ProTip! no:milestone will show everything without a milestone.