17897 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
chriseth	9c5e14e309	Merge pull request #9839 from ethereum/annotations-optional ... Make annotations ``SetOnce`` or ``optional`` where feasible	2020-09-23 11:44:21 +02:00
Leonardo	cfff24a2ae	Merge pull request #9858 from ethereum/smt-address ... [SMTChecker] Support address type conversion with literals	2020-09-23 11:24:07 +02:00
Leonardo Alt	f4ee4cd479	Update tests	2020-09-22 20:51:28 +02:00
Alex Beregszaszi	709d25bd3d	[SMTChecker] Support address type conversion with literals	2020-09-22 18:49:11 +01:00
Mathias Baumann	dd81d05559	Make annotations `SetOnce or optional` where feasible	2020-09-22 17:38:21 +02:00
chriseth	700cc4c9d3	Merge pull request #9836 from ethereum/fix-missing-check-for-nested-dynamic-arrays-with-abi-encode-decode-v1 ... Add missing check for nested dynamic arrays in abi.encode()/decode() functions in ABIEncoderV1	2020-09-22 15:49:17 +02:00
chriseth	b732ecb98c	Merge pull request #9734 from ethereum/aarlt-patch-1 ... Update ReleaseChecklist.md: Add Homebrew formula bump description.	2020-09-22 12:56:06 +02:00
Alexander Arlt	b3953e39db	Update ReleaseChecklist.md: Add Homebrew formula bump description.	2020-09-21 20:25:26 -05:00
chriseth	d80a81b01b	Merge pull request #9848 from ethereum/readdrelease ... Re-add the release script still used by appveyor.	2020-09-21 22:33:48 +02:00
chriseth	83aa8c1e23	Merge pull request #9818 from a3d4/introduce-compositetype ... Introduce CompositeType	2020-09-21 22:33:04 +02:00
Daniel Kirchner	7fa9a9d312	Merge pull request #9162 from ethereum/memoryEscalator ... Memory Escalator	2020-09-21 20:03:38 +02:00
chriseth	8e77bb5bfc	Merge pull request #9838 from ethereum/fix-wrong-name-reported-for-invalid-named-argument ... Fix wrong name reported for invalid named argument	2020-09-21 17:17:14 +02:00
chriseth	5733927dde	Merge pull request #9847 from ethereum/extocdesizecheck ... [DOC] Add note about extcodesize check.	2020-09-21 16:28:59 +02:00
a3d4	6b77a20134	Introduce CompositeType	2020-09-21 16:18:04 +02:00
chriseth	8979174f02	Re-add the release script still used by appveyor.	2020-09-21 12:23:41 +02:00
chriseth	306fef334b	Merge pull request #9546 from ethereum/expToShift ... Optimization rule: Replace exp by shl.	2020-09-21 12:21:47 +02:00
chriseth	71af44b27b	Add note about extcodesize check.	2020-09-21 11:58:23 +02:00
Daniel Kirchner	f3c2d6cfdc	Move memory load and store functions to the dialect.	2020-09-17 22:13:27 +02:00
Daniel Kirchner	48f620fb50	Reverse the order of the memory offsets assigned to variables.	2020-09-17 22:13:27 +02:00
Daniel Kirchner	976abf4715	Easy review fixes.	2020-09-17 22:13:27 +02:00
Daniel Kirchner	0eb32b3f60	Rephrase documentation of memoryguard	2020-09-17 22:13:27 +02:00
Daniel Kirchner	f4b42d1c72	Add stack limit evader.	2020-09-17 22:13:27 +02:00
Kamil Śliwak	b571fd05b0	Merge pull request #9837 from ethereum/fix-isoltest-regex-not-accepting-zero ... Allow using zero in patterns passed to isoltest --test	2020-09-17 19:02:44 +02:00
Kamil Śliwak	aae640dd3a	Fix wrong name used in error message when reporting invalid named argument	2020-09-17 18:59:18 +02:00
Kamil Śliwak	4045f41c8d	Make the test for invalid named arguments more robust ... - Add more parameters and use different types. - Now it's clear that the name used in the error message is wrong.	2020-09-17 17:29:28 +02:00
Kamil Śliwak	dc62d763eb	Move syntax tests for named arguments from namedAndTypeResolution/ to functionCalls/	2020-09-17 17:29:28 +02:00
Kamil Śliwak	1a4cc4e64d	Fix type check for nested arrays in abi.encode/decode functions in ABIEncoderV1 ... - Without this fix, nested arrays are not detected as unsupported and compiler fails on an UnimplementedError. - Now it's consistent with how structs are handled in ABIEncoderV1.	2020-09-17 17:29:16 +02:00
Kamil Śliwak	89e696ca1b	Allow using zero in patterns passed to isoltest --test	2020-09-17 17:28:49 +02:00
chriseth	7a5957512c	Merge pull request #9825 from ethereum/windowsCircleCITests ... CircleCI Windows test run.	2020-09-17 16:21:37 +02:00
chriseth	684fff34a9	Replace exp by shl.	2020-09-17 16:06:52 +02:00
Daniel Kirchner	e716c9e2b9	Run solc.exe after build run just to make sure no error was missed.	2020-09-17 14:46:24 +02:00
Daniel Kirchner	a1de862135	Set ErrorActionPreference on all powershell scripts and add explicit error checks.	2020-09-17 14:44:52 +02:00
Daniel Kirchner	23fa0a5387	Test run for CircleCI windows builds.	2020-09-17 14:44:52 +02:00
Daniel Kirchner	ed80585311	Merge pull request #9476 from ethereum/windows-tests ... Building release on Windows	2020-09-17 14:44:13 +02:00
chriseth	cbba1b726f	Merge pull request #9833 from ethereum/ignoreReasoningBasedSimplifierYulTestIfNoSMT ... Do not run reasoning test if no SMT Solver is available.	2020-09-17 14:31:05 +02:00
chriseth	6e4205e445	Do not run reasoning test if no SMT Solver is available.	2020-09-17 13:43:35 +02:00
Christian Parpart	165f898ba9	Release build for Windows.	2020-09-17 13:32:32 +02:00
chriseth	ccc6106c7c	Merge pull request #9773 from ethereum/docs_contributing ... [Docs] Adds language design to contributing section and restructures it a bit	2020-09-17 11:48:28 +02:00
franzihei	711983e53c	adding lang design and restructuring	2020-09-17 11:46:59 +02:00
chriseth	905065280f	Merge pull request #9827 from ethereum/fixreassimpl ... Small fixes wrt ReasoningBasedSimplifier.	2020-09-16 18:42:19 +02:00
chriseth	6e2d2feb10	Small fixes wrt ReasoningBasedSimplifier.	2020-09-16 18:08:54 +02:00
chriseth	ef0760614d	Merge pull request #9811 from ethereum/windowsStaticCircleCI ... Completely static Windows build on CircleCI	2020-09-16 17:47:56 +02:00
chriseth	19dccf4c36	Merge pull request #9826 from ethereum/verify-exp-shl ... Verify simplification rule exp(2, X) to shl(X, 1)	2020-09-16 17:43:14 +02:00
Harikrishnan Mulackal	64ddf2c699	Verify simplification rule exp(2, X) to shl(X, 1)	2020-09-16 17:36:39 +02:00
Daniel Kirchner	b97ce763c5	Upload binaries individually as artifacts.	2020-09-16 17:19:41 +02:00
chriseth	5000785ff8	Merge pull request #9822 from ethereum/fix-ice-on-returning-string-literal-in-calldata ... Mark string literals as not implicitly convertible to calldata arrays	2020-09-16 14:23:47 +02:00
Alex Beregszaszi	a187a1c4c4	Merge pull request #9798 from ethereum/smt-log ... [SMTChecker] Support events and low-level logs	2020-09-16 12:26:27 +01:00
Daniel Kirchner	d0fa9a5a6d	Update AppVeyor config to set Boost_USE_STATIC_RUNTIME.	2020-09-16 13:25:44 +02:00
Daniel Kirchner	d66b6f1c46	CircleCI Windows config and install_deps.ps1 script.	2020-09-16 12:50:31 +02:00
Daniel Kirchner	860226e25d	Allow statically linked windows build in CMake.	2020-09-16 12:50:31 +02:00