5914 Commits

Author	SHA1	Message	Date
Alex Beregszaszi	8fb7a18800	Small refactorings for isoltest	2021-04-22 01:04:34 +01:00
Alex Beregszaszi	f1aaae36ee	Upgrade to EVMC 7.5.0 ... One important change: MockedAccount.storage is a map and not unordered_map	2021-04-21 21:05:40 +01:00
Leonardo	7bbf3a694b	Merge pull request #11261 from ethereum/smt_choose_target ... [SMTChecker] Add option to choose contracts to be analyzed	2021-04-21 13:11:33 +02:00
chriseth	c3d73982ea	Merge pull request #11268 from ethereum/refactorByteArrayPopSol2Yul ... [Sol->Yul] Refactor ByteArrayPop to use unchecked index access	2021-04-21 13:05:00 +02:00
chriseth	e2120f1f2f	Merge pull request #11272 from ethereum/replace-boost-with-rangev3-solgen ... Remove most boost usages in Yul proto converter	2021-04-21 12:21:57 +02:00
Djordje Mijovic	d03744489f	Update cmdline tests.	2021-04-21 11:01:22 +02:00
Djordje Mijovic	9fcf16900d	Update gas costs in smeantic tests.	2021-04-21 11:01:22 +02:00
Leonardo Alt	dd1865873e	Choose contracts to be analyzed by the SMTChecker	2021-04-21 10:34:14 +02:00
Bhargava Shastry	69dd1771b7	Remove as many boost usages as possible in protoToYul.cpp	2021-04-20 18:46:19 +02:00
Alex Beregszaszi	4177270562	Trivial isoltest updates: comments always on the same line	2021-04-20 17:38:29 +02:00
Alex Beregszaszi	1be07c2b36	Trivial isoltest updates: missing // ---- at the end	2021-04-20 17:38:29 +02:00
Alex Beregszaszi	84c05d35f3	Trivial isoltest updates: normalized whitespace	2021-04-20 17:38:29 +02:00
Alex Beregszaszi	45c6bbe02b	Trivial isoltest updates: directives sorted alphabetically	2021-04-20 17:21:56 +02:00
chriseth	cf7f814a4e	Merge pull request #10921 from ethereum/issue-10881 ... Natspec: Don't copy from base function if return parameters differ	2021-04-20 15:33:48 +02:00
Leonardo Alt	a39a6e26da	update tests	2021-04-19 19:23:18 +02:00
Leonardo Alt	80892c8a21	Fix nondeterminism	2021-04-19 19:23:18 +02:00
Leonardo Alt	36def3ef6e	tests for free constants	2021-04-19 19:23:18 +02:00
Leonardo Alt	fd8b4afb76	new free function tests	2021-04-19 19:23:18 +02:00
Leonardo Alt	095d337140	Basic support to free constants	2021-04-19 19:23:18 +02:00
Leonardo Alt	6ae82fcec2	Add tests for the library bug	2021-04-19 19:23:18 +02:00
Leonardo Alt	4e34359063	Basic support to free functions	2021-04-19 19:23:18 +02:00
chriseth	6a0a51110d	Merge pull request #11256 from ethereum/smt_target_array ... Change settings.modelChecker.targets to take an array instead of string	2021-04-19 18:47:06 +02:00
Leonardo Alt	e3abde43f5	Change settings.modelChecker.targets to take an array instead of string	2021-04-19 17:53:03 +02:00
Kamil Śliwak	0d4871ad10	Prevent adding '-' CLI flag to allowed paths as if it was an actual file ... - This resulted in a bug where using stdin was effectively disabling allowed path checks.	2021-04-19 16:58:48 +02:00
Kamil Śliwak	2abd3073d4	Merge pull request #11235 from ethereum/cmdline-tests-for-stdin ... Allow using stdin in cmdlineTests	2021-04-19 16:21:43 +02:00
chriseth	1feca5dddb	Merge pull request #11259 from ethereum/exportErrorsInAst ... Export used errors in the AST.	2021-04-19 15:53:32 +02:00
Mathias Baumann	1737bd7ded	Natspec: Don't copy from base function if return parameters differ	2021-04-19 15:20:30 +02:00
chriseth	8eb0d5edf6	Export used errors in the AST.	2021-04-19 14:15:50 +02:00
Bhargava Shastry	14d2170b46	Merge pull request #11238 from ethereum/yul-interpreter-storage-state ... Permit Yul interpreter vs Evmone storage comparison.	2021-04-19 12:22:59 +02:00
Kamil Śliwak	7b467a49d7	Disable assertion that gives non-deterministic results in in slice tests for SMTChecker	2021-04-15 17:14:21 +02:00
Bhargava Shastry	6941143613	Merge pull request #11216 from ethereum/fix-abiv2-fuzzer-bug ... Fix use of const ref in Abiv2 and other proto fuzzers.	2021-04-14 15:03:57 +02:00
Bhargava Shastry	15bf6af77a	Remove output parameters from function call since they are generated on the fly in the converter.	2021-04-14 13:53:37 +02:00
Bhargava Shastry	7c806217fb	Changes to yul proto mutator.	2021-04-14 13:53:37 +02:00
Bhargava Shastry	cf08c9b255	Correct use of emplace_back	2021-04-14 13:53:37 +02:00
Bhargava Shastry	1709b2924b	Changes to how function calls are generated.	2021-04-14 13:53:37 +02:00
Christian Parpart	81c7b30a6a	Merge pull request #11234 from ethereum/fix-file-reader-compiler-stack-source-unit-name-mismatch ... Use identical source unit names in FileReader and CompilerStack	2021-04-14 13:46:14 +02:00
chriseth	11b227e33e	Merge pull request #11205 from ethereum/fix-docstring-bug ... Fix docstring bug	2021-04-14 13:18:33 +02:00
Djordje Mijovic	ea5cda08c8	Adding tests for bytes.concat with fixed bytes arguments.	2021-04-14 11:21:24 +02:00
Bhargava Shastry	b1392ac988	Fix use of const ref in Abiv2 and other proto fuzzers.	2021-04-13 19:38:43 +02:00
Kamil Śliwak	59ef75cf5a	cmdlineTests: Allow providing content of the standard input when not testing via Standard JSON	2021-04-13 13:37:12 +02:00
Kamil Śliwak	4e4f46cde5	cmdlineTests: Allow tests with no input file	2021-04-13 13:37:12 +02:00
Kamil Śliwak	cc65b426d0	Merge pull request #11237 from ethereum/fix-wrong-exit-code-update-in-cmdline-tests ... Fix exit code update in cmdlineTests	2021-04-13 13:34:57 +02:00
Kamil Śliwak	6a41b417a3	FileReader: Store files loaded by the callback under their source unit name	2021-04-13 13:25:59 +02:00
Kamil Śliwak	b9b483a0c3	cmdlineTests.sh: Make regex for stripping version from test output match even if there's no whitespace after colon	2021-04-13 13:25:32 +02:00
chriseth	0289994da5	Merge pull request #11221 from ethereum/fixCalldataDecodingOverflowBug ... Fix calldata decoding overflow bug	2021-04-12 18:11:29 +02:00
chriseth	4912bfe639	Merge pull request #11229 from ethereum/antlrPath ... Fix import paths in grammar and grammar testing details.	2021-04-12 16:30:41 +02:00
Daniel Kirchner	6fdfd8b62b	Fix import path grammar and grammar testing details.	2021-04-12 14:54:36 +02:00
chriseth	2ed17e4b43	Update tests.	2021-04-12 13:43:56 +02:00
chriseth	72d0a56a72	Fix array decoding offset overflow.	2021-04-12 13:43:51 +02:00
chriseth	32b8332867	Refactor array decoding.	2021-04-12 13:43:51 +02:00