19433 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Alex Beregszaszi	2c92f7641b	Move all experimental pragma tests to syntaxTests/pragma	2021-01-15 19:12:32 +00:00
Daniel Kirchner	9bf88d5459	Merge pull request #10791 from ethereum/committer-date-in-prerelease-txt-on-windows ... Use committer date in CI build version strings on Windows	2021-01-15 20:12:04 +01:00
Kamil Śliwak	68e416e905	build_win.ps1: Use committer date rather than author date in prerelease.txt ... - That's what the Linux/macOS scripts do.	2021-01-15 19:09:49 +01:00
Dmytro	c3d6f19e12	Update events doc ... Changed the name of the variable because the RTD displays it in green (like the data type or the syntax of the word function), apparently, this is due to the formatting of the RTD text. https://docs.soliditylang.org/en/latest/contracts.html#events	2021-01-15 18:12:52 +02:00
Leonardo	726c5ff68c	Merge pull request #10777 from blishko/smt-fix-checked ... [SMTChecker] Fix BMC crash related to `unchecked` blocks	2021-01-15 16:46:32 +01:00
Alex Beregszaszi	3e678acd7d	Merge pull request #10781 from ethereum/new-ir-tests ... Enable some semantic tests for the IR	2021-01-15 14:48:22 +00:00
Martin Blicha	18214d1ccc	[SMTChecker] Reset checked/unchecked flag to the default value when inlining function in BMC	2021-01-15 15:36:26 +01:00
Leonardo	93b25dc783	Merge pull request #10741 from ethereum/smt_cex_external_calls ... [SMTChecker] Synthesize untrusted functions called externally	2021-01-15 15:31:56 +01:00
Alex Beregszaszi	293bb01c56	Enable some semantic tests for the IR	2021-01-15 14:10:54 +00:00
Leonardo Alt	007d39871b	[SMTChecker] Synthesize untrusted functions called externally	2021-01-15 11:56:26 +01:00
Alex Beregszaszi	eaf7d7daa7	Merge pull request #10546 from ethereum/isoltestHardError ... [isoltest] Error out in case of different result when enforcing via yul.	2021-01-14 22:53:36 +00:00
Djordje Mijovic	b92d024898	[isoltest] Error out in case of different result when enforcing via yul. ... Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>	2021-01-14 22:37:12 +00:00
chriseth	ece2fdd8c6	Merge pull request #10774 from ethereum/roundUpAllocations ... Round up allocations to multiples of 32.	2021-01-14 23:16:41 +01:00
chriseth	cae1b75932	Merge pull request #10772 from ethereum/fix-commit-date-in-ci-builds-on-mac-os ... Fix commit date command for CI builds on macOS	2021-01-14 23:07:55 +01:00
chriseth	db4b39e09e	Round up allocations to multiples of 32.	2021-01-14 21:52:17 +00:00
Alex Beregszaszi	31ee06d945	Merge pull request #10775 from ethereum/useRoundUpInArrayAlloc ... Use round up function.	2021-01-14 21:46:32 +00:00
Kamil Śliwak	71d19c5178	build_win.ps1: Use commit date for CI builds on Windows and Emscripten as well	2021-01-14 22:23:06 +01:00
Kamil Śliwak	6c3ccc8e29	ci/build.sh: Use a more portable command for getting the date to make it work on macOS too	2021-01-14 22:22:39 +01:00
chriseth	7d6331e26f	Use round up function.	2021-01-14 21:01:43 +00:00
Alex Beregszaszi	6ad0ea9f23	Merge pull request #10773 from ethereum/useArrayAllocationFunction ... Fix array allocation.	2021-01-14 20:25:31 +00:00
chriseth	aba8d807db	Merge pull request #10765 from ethereum/ir-revert-strings ... Include revert strings in IR	2021-01-14 20:00:11 +01:00
chriseth	f4479fd7ed	Fix array allocation.	2021-01-14 19:56:37 +01:00
chriseth	a26e6eacdc	Merge pull request #10767 from ethereum/ir-unimplemented-failures ... Display unimplemented errors in Yul codegen testing	2021-01-14 19:28:30 +01:00
Alex Beregszaszi	4491a290e2	Display unimplemented errors in Yul codegen testing ... i.e. do not hide exceptions	2021-01-14 18:08:01 +00:00
chriseth	35bc9b1ea1	Merge pull request #10682 from ethereum/catchPanic ... Document ``catch Panic(uint)``.	2021-01-14 18:46:03 +01:00
Alex Beregszaszi	7c7fd22062	Include revert strings in IR	2021-01-14 18:45:12 +01:00
chriseth	f9bfceccd1	Merge pull request #10771 from ethereum/use-commit-date-in-ci-builds ... Commit date in CI build version strings	2021-01-14 18:38:45 +01:00
chriseth	df7c17a053	Document `catch Panic(uint)`.	2021-01-14 18:37:02 +01:00
chriseth	96ce3cf7cb	Merge pull request #10770 from ethereum/doc-pragma-check-special-case-for-current-dev-version ... Special case for development version in doc pragma checker	2021-01-14 18:35:47 +01:00
Kamil Śliwak	a901f78be7	ci/build.sh: Use commit date rather than build date in version strings of CI builds	2021-01-14 18:04:41 +01:00
Alex Beregszaszi	d4627d53eb	Merge pull request #10235 from ethereum/onlyFailOnUnimplemented ... Fail on assertion failures in yul code generation.	2021-01-14 16:55:07 +00:00
Kamil Śliwak	c63fd0a1af	docs_version_pragma_check.sh: Remove the special case for versions ending in .99	2021-01-14 17:35:19 +01:00
Kamil Śliwak	a39c8e3750	docs_version_pragma_check.sh: Switch to the new-style [[ ]] conditions	2021-01-14 17:35:19 +01:00
Kamil Śliwak	d8d5b3ab20	docs_version_pragma_check.sh: Don't treat missing compiler version as an error if it's the current dev version	2021-01-14 17:35:19 +01:00
Kamil Śliwak	203ebf89bb	scripts/common.sh: Add printWarning() helper	2021-01-14 17:35:19 +01:00
Leonardo	110e0e1f25	Merge pull request #10763 from blishko/smt-abi-fixes ... [SMTChecker] Small fixes in handling ABI functions	2021-01-14 16:00:49 +01:00
chriseth	a4769d446f	Fail on assertion failures in yul code generation.	2021-01-14 14:51:16 +00:00
chriseth	7d036dcb81	Merge pull request #10762 from ethereum/packedStorageOverflowSol2Yul ... [Sol->Yul] Fixing uncheked increment/decrement.	2021-01-14 15:32:55 +01:00
chriseth	6769c519b2	Merge pull request #10764 from ethereum/fixLibraryFromModule ... Fix accessing libraries inside modules.	2021-01-14 15:30:52 +01:00
chriseth	7f03af08b6	Merge pull request #10766 from ethereum/snark ... Move snark.sol in tests to externalContracts	2021-01-14 15:06:23 +01:00
chriseth	e61c4b411e	Merge pull request #10754 from ethereum/extractTwoTests ... Extract some tests.	2021-01-14 15:05:38 +01:00
Alex Beregszaszi	4db0e3049e	Move snark.sol in tests to externalContracts	2021-01-14 13:55:36 +00:00
Martin Blicha	2ee0f347b9	[SMTChecker] additional regression tests	2021-01-14 14:54:14 +01:00
Martin Blicha	504e4c22b2	[SMTChecker] Fix in abi handling - tuple expression of size 1 has the type of the member and not TupleType	2021-01-14 14:53:56 +01:00
Martin Blicha	b4d2a71eec	[SMTChecker] Fix in abi handling - fixed missing type conversion	2021-01-14 14:53:44 +01:00
Martin Blicha	32a923c7ef	[SMTChecker] Fix in abi handling - abstracting expressions of type Function inside ABI functions when translating to SMT	2021-01-14 14:53:22 +01:00
chriseth	a65415cdad	Fix accessing libraries inside modules.	2021-01-14 14:07:08 +01:00
Djordje Mijovic	dc3e76bc2c	[Sol->Yul] Fixing uncheked increment/decrement.	2021-01-14 13:46:04 +01:00
chriseth	2a62814686	Merge pull request #10758 from ethereum/defaultBuildType ... Set default build type, if none was specified.	2021-01-14 11:36:33 +01:00
chriseth	170cd5d2ae	Merge pull request #10760 from ethereum/asmConstantsFileLevel ... Fix accessing constants at file level from inline assembly.	2021-01-14 11:33:47 +01:00