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

Adapt w.r.t. coq/coq#18895. #414

Closed ppedrot closed 6 months ago

ppedrot commented 6 months ago

Should be backwards compatible.