search

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

Wp is exec #362

Open andres-erbsen opened 1 year ago

andres-erbsen commented 1 year ago

Based on abandoned branch mentioned in https://github.com/mit-plv/bedrock2/pull/361