The Solidity compiler implements several optimization rules.
This directory contains an effort to formally prove the correctness of those rules in:
- HOL with EthIsabelle
- FOL with SMT solvers using Integers and BitVectors
formal
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||