Merge - Githubissues

SRI-CSL / solidity

This is solc-verify, a modular verifier for Solidity.

https://github.com/SRI-CSL/solidity/blob/boogie/SOLC-VERIFY-README.md

GNU General Public License v3.0

50 stars 14 forks source link

Merge #149

Closed dddejan closed 4 years ago

dddejan commented 4 years ago

Description

Checklist

[X] Code compiles correctly
[X] All tests are passing
[X] New tests have been created which fail without the change (if possible)
[ ] README / documentation was extended, if necessary
[ ] Changelog entry (if change is visible to the user)
[X] Used meaningful commit messages

dddejan commented 4 years ago

Merging to not delay. We'll fix any issues in the main branch.