22326 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Marenz	0234e2aa6b	lsp.py: Fix broken console reading	2022-05-18 14:54:19 +02:00
Marenz	ca3af4b2a2	LSP: Implement semantic tokens	2022-05-18 14:54:16 +02:00
chriseth	f629f9eff0	Merge pull request #13036 from ethereum/setver0815 ... Set version to 0.8.15.	2022-05-18 12:13:38 +02:00
chriseth	79554b9a40	Set version to 0.8.15.	2022-05-17 18:03:53 +02:00
chriseth	80d49f3702	Merge pull request #13034 from ethereum/setreleasedatefro0814 ... Set release date.	2022-05-17 13:55:13 +02:00
chriseth	0bd0bf4c7d	Set release date.	2022-05-17 13:50:26 +02:00
chriseth	c5cc55339e	Merge pull request #12850 from ethereum/dataLocationInInheritance ... Properly check data location in inheritance.	2022-05-17 13:48:55 +02:00
chriseth	f427247993	Bug list entry.	2022-05-17 13:04:06 +02:00
chriseth	259edd4c98	Changelog.	2022-05-17 13:04:05 +02:00
Kamil Śliwak	1164d1b4dd	Switch ENS external test to master branch	2022-05-17 13:02:12 +02:00
Kamil Śliwak	27e5afa23d	Patch external tests for the override data alignment issue until our patches are accepted upstream	2022-05-17 13:02:12 +02:00
chriseth	dfa0bcf760	More strict override check for data locations.	2022-05-17 13:02:12 +02:00
chriseth	bef348aa6a	Merge pull request #13027 from ethereum/ethersproject-contracts-update-workaround ... Workaround for problems caused by forcing ethers@5.6.1 in external tests	2022-05-17 12:59:50 +02:00
chriseth	c67e8a247d	Merge pull request #13031 from ethereum/sortChangelog ... Sort changelog.	2022-05-17 11:05:28 +02:00
Kamil Śliwak	adf3eaac9b	gnosis: Update upstream repo URL	2022-05-17 10:57:21 +02:00
Kamil Śliwak	c57bc47060	gnosis: Disable newly added tests broken due to Hardhat heuristics	2022-05-17 10:57:21 +02:00
chriseth	f021017bc0	Sort changelog.	2022-05-17 10:38:26 +02:00
Kamil Śliwak	91177d74ee	perpetual-pools: Remove the ethers@5.6.1 workaround	2022-05-16 20:52:53 +02:00
Kamil Śliwak	e9f1bd00cc	gnosis: Workaround for problems caused by forcing ethers@5.6.1 in external tests	2022-05-16 20:52:30 +02:00
Daniel Kirchner	a3bd01d9fc	Merge pull request #13020 from ethereum/gnosis-ext-test-get-storage-at-hardhat-bug-workaround ... Workaround for `getStorageAt()` bug in Hardhat 2.9.5 for gnosis external test	2022-05-13 19:47:40 +02:00
Kamil Śliwak	3bfb79df0c	gnosis: Workaround for getStorageAt() bug in Hardhat 2.9.5	2022-05-13 19:05:21 +02:00
Daniel Kirchner	12ee9aed50	Merge pull request #13013 from ethereum/revert-disallow-returndatacopy-in-pure-functions ... Revert "Disallow RETURNDATASIZE and RETURNDATACOPY in inline assembly blocks in pure functions"	2022-05-13 18:52:37 +02:00
Daniel Kirchner	67270854ee	Merge pull request #13014 from ethereum/updateZ3_4_8_17 ... Update Z3 deps ppa script and docker images.	2022-05-13 18:29:01 +02:00
Daniel Kirchner	af5662ffad	Merge pull request #13018 from 0xalpharush/patch-1 ... document that pop does not return last element	2022-05-13 17:57:35 +02:00
Daniel Kirchner	49badcd91a	Update docker images for new z3 version.	2022-05-13 17:46:42 +02:00
Daniel Kirchner	edd769a6dc	Update Z3 deps ppa script.	2022-05-13 17:46:42 +02:00
Daniel Kirchner	e1972da29a	Merge pull request #13016 from ethereum/z3_17 ... Update tests and hashes for z3 4.8.17	2022-05-13 17:46:03 +02:00
alpharush	93755fcb70	document that pop does not return last element ... It's already documented for push and this would clarify my incorrect assumption (that pop returns a value as in other languages) that caused confusion with https://github.com/ethereum/solidity/issues/13017	2022-05-13 09:45:55 -05:00
Leo Alt	6a126f6ccb	Update tests and hashes for z3 4.8.17	2022-05-13 15:25:10 +02:00
Matheus Aguiar	35661479b6	Revert "Disallow RETURNDATASIZE and RETURNDATACOPY in inline assembly blocks in pure functions" ... This reverts commit f567eb1fb2. Correcting Bugfixes section of Changelog.	2022-05-13 08:35:21 -03:00
Kamil Śliwak	dbcffb79a5	CI: Post a notification to gitter when binaries are ready	2022-05-12 21:41:44 +02:00
Kamil Śliwak	0153822d2e	CI: Add c_release_binaries job that gathers release binaries from individual jobs	2022-05-12 21:41:44 +02:00
Daniel Kirchner	aafda389ea	Merge pull request #12907 from ethereum/calldataReencodeValidationBug ... Calldatasize-check during ABI encoding from calldata values with nested dynamic arrays.	2022-05-12 17:56:44 +02:00
Leo	2aba061bde	Merge pull request #12967 from ethereum/update_z3_docker ... Update docker z3 version 4.8.16	2022-05-12 15:23:03 +02:00
Leo	96bf85b35b	Merge pull request #13012 from ethereum/z3-use-rebuilt-buildpack-images ... Switch to newly built buildpack-deps images with Z3 4.8.16 in CI	2022-05-12 15:16:12 +02:00
Leo	80a055103e	Merge pull request #13009 from ethereum/smt_support_z3_16 ... Support new z3 AST node	2022-05-12 14:28:38 +02:00
Kamil Śliwak	c0cc8ff7e7	Switch to newly built buildpack-deps images in CI	2022-05-12 14:26:07 +02:00
Leo Alt	2fe143f7d0	add changelog entry and docs note	2022-05-12 13:43:28 +02:00
Daniel Kirchner	d357d56b16	Increase CircleCI node size for soltest_all runs.	2022-05-12 13:41:56 +02:00
Daniel Kirchner	352a3c5f4b	Bug list entry, changelog entry and tests.	2022-05-12 13:08:30 +02:00
Leo Alt	60b405aaa9	Support new z3 AST node	2022-05-12 10:50:30 +02:00
Leo	0c0ff4fce6	Merge pull request #13000 from ethereum/smt_fix_recursive ... [SMTChecker] Fix check that solver is available	2022-05-11 21:52:52 +02:00
Leo Alt	4c00815c53	Changelog entry	2022-05-11 20:02:31 +02:00
Leo Alt	cbaba6f913	update tests	2022-05-11 20:02:31 +02:00
Leo Alt	93f9638a1b	Add error id to script	2022-05-11 20:02:31 +02:00
Leo Alt	75d08ea924	Check early if solvers are available.	2022-05-11 20:02:31 +02:00
Daniel Kirchner	d3a837b340	Bugfix.	2022-05-11 18:17:47 +02:00
Daniel Kirchner	d92ed3fd29	Test case for the buggy behaviour.	2022-05-11 18:17:47 +02:00
Daniel Kirchner	1d7b4704bb	Merge pull request #13006 from ethereum/initializationOrderFix ... Fix asorted compilation issues with GCC 12.	2022-05-11 17:19:45 +02:00
Daniel Kirchner	cf311e5780	Disable maybe-unitialized warning for boost headers using a pragma.	2022-05-11 16:21:53 +02:00