19964 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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	db1b630de5	Changelog	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
chriseth	8d169d3615	Merge pull request #11236 from ethereum/fix-allowed-paths-with-stdin ... Fix stdin bypassing allowed paths	2021-04-19 18:03:05 +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
chriseth	6ef7e39e46	Merge pull request #11267 from ethereum/test_osx_cache ... Force Homebrew update to work around CircleCI auto-update issue	2021-04-19 16:54:12 +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
Kamil Śliwak	e76ef821a7	osx_install_dependencies.sh: Update brew explicitly to workaround auto-update issue on CircleCI ... - Old versions have problems with binaries hosted on bintray. We need an up-to-date one. - It automatically updates itself when we install boost but apparently there's a problem with that on CircleCI. An explicit update works.	2021-04-19 16:08:50 +02:00
Kamil Śliwak	1c556d0aaa	osx_install_dependencies.sh: Use set -ue to fail fast on errors	2021-04-19 16:06:49 +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
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
Daniel Kirchner	f9b23ca845	Merge pull request #11247 from ethereum/setValueForCurrentScopeHelper ... Add SetValueForCurrentScope helper.	2021-04-16 12:42:25 +02:00
Daniel Kirchner	afae46dcb5	Add ScopedSaveAndRestore helper.	2021-04-16 10:56:56 +02:00
Daniel Kirchner	cb85285ac6	Merge pull request #11258 from ethereum/less-verbose-bytecode-comparison-output-in-ci ... Less verbose bytecode comparison output in CI	2021-04-16 10:22:51 +02:00
Đorđe Mijović	da87eea309	Merge pull request #11262 from ethereum/disable-smt-assertion-in-slices-3 ... Disable assertion that gives non-deterministic results in slice tests for SMTChecker	2021-04-16 09:34:25 +02:00
Kamil Śliwak	30cda36d9a	Create a bundle with all bytecode reports when comparison fails in CI	2021-04-15 17:14:33 +02:00
Kamil Śliwak	f14a80cbcf	Don't print full diff when bytecode comparison fails in CI	2021-04-15 17:14:33 +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	a108f84651	Merge pull request #10997 from ethereum/yul-fuzzer-improvements ... Yul fuzzer improvements	2021-04-14 15:03:36 +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
chriseth	850bd289eb	Merge pull request #11255 from ethereum/bytesConcatFixedBytesTests ... Adding tests for bytes.concat with fixed bytes arguments.	2021-04-14 11:32:48 +02:00
Djordje Mijovic	ea5cda08c8	Adding tests for bytes.concat with fixed bytes arguments.	2021-04-14 11:21:24 +02:00
chriseth	60d43ecf28	Merge pull request #11252 from ethereum/simplifySemanticInfo ... Remove semantic information function for assembly items.	2021-04-14 10:35:36 +02:00
Bhargava Shastry	b1392ac988	Fix use of const ref in Abiv2 and other proto fuzzers.	2021-04-13 19:38:43 +02:00
chriseth	6dba5f5c2b	Remove semantic information function for assembly items.	2021-04-13 18:34:16 +02:00
chriseth	f188f3d9ed	Merge pull request #11248 from ethereum/docs_meeting_update ... DOCS: Replace Google Meet with Jitsi Link in Contributing	2021-04-13 18:19:45 +02:00
franzihei	8f17034eee	Docs Contributing: Replace Google Meet with Jitsi Link	2021-04-13 16:01:36 +02:00
chriseth	282c389cfc	Merge pull request #11241 from ethereum/codeTransformExtractCommon ... Extract VariableReferenceCounter and StackTooDeep error from EVMCodeTransform.	2021-04-13 15:29:53 +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	0922d60ba6	FileReader: More accurate description of FileReader::readFile() and its arguments	2021-04-13 13:26:01 +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
Daniel Kirchner	5bebbca273	Extract VariableReferenceCounter and StackTooDeep error from EVMCodeTransform.	2021-04-13 10:41:16 +02:00
chriseth	0289994da5	Merge pull request #11221 from ethereum/fixCalldataDecodingOverflowBug ... Fix calldata decoding overflow bug	2021-04-12 18:11:29 +02:00