Work on case analysis (with extra stuff) - 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

Work on case analysis (with extra stuff) #144

Closed dddejan closed 4 years ago

dddejan commented 4 years ago

Description

Includes

Case analysis support in specs.
Revamp of TCCs, hopefully to enable better handling of various conditions.
Comparison for expressions, so that we can have sets of expressions.

Checklist

[ ] Code compiles correctly
[ ] All tests are passing
[ ] 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)
[ ] Used meaningful commit messages

hajduakos commented 4 years ago

Cool, I'll take a look during the weekend