search

termite2 / Termite

The Termite driver synthesis tool
30 stars 7 forks source link

Clean up synthesis algorithm #1

Closed ryzhyk closed 10 years ago

ryzhyk commented 10 years ago

simplify CPre