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
e0c2b4bb9c
solidity/test/formal
History
Daniel Kirchner c71fb76bb2 Proofs for the overflow and underflow conditions in checked arithmetic for Sol->Yul code generation.
2019-06-20 15:58:10 +02:00
..
checked_int_add.py Proofs for the overflow and underflow conditions in checked arithmetic for Sol->Yul code generation. 2019-06-20 15:58:10 +02:00
checked_int_div.py Proofs for the overflow and underflow conditions in checked arithmetic for Sol->Yul code generation. 2019-06-20 15:58:10 +02:00
checked_int_mul_16.py Proofs for the overflow and underflow conditions in checked arithmetic for Sol->Yul code generation. 2019-06-20 15:58:10 +02:00
checked_int_sub.py Proofs for the overflow and underflow conditions in checked arithmetic for Sol->Yul code generation. 2019-06-20 15:58:10 +02:00
checked_uint_add.py Proofs for the overflow and underflow conditions in checked arithmetic for Sol->Yul code generation. 2019-06-20 15:58:10 +02:00
checked_uint_mul_16.py Proofs for the overflow and underflow conditions in checked arithmetic for Sol->Yul code generation. 2019-06-20 15:58:10 +02:00
checked_uint_sub.py Proofs for the overflow and underflow conditions in checked arithmetic for Sol->Yul code generation. 2019-06-20 15:58:10 +02:00
combine_div_shl_one_32.py
combine_mul_shl_one_64.py
combine_shl_shr_by_constant_64.py
combine_shr_shl_by_constant_64.py
move_and_across_shl_128.py
move_and_across_shr_128.py
opcodes.py Proofs for the overflow and underflow conditions in checked arithmetic for Sol->Yul code generation. 2019-06-20 15:58:10 +02:00
README.md
rule.py
shl_workaround_8.py
sub_not_zero_x_to_not_x_256.py
util.py Proofs for the overflow and underflow conditions in checked arithmetic for Sol->Yul code generation. 2019-06-20 15:58:10 +02:00

README.md

The Solidity compiler implements several optimization rules.

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