cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
Files
d640255a2c2ea78a9bf7cc78fdec984b4d809e81
solidity/test/formal
T
History

README.md

The Solidity compiler implements several optimization rules.

This directory contains an effort to formally prove the correctness of those rules in:

Reference in New Issue View Git Blame Copy Permalink