cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
22,207 Commits 348 Branches 121 Tags
27e5afa23d1c9f52b7cb36906f665d9c1f2c0f78
Commit Graph
22207 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
Kamil Śliwak 0e0d1972f9 Disable non-deterministic counterexamples in some SMT tests 
- The counterexamples sometimes do appear and the tests fail.
 2022-05-10 12:48:01 +02:00
Christian Parpart 463e417508 Merge pull request #12960 from ethereum/lsp-make-import-error-fatal 
lsp.py enhancements
 2022-05-09 16:37:34 +02:00
Marenz 893122eb89 lsp.py: Support subdirectories 2022-05-09 14:54:55 +02:00
Marenz 02dfeb5427 lsp.py: Trigger fatal error when importing outside of test dir 2022-05-09 14:22:23 +02:00
Christian Parpart 59e054bb9b Merge pull request #12468 from ethereum/allowAllLSP 
Always allow full filesystem access to LSP.
 2022-05-09 14:20:59 +02:00
Christian Parpart e8d07772d9 lsp.py: Port to support running on Windows & adapt to changes due to prior merged PR. 
- lsp.py: Fixes invalid-syntax by Python interpreter on Windows CI (older Python version).
- lsp.py: Savely strip CRLF from right side of the string, ignoring accidental multiple occurrences of \r (such as \r\r\n).
- lsp.py: Fixes reading single character from stdin (wrt. Windows platform).
- lsp.py: Adds header line reading to I/O tracing (useful for debugging).
- lsp.py: When running the tests on Windows, don't care test file content's newlines but simply expect LFs (instead of CRLF for example).
- Apply pylint notes.
- Fixing use of @functools.lru_cache for older python versions (CircleCI Windows)
 2022-05-09 11:37:11 +02:00
Christian Parpart c2f245b40a Fixes to lsp.py with respect to Windows drive-letter paths in URI. 2022-05-09 11:37:11 +02:00