19475 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Mathias Baumann	07a1d230cd	Fix missing error when accessing unintialized variables.	2021-01-25 14:44:15 +01:00
chriseth	ccdf57c9b1	Merge pull request #10700 from ethereum/whiskers_check_template_contains_tag ... [whiskers] Add check that template contain tags.	2021-01-25 14:17:05 +01:00
chriseth	1c35c52fbe	Update z3 to 4.8.10.	2021-01-25 11:40:31 +01:00
chriseth	d9b39b9e57	Merge pull request #10842 from ethereum/fix-intheritance-typo ... Fix the 'intheritance' typo	2021-01-25 11:37:54 +01:00
Kamil Śliwak	4ad0b4338a	Fix the 'intheritance' typo in the name of the of the subdirectories in semanticTests/	2021-01-25 11:17:06 +01:00
Hui Yu	c669ee251a	[CLI] Allow "=" as separator between library name and address in --libraries commandline option.	2021-01-25 16:14:39 +08:00
Kamil Śliwak	8a8442377d	Merge pull request #10832 from ethereum/cmdline-tests-more-robust-interactive-mode ... More robust interactive mode in command-line tests	2021-01-22 15:34:40 +01:00
Kamil Śliwak	aef724cc2f	Merge pull request #10819 from ethereum/python-unit-tests-in-ci ... CI job for running Python unit tests	2021-01-22 15:30:31 +01:00
Kamil Śliwak	cf147fac7a	Add a CI job for running Python unit tests	2021-01-22 13:41:20 +01:00
Kamil Śliwak	aae271e399	Add a script for running the Python test suites and include it in scripts/tests.sh	2021-01-22 13:37:40 +01:00
Kamil Śliwak	e59d58bf31	Merge pull request #10822 from ethereum/bytecode-report-windows-compatibility-fixes ... Windows compatibility fixes for bytecode report	2021-01-22 13:10:06 +01:00
Kamil Śliwak	83d65ba8f5	Disable git's automatic line ending conversion in Windows CI jobs	2021-01-22 12:16:28 +01:00
Kamil Śliwak	151df00bb0	Read/write files in python with newline='' option to preserve newlines as \n on Windows	2021-01-22 12:16:27 +01:00
Kamil Śliwak	cc516b2a16	Replace docstrings with normal strings in python unit tests to get same line endings on all platforms	2021-01-22 12:15:33 +01:00
Kamil Śliwak	ba6acae240	prepare_report.py: Prevent Windows-style paths from ending up in the bytecode report	2021-01-22 12:15:33 +01:00
Leonardo	ead1a26f21	Merge pull request #10797 from ethereum/refactor-and-shellcheck-cleanup-in-report-errors-sh ... Refactor and shellcheck cleanup in report_errors.sh and check_style.sh	2021-01-22 12:12:39 +01:00
Leonardo	3045770a6f	Merge pull request #10828 from ethereum/smt_cex_value ... [SMTChecker] Add msgvalue to cex if > 0	2021-01-21 21:34:38 +01:00
Leonardo Alt	a612daa783	Add msgvalue to cex	2021-01-21 19:05:44 +01:00
chriseth	5bb29b1f14	Merge pull request #10814 from ethereum/autoupdate ... Autoupdate for commandline tests.	2021-01-21 16:16:29 +01:00
Kamil Śliwak	c7d8e7ee87	cmdlineTests.sh: Ask about updating expectations in case of error code mismatch too	2021-01-21 15:21:10 +01:00
Kamil Śliwak	8ac36068fc	cmdlineTests.sh: Add edit and skip options like in isoltest	2021-01-21 13:58:28 +01:00
chriseth	a4e228e552	Autoupdate for commandline tests.	2021-01-21 13:43:20 +01:00
Harikrishnan Mulackal	bad8d23802	Merge pull request #10830 from az1az1/develop ... Update value-types.rst	2021-01-21 12:41:46 +01:00
az1az1	91b1ada8f5	Update value-types.rst	2021-01-20 17:19:38 -05:00
Alexander Arlt	061fecbc90	[whiskers] Add check that template contain tags.	2021-01-20 15:26:34 -05:00
Leonardo	a75b87c80e	Merge pull request #10813 from ethereum/smt_targets_option ... Add CLI and JSON option to select SMTChecker targets	2021-01-20 18:37:08 +01:00
chriseth	bbd29b24ab	Update tests.	2021-01-20 18:25:27 +01:00
chriseth	3cc07694ed	Cleanup allocation.	2021-01-20 18:25:27 +01:00
chriseth	2cc1e3393f	Merge pull request #10603 from ethereum/yul-optimiser-step-fuzzing ... Fuzzer: Enable fine-grained yul optimizer fuzzing	2021-01-20 17:43:03 +01:00
Leonardo Alt	3b23cadbdc	Add CLI and JSON option to select SMTChecker targets	2021-01-20 17:35:37 +01:00
chriseth	8d84f587db	Merge pull request #10824 from ethereum/fixPayableExample ... Fix payable example.	2021-01-20 15:09:47 +01:00
chriseth	ceecfcb8a3	Fix payable example.	2021-01-20 15:09:26 +01:00
chriseth	085b5c423d	Merge pull request #10815 from ethereum/enableCall ... Enable test.	2021-01-20 15:04:58 +01:00
chriseth	60cb8726f1	Enable test.	2021-01-20 14:02:35 +01:00
chriseth	aad7297b58	Merge pull request #10818 from ethereum/explainDisabled ... Enable via yul or explain why disabled.	2021-01-20 14:01:09 +01:00
Kamil Śliwak	81f3c7497b	check_style.sh: Fix incorrect comment about for { being treated as a style error	2021-01-20 13:29:34 +01:00
Kamil Śliwak	7bc81e3c95	Rename report_errors.sh to post_style_errors_on_github.sh	2021-01-20 13:29:34 +01:00
Kamil Śliwak	f214682a27	report_errors.sh: Don't print error messages to stdout ... - check_style.sh already does this	2021-01-20 13:29:34 +01:00
Kamil Śliwak	0a3cc81693	check_style.sh: Consistent identation	2021-01-20 13:29:33 +01:00
Kamil Śliwak	e5bc08fa7b	Fix shellcheck errors in report_errors.sh and check_style.sh	2021-01-20 13:29:00 +01:00
Kamil Śliwak	877b5d1c1c	Add proper quotes in check_style.sh and report_errors.sh	2021-01-20 13:29:00 +01:00
chriseth	1df284733e	Merge pull request #10823 from DmytroShalaiev/DmytroShalaiev-events-doc-fix ... Update events doc	2021-01-19 23:37:43 +01:00
Alexander Arlt	f928107181	[ewasm] Polyfill: balance & address: Update Tests.	2021-01-19 13:04:45 -05:00
Alexander Arlt	87e3fbee6c	[ewasm] Polyfill: balance & address.	2021-01-19 13:03:40 -05:00
Bhargava Shastry	b3dd83a20b	Enable fine grained yul optimizer fuzzing	2021-01-19 18:22:59 +01:00
Leonardo	0b023b893e	Merge pull request #10817 from ethereum/splitShiftBytesTest ... Split shift bytes test.	2021-01-19 16:16:45 +01:00
chriseth	06d19a9203	Enable via yul or explain why disabled.	2021-01-19 16:12:53 +01:00
chriseth	66dac95b88	Merge pull request #10816 from ethereum/fixEmptyPacked ... Fix empty packed encoder.	2021-01-19 16:01:12 +01:00
chriseth	1fcc76a562	Fix empty packed encoder.	2021-01-19 15:50:04 +01:00
chriseth	52511a2163	Split shift bytes test.	2021-01-19 14:55:18 +01:00