Removes the old codebase

draperlaboratory / VIBES

Verified, Incremental, Binary Editing with Synthesis

MIT License

51 stars 1 forks source link

Removes the old codebase #254

Closed bmourad01 closed 1 year ago

bmourad01 commented 1 year ago

We've moved to the new vibes-tools approach, which consists of a bunch of smaller libraries and tools for the VIBES toolchain. So, we are no longer using a monolithic library and plugin for VIBES and thus it should be deleted.