draperlaboratory / VIBES

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

Removes `vibes-function-info` #237

Closed bmourad01 closed 2 years ago

bmourad01 commented 2 years ago

This PR lets us get rid of the "function info" file that we pass from vibes-parse to vibes-opt. It turns out that, with a small change to the Core_c pass, we can get by with just using the tags in the vibes-bir library.