Leonardo Alt 34470f3549 [SMTChecker] Only check for overflow/underflow in the end of the function		2019-02-18 23:55:58 +01:00
..
overflow_mul_signed.sol	[SMTChecker] Only check for overflow/underflow in the end of the function	2019-02-18 23:55:58 +01:00
overflow_mul.sol	[SMTChecker] Only check for overflow/underflow in the end of the function	2019-02-18 23:55:58 +01:00
overflow_sum_signed.sol	[SMTChecker] Only check for overflow/underflow in the end of the function	2019-02-18 23:55:58 +01:00
overflow_sum.sol	[SMTChecker] Only check for overflow/underflow in the end of the function	2019-02-18 23:55:58 +01:00
safe_add_1.sol	[SMTChecker] Only check for overflow/underflow in the end of the function	2019-02-18 23:55:58 +01:00
safe_add_2.sol	[SMTChecker] Only check for overflow/underflow in the end of the function	2019-02-18 23:55:58 +01:00
safe_div_1.sol	[SMTChecker] Only check for overflow/underflow in the end of the function	2019-02-18 23:55:58 +01:00
safe_mul_1.sol	[SMTChecker] Only check for overflow/underflow in the end of the function	2019-02-18 23:55:58 +01:00
safe_mul_2.sol	[SMTChecker] Only check for overflow/underflow in the end of the function	2019-02-18 23:55:58 +01:00
safe_sub_1.sol	[SMTChecker] Only check for overflow/underflow in the end of the function	2019-02-18 23:55:58 +01:00
simple_overflow.sol	add a 'readable' format for large hex values	2018-12-05 22:15:02 +01:00
underflow_sub_signed.sol	[SMTChecker] Only check for overflow/underflow in the end of the function	2019-02-18 23:55:58 +01:00
underflow_sub.sol	[SMTChecker] Only check for overflow/underflow in the end of the function	2019-02-18 23:55:58 +01:00