search

draperlaboratory / VIBES

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

Provide a default Theory.Unit for Patcher.reify_patch #121

Closed jtpaasch closed 3 years ago