chriseth 0973ae751a Do not warn about enabled ABIEncoderV2 anymore.		2019-11-26 15:49:42 +01:00
..
abi_decode_memory_v2_value_types.sol	Do not warn about enabled ABIEncoderV2 anymore.	2019-11-26 15:49:42 +01:00
abi_decode_memory_v2.sol	Do not warn about enabled ABIEncoderV2 anymore.	2019-11-26 15:49:42 +01:00
abi_decode_simple.sol	[SMTChecker] Fix ICE in abi.decode	2019-11-18 13:15:10 +01:00
blockhash.sol	[SMTChecker] Implement uninterpreted functions and use it for blockhash()	2018-11-15 09:12:42 +01:00
difficulty.sol	Add gasleft constraint and use full member access name	2018-10-22 18:19:11 +02:00
gasleft.sol	Add gasleft constraint and use full member access name	2018-10-22 18:19:11 +02:00
many.sol	[SMTChecker] Only check for overflow/underflow in the end of the function	2019-02-18 23:55:58 +01:00
msg_data.sol	[SMTChecker] Support enums	2019-03-07 15:15:12 +01:00
msg_sender_1.sol	[SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash	2018-10-19 15:52:16 +02:00
msg_sender_2.sol	[SMTChecker] Support basic typecast	2019-01-16 13:00:54 +01:00
msg_sender_fail_1.sol	[SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash	2018-10-19 15:52:16 +02:00
msg_sig.sol	Grouping of symbolic variables in the same file and support to FixedBytes	2018-10-25 09:30:48 +02:00
this_state.sol	[SMTChecker] Support this as address	2019-04-18 17:56:52 +02:00
this.sol	[SMTChecker] Support this as address	2019-04-18 17:56:52 +02:00