5784 Commits

Author	SHA1	Message	Date
Martin Blicha	2f52affcc2	[SMTChecker] Correctly resolve current scope contract in VariableUsage.	2021-03-15 13:55:14 +01:00
Martin Blicha	6aa6c5f5f9	[SMTChecker] Reset reference variables on assignment to a variable of reference type	2021-03-12 19:51:31 +01:00
Martin Blicha	0cb75293f9	[SMTChecker] fix handling of assignments of array/mapping state variable accessed using contract name	2021-03-12 14:01:07 +01:00
Daniel Kirchner	1265b39904	Merge pull request #11095 from ethereum/fixGcc8 ... Fix compilation error with GCC 8.	2021-03-12 13:25:25 +01:00
Daniel Kirchner	6d19a25705	Fix compilation error with GCC 8.	2021-03-12 12:28:18 +01:00
Bhargava Shastry	788eb02825	EVMHost: Use std::map for storage so that slots are stored in some order.	2021-03-12 09:39:15 +01:00
Leonardo Alt	6fd76e830d	Fix CHC cex order	2021-03-11 10:36:40 +01:00
Bhargava Shastry	a30b071a5d	Update test/EVMHost.cpp ... Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>	2021-03-10 18:10:20 +01:00
Bhargava Shastry	8023fdb537	Extract state printing to a separate class.	2021-03-10 17:41:03 +01:00
Bhargava Shastry	24f42c5541	Filter false positives due to EVM errors. ... Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>	2021-03-10 17:41:03 +01:00
Bhargava Shastry	34c08ea2c6	EVMHost: Add tracing features needed for fuzzing.	2021-03-10 17:41:03 +01:00
chriseth	89946b15d2	Merge pull request #10863 from ethereum/isoltestGasCosts ... [isoltest] Add gas costs to function call expectations	2021-03-10 15:11:20 +01:00
Djordje Mijovic	b73e9f3eef	Update tests.	2021-03-10 14:22:30 +01:00
Djordje Mijovic	63017bd510	Not showing gas used if it is equal to m_gas(in case of out of gas failures).	2021-03-10 14:22:30 +01:00
Djordje Mijovic	06171a3100	Changing enforceGasCost functionality.	2021-03-10 14:22:26 +01:00
Djordje Mijovic	2b14efbbcc	Adding debug info on gas costs when updating gas values. ... Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>	2021-03-09 21:48:11 +01:00
Djordje Mijovic	14a3731182	Don't run gas for ir if it is not explicitely added to expectations.	2021-03-09 21:27:44 +01:00
Djordje Mijovic	2c575db0ea	Show both expected and obtained gas expectations when failure happens.	2021-03-09 21:27:38 +01:00
Djordje Mijovic	12ef273d06	Setting metadata has and version type for semantic tests to be empty.	2021-03-09 21:26:45 +01:00
Djordje Mijovic	cf59d7fc13	Making order of gas expectations deterministic.	2021-03-09 21:26:45 +01:00
Djordje Mijovic	aed3832b27	Implementing enforcing gas expectations in isoltest. ... Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>	2021-03-09 21:26:45 +01:00
Djordje Mijovic	515f15f7a3	Small style fix for SemanticTest constructor.	2021-03-09 21:26:45 +01:00
Djordje Mijovic	5ea97a5d43	Running gas tests only on tests having expectations.	2021-03-09 21:26:45 +01:00
Djordje Mijovic	6d51dfb617	[isoltest] Adding gas used as semantic tests expectation.	2021-03-09 21:26:36 +01:00
Martin Blicha	4285c2803b	[SMTChecker] Fix ICE on array.pop nested inside 1-tuple	2021-03-09 20:00:51 +01:00
chriseth	ad5d34df74	Merge pull request #11071 from ethereum/fixCRInSourceRefFor ... Fix handling of carriage return.	2021-03-09 17:52:34 +01:00
Leonardo	5677df86af	Merge pull request #11069 from blishko/smt-array-slice-fix ... [SMTChecker] Use same sort name for array slice as for the underlying array	2021-03-09 16:39:12 +01:00
Daniel Kirchner	a75424eec4	Drop support for evm15 and eip-615.	2021-03-09 15:56:03 +01:00
chriseth	5c2cd8d553	Merge pull request #11073 from ethereum/extractStackReuseTests ... Extract StackReuseCodegen tests.	2021-03-09 15:52:23 +01:00
Daniel Kirchner	e99da7e015	Extract StackReuseCodegen tests.	2021-03-09 15:47:24 +01:00
chriseth	eb85a4414c	Fix handling of carriage return.	2021-03-09 15:33:12 +01:00
chriseth	40c27ccc22	Move AND with constant inside OR.	2021-03-09 15:26:19 +01:00
Martin Blicha	5af01f6896	[SMTChecker] Use same sort name for array slice as for the underlying array.	2021-03-09 11:06:22 +01:00
Martin Blicha	385a664f3c	[SMTChecker] Fix public getter for array of structs.	2021-03-08 17:34:20 +01:00
Kamil Śliwak	093ea4612b	Merge pull request #10586 from ethereum/shellcheck-fixes-part1 ... Fixes for shellcheck warnings, part 1	2021-03-05 17:13:46 +01:00
Daniel Kirchner	acd3084076	Fuzzer for stack optimiser/code generator.	2021-03-04 17:35:56 +01:00
Bhargava Shastry	ca267e50d3	Merge pull request #11053 from ethereum/protoConverter-opcode-filter-flag ... Proto yul converter: Provide a flag to filter stateful instructions.	2021-03-04 17:31:52 +01:00
Kamil Śliwak	c8fc241be5	Avoid using $? in conditions and do && exit 1 instead if !	2021-03-04 16:57:25 +01:00
Kamil Śliwak	e8a70e8e4b	Prefix globs with ./ or use -- to make commands safe with files named like command-line options	2021-03-04 16:57:25 +01:00
Kamil Śliwak	a05f3a608d	Don't use $ on variables inside (())	2021-03-04 16:53:05 +01:00
Kamil Śliwak	2784135c37	Use read with the -r option	2021-03-04 16:53:05 +01:00
Kamil Śliwak	75b87d159d	Declare variables separately when assigning the result of $()	2021-03-04 16:53:05 +01:00
Kamil Śliwak	4c186321c8	Replace some older shell syntax with newer and/or more reliable equivalents	2021-03-04 16:53:05 +01:00
Leonardo	d42d0faf41	Merge pull request #11052 from blishko/issue-10986 ... [SMTChecker] Correct handling of FixedBytes constants initialized with string literal	2021-03-04 16:51:22 +01:00
Bhargava Shastry	a34308e4cb	Proto yul converter: Provide a flag to filter stateful instructions.	2021-03-04 15:20:19 +01:00
Martin Blicha	0340510c53	[SMTChecker] correct handling of FixedBytes constants initialized with string literal	2021-03-04 15:14:47 +01:00
Alexander Arlt	94895822d2	[isoltest] Add support for builtin functions.	2021-03-04 08:49:59 -05:00
Martin Blicha	9e81c81560	[SMTChecker] updated tests	2021-03-03 17:11:42 +01:00
chriseth	d2023f5f95	Check for invalid tags.	2021-03-02 16:53:31 +01:00
chriseth	5690020d88	Allow custom natspec tags.	2021-03-02 16:13:28 +01:00