Commit Graph
7084 Commits
Author SHA1 Message Date
Leo Alt 4fd7de36f1 update smt tests z3 4.8.16 2022-05-03 14:23:27 +02:00
chriseth df29ea72f0 Merge pull request #12836 from ethereum/fixUsingGlobal
Fix using global with libraries.
2022-05-02 12:41:34 +02:00
chriseth 505fa7763f Fix checks for "using for ... global" for libraries. 2022-05-02 12:40:56 +02:00
Alexey Shekhirin cb24e5d545 fix(parser): error for unexpected token 2022-04-29 16:13:04 +04:00
chriseth d55b84ff63 Merge pull request #12861 from ethereum/disallow-returndatacopy-in-pure-functions
Disallow RETURNDATACOPY and RETURNDATASIZE in inline assembly in pure functions
2022-04-28 13:15:04 +02:00
Christian Parpart fbecdbe76d Merge pull request #12798 from ethereum/lsp-tests-expectations
LSP.py: Implement expectations directly in the test files
2022-04-25 15:27:57 +02:00
Kamil Śliwak 8e085432bb External test for Brink 2022-04-13 13:43:48 +02:00
Kamil Śliwak e30d0a6199 externalTests: Allow adding extra settings to presets 2022-04-13 13:43:48 +02:00
Marenz afd9feead4 LSP.py: Implement simple send/respond framework 2022-04-13 13:22:05 +02:00
Leo Alt f9fa76c9d3 smt encode call 2022-04-11 12:19:41 +02:00
Joshua Quinones e1a59397c6 Renamed AssemblyStack to YulStack
All files, references, variables, comments, etc. were renamed to YulStack.
2022-04-08 20:28:55 +02:00
Kamil Śliwak f567eb1fb2 Disallow RETURNDATASIZE and RETURNDATACOPY in inline assembly blocks in pure functions 2022-04-08 14:48:35 +02:00
Kamil Śliwak fb7c969ce8 Tests for assembly instructions allowed with mutable/view/pure functions 2022-04-08 14:47:32 +02:00
Christian Parpart e74f03056c Merge pull request #12283 from ethereum/soltest-graceful-error-handling
Graceful error handling in soltest/isoltest + improved soltestAssert()
2022-04-07 13:12:43 +02:00
Daniel Kirchner 52f5ffd876 Merge pull request #12804 from ethereum/benchmark-differ
Benchmark differ
2022-04-07 09:24:01 +02:00
Kamil Śliwak b3048ccf07 Use EXIT_FAILURE and EXIT_SUCCESS constants in exit() and when returning from main() 2022-04-06 22:27:08 +02:00
Kamil Śliwak 7c83559881 soltest: Handle CLI validation errors gracefully 2022-04-06 22:26:21 +02:00
Kamil Śliwak cf6704ae06 isoltest: Do not return an error code from --help 2022-04-06 22:26:21 +02:00
Kamil Śliwak 7bace8d25d soltest: Don't assume that parse() can never return false 2022-04-06 22:26:21 +02:00
Kamil Śliwak ed8403f456 isoltest: Handle parsing errors differently from unexpected exceptions 2022-04-06 22:26:21 +02:00
Kamil Śliwak 0bb885dab2 Bring soltestAssert() up to date with solAssert()
- Allow omitting description.
- Provide a default description.
- Use a custom exception type derived from util::Exception rather than std::exception.
2022-04-06 22:26:10 +02:00
Daniel Kirchner c71d0aec83 Merge pull request #12898 from ethereum/via-ir-equivalence-tests
Create split_on_empty_lines_into_numbered_files function in scripts/common.sh
2022-04-06 13:16:24 +02:00
wechman 4d8a34370e Create split_on_empty_lines_into_numbered_files function in scripts/common.sh 2022-04-06 07:26:18 +02:00
Ryan 3a17274691 Improve error message for static array with size too large 2022-04-05 17:36:37 +02:00
Kamil Śliwak 8c9856c52c benchmark_diff: Add table mode with support for json, console and markdown output 2022-04-05 15:43:18 +02:00
Kamil Śliwak ee5e878ad7 benchmark_diff: A Python script for diffing summarized benchmarks from external tests 2022-04-05 15:40:28 +02:00
Damian Wechman d0bd365d2c Merge pull request #12179 from akali/pretty-json
Set handlers use unified jsonPrint with prettifier if needed
2022-04-05 07:05:53 +02:00
Daniel Kirchner fd763fa6ad Merge pull request #12851 from ethereum/via-ir-equivalence-tests
Tests for the equivalence of one and two-stage compilation via IR ports multi-file contracts
2022-04-04 20:19:27 +02:00
Aisultan Kali 96376264e8 Set handlers use unified jsonPrint with prettifier if needed 2022-04-04 20:17:11 +02:00
Kamil Śliwak 1bc1f8bdbb Merge pull request #12835 from dtedesco1/develop
Fix MultiSigWallet.sol order of functions
2022-04-04 17:37:28 +02:00
Kamil Śliwak c06308146a Merge pull request #12828 from ethereum/errorForUnary
Use error message for unary operators.
2022-04-04 17:13:28 +02:00
dtedesco1 2fabb3db8f attempt rebase, fix free function, fix check errors 2022-04-04 22:49:12 +08:00
Kamil Śliwak c7222044a2 externalTests.sh: Fix broken ${} syntax in the script 2022-04-04 14:16:42 +02:00
chriseth 755e043a6d Use error message for unary operators. 2022-04-04 16:53:36 +05:30
wechman 1e7688e8a1 Tests for the equivalence of one and two-stage compilation via IR supports multi-file contracts 2022-04-04 11:09:43 +02:00
Kamil Śliwak 73443c0ada elementfi: Switch all presets to compile-only 2022-04-01 23:06:21 +02:00
Kamil Śliwak 5ef0048d85 zeppelin: Disable the newly added Polygon-Child test, failing via IR due to Hardhat heuristics 2022-04-01 23:06:21 +02:00
Kamil Śliwak b445e7e74c Revert "perpetual-pools: Use Hardhat 2.8.4 to work around @openzeppelin/hardhat-upgrades's problem with parallel compilation on Hardhat 2.9.0"
This reverts commit 30008465bf.
2022-03-28 19:51:46 +02:00
Kamil Śliwak 34c06c27a5 Downgrade ethers.js to 5.6.1 in ens, gnosis, euler, perpetual-pools and uniswap external tests 2022-03-28 17:56:30 +02:00
nishant-sachdeva 4c6066bfad typeCheckAbiEncodeCallFunction should type check the arguments on functionPointerType->asExternallyCallableFunction instead of teh plain function type 2022-03-24 18:53:46 +05:30
Alexander Arlt 1a0988e503 libevmasm: refactor asm-json export & add support for source list. 2022-03-23 15:58:07 -05:00
Christian Parpart 13a4c79a9b lsp.py: Adds --fail-fast (-f) to terminate early on first failure. 2022-03-23 17:34:04 +01:00
Marenz 0bf674b442 LSP test: Minor refactoring and better exception reporting 2022-03-21 13:23:02 +01:00
chriseth 430ecb6e16 Merge pull request #12795 from ethereum/morePopRemovalInPeepholeOptimizer
More pop removal in peephole optimizer.
2022-03-17 12:22:48 +01:00
chriseth af86a80536 Merge pull request #12796 from ethereum/refactorStackCompressor
Refactor stack compressor
2022-03-16 16:36:41 +01:00
Daniel Kirchner 4b9c01752d Test updates. 2022-03-16 15:34:38 +01:00
chriseth 75abe92eb2 Refactor stack compressor. 2022-03-15 21:28:47 +01:00
Daniel Kirchner 5cd98006d4 Fill in junk in stack layouts on terminating control flow paths. 2022-03-15 18:36:55 +01:00
Daniel Kirchner b6cd3e154c Test case for current behaviour. 2022-03-15 18:36:30 +01:00
chriseth 5afa2adec2 Merge pull request #12775 from ethereum/refactorDataFlowAnalyzer
Refactor data flow analyzer state access.
2022-03-15 15:52:40 +01:00