fix extraneous unfolding of get in straightline, prove addsub - Githubissues

mit-plv / bedrock2

A work-in-progress language and compiler for verified low-level programming

http://adam.chlipala.net/papers/LightbulbPLDI21/

MIT License

297 stars 45 forks source link

fix extraneous unfolding of get in straightline, prove addsub #354

Closed andres-erbsen closed 1 year ago