search

draperlaboratory / VIBES

Verified, Incremental, Binary Editing with Synthesis
MIT License
51 stars 1 forks source link

Use the `$(OGRE)` predicate for the `patch` target #247

Closed bmourad01 closed 1 year ago