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
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
Daniel Kirchner
cbf9a4f1ed
Add bogus return to switch.
2022-05-11 13:58:06 +02:00
Daniel Kirchner
ece547204a
Reorder member variables of unique error reporter to ensure proper initialization order.
2022-05-11 13:40:02 +02:00
Kamil Śliwak
c64fb7a258
docker_upgrade.sh: Workaround for git refusing to work with a repo in attached volume
2022-05-10 18:24:21 +02:00
Leo Alt
571d94b051
Update docker z3 version
2022-05-10 18:24:21 +02:00
Leo
9f6d3deaea
Merge pull request #12999 from ethereum/disable-non-deterministic-counterexamples-in-some-smt-tests
...
Disable non-deterministic counterexamples in some SMT tests
2022-05-10 14:32:40 +02:00
