vibes-tools more progress on vibes-parse and vibes-opt

draperlaboratory / VIBES

Verified, Incremental, Binary Editing with Synthesis

MIT License

51 stars 1 forks source link

Closed jtpaasch closed 2 years ago

jtpaasch commented 2 years ago

Makefile is parallelized
vibes-parse is roughly completed
vibes-opt is there too, except for the linear ssa pass (should that be a separate step?)