Pull requests: GaloisInc/grease
Pull requests list
Support reachability analysis in GREASE
#633
opened Apr 2, 2026 by
langston-barrett
Collaborator
•
Draft
Bump Macaw submodule for memory model optimizations (pt 2)
#623
opened Apr 1, 2026 by
langston-barrett
Collaborator
•
Draft
cli: Add --no-path-sat, --no-assert-then-assume
#620
opened Mar 31, 2026 by
langston-barrett
Collaborator
•
Draft
tests: Add Issues related to the GREASE test suite.
.llvm.cbl tests corresponding to most binary tests in refine/
area/tests
#578
opened Mar 18, 2026 by
langston-barrett
Collaborator
•
Draft
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.