5924 Commits

Author	SHA1	Message	Date
hrkrshnn	b636ef881e	Added command line tests for keccak optimization with low runs ... The value of keccak256(0, 32) should not be replaced by the big constant	2021-04-22 18:19:47 +02:00
hrkrshnn	221292c278	Tests and changelog	2021-04-22 18:19:47 +02:00
hrkrshnn	1f5b874eaf	Optimizer context has parameter expectedExecutionsPerDeployment	2021-04-22 17:27:57 +02:00
chriseth	ec4558a245	Update gas costs.	2021-04-22 16:54:02 +02:00
chriseth	314f361d07	Update commandline tests.	2021-04-22 16:54:02 +02:00
chriseth	00fb2d390b	Do not replace zeros by return variable.	2021-04-22 16:54:02 +02:00
Đorđe Mijović	8840fb6ffd	Merge pull request #11270 from ethereum/addingBoundsByteArraySolYul	2021-04-22 15:41:32 +02:00
chriseth	e408b708ac	Use "for objects" dialect for function side effects test.	2021-04-22 14:37:51 +02:00
Djordje Mijovic	3a4233f3ad	[Sol->Yul] Adding bounds check when increasing size of byte array.	2021-04-22 11:42:46 +02:00
chriseth	35b651103d	Adjust cost of literal zero.	2021-04-22 11:42:42 +02:00
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