Use released version of creusot

ruth561 / VerifiedDBM

DBM Implementation Verified by Creusot

5 stars 1 forks source link

Use released version of creusot #2

Closed xldenis closed 1 week ago

xldenis commented 1 week ago

This PR just updates the dependency on creusot-contracts to use the released version on crates.io rather than the source install, making it more easily installable.

I checked the proofs locally as well.

ruth561 commented 1 week ago

Thank you for your pull request! I have merged it into the main branch.