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

Don't rerun tests in bedrock2/Makefile each time #391

Closed samuelgruetter closed 11 months ago

samuelgruetter commented 11 months ago

Does this fix https://github.com/mit-plv/bedrock2/issues/388, @JasonGross?

JasonGross commented 11 months ago

Can we merge and see if it works in fiat-crypto's CI?

JasonGross commented 11 months ago

Seems to work, thanks!