search

runtimeverification / gitbook-kontrol

https://docs.runtimeverification.com/kontrol
4 stars 3 forks source link

Update solidity code #37

Closed anvacaru closed 6 months ago

anvacaru commented 6 months ago

Updating the solidity code to support the latest forge version.