Commit Graph

17154 Commits

Author SHA1 Message Date
Alex Beregszaszi
20dd66f398 Fix missing quote in error message for invalid Yul types 2020-07-10 21:06:09 +01:00
Daniel Kirchner
65ed93d99f
Merge pull request #9366 from ethereum/wasm-clz
Fix yulInterpreter to correctly handle i32.clz
2020-07-10 20:36:24 +02:00
Leonardo
8d4ec27544
Merge pull request #9376 from ethereum/smt_refactor_targets
[SMTChecker] Refactor verification targets
2020-07-10 17:30:48 +02:00
a3d4
cf5e9a3551
Merge pull request #9062 from a3d4/fix-oversized-object-compiler-error
Fix internal compiler error related to oversized objects
2020-07-10 16:43:43 +02:00
Alex Beregszaszi
f5ae9c5761 Fix yulInterpreter to correctly handle i32.clz 2020-07-10 15:38:25 +01:00
a3d4
efc5ee207d Fix internal compiler error caused by oversized objects 2020-07-10 11:39:07 +02:00
Leonardo Alt
88030c6568 [SMTChecker] Refactor verification targets 2020-07-10 10:28:49 +02:00
chriseth
e144e85f45
Merge pull request #9374 from ethereum/runoptionsfirst
Run "options" test first to get early failures.
2020-07-09 16:19:28 +02:00
chriseth
82b66c7687
Merge pull request #9372 from a3d4/improve-error-coverage-cmdlinetests
Cover cmdlineTests.sh errors
2020-07-09 16:17:00 +02:00
chriseth
872858078f Run "options" test first to get early failures. 2020-07-09 16:16:17 +02:00
chriseth
2b94ced65f
Merge pull request #8305 from ethereum/fix-7947
yul proto fuzzer: Use custom mutation routines
2020-07-09 15:40:16 +02:00
chriseth
8b52985744
Merge pull request #9357 from ethereum/fix-9356
Disable more than one reference to a variable on the LHS of a tuple a…
2020-07-09 15:27:04 +02:00
a3d4
a068583bec Cover cmdlineTests.sh errors 2020-07-09 14:39:05 +02:00
Bhargava Shastry
7272129354 yul fuzzer: Add framework for yul optimizer custom mutation routines
Co-authored-by: Leonardo <leo@ethereum.org>
2020-07-09 13:32:07 +02:00
chriseth
8548bf1b4c
Merge pull request #9365 from ethereum/fixProofScript
Proof script should only run on existing files.
2020-07-08 23:58:17 +02:00
Daniel Kirchner
fe5bcf759e Run proof script only on existing files. 2020-07-08 22:57:36 +02:00
chriseth
f3e100a000
Merge pull request #9359 from ethereum/doNotRunAllTests
Do not run tests that do not need options multiple times.
2020-07-08 22:19:46 +02:00
Daniel Kirchner
29bad26dee
Merge pull request #9122 from ethereum/optimizeShiftBytes
Optimize combination of byte and shl.
2020-07-08 21:41:49 +02:00
chriseth
59f4989966 Optimize combination of byte and shl. 2020-07-08 20:26:46 +02:00
chriseth
ecc4bf2464
Merge pull request #9354 from ethereum/improveTestSpeed
Improve testing speed by only enabling the Yul optimizer if needed.
2020-07-08 19:54:32 +02:00
chriseth
76d3e579bc
Merge pull request #9334 from ethereum/propagateArguments
Propagate arguments
2020-07-08 19:22:43 +02:00
chriseth
d4ecd33247 Propagate function call argument types across function call options. 2020-07-08 17:59:02 +01:00
chriseth
83337c850e Do not run tests that do not need options multiple times. 2020-07-08 18:47:14 +02:00
chriseth
0c7e4cf16b
Merge pull request #9340 from ethereum/compileTimeSha
Evaluate keccak256 of string literals at compile-time.
2020-07-08 18:42:38 +02:00
chriseth
19ec9ecbfd
Merge pull request #9347 from ethereum/moretests
Add create & delete array tests for yul
2020-07-08 18:09:57 +02:00
chriseth
0a0f578d7c Evaluate keccak256 of string literals at compile-time. 2020-07-08 16:14:14 +02:00
Bhargava Shastry
48ac4b2954 Disable more than one reference to a variable on the LHS of a tuple assignment 2020-07-08 13:16:07 +02:00
Mathias Baumann
f9d6fa71fd Add create & delete array tests for yul 2020-07-08 13:10:33 +02:00
chriseth
5ebf2b84ef Improve testing speed by only enabling the Yul optimizer if needed. 2020-07-08 10:51:42 +02:00
chriseth
89231bea1e
Merge pull request #9324 from ethereum/noDuplicateInternalRoutine
Remove duplicate creation of internal routine.
2020-07-08 10:30:37 +02:00
chriseth
fe35f6799a
Merge pull request #9342 from ethereum/yul-phaser-temporarily-disable-slow-classic-algorithm-tests
[yul-phaser] Temporarily disable very slow tests for the classic algorithm
2020-07-08 10:28:29 +02:00
chriseth
ad5ae2eefe
Merge pull request #9349 from ethereum/release
Merge release back into develop.
2020-07-07 20:45:42 +02:00
chriseth
6c21395d8c
Merge pull request #9341 from ethereum/versionTo0612
Set version to 0.6.12.
2020-07-07 20:45:06 +02:00
Kamil Śliwak
b23f7d8790 [yul-phaser] Temporarily disable very slow tests for the classic algorithm 2020-07-07 17:14:57 +02:00
chriseth
5ef660b17a
Merge pull request #9339 from ethereum/develop
Merge develop into release for 0.6.11.
2020-07-07 15:34:38 +02:00
chriseth
38c479ffd4 Set version to 0.6.12. 2020-07-07 15:16:21 +02:00
chriseth
c16d7d0891
Merge pull request #9336 from ethereum/prepare0611
Prepare changelog for 0.6.11
2020-07-07 14:26:01 +02:00
chriseth
d67862362a
Merge pull request #9338 from ethereum/interface-events
Natspec: change events() to interfaceEvents()
2020-07-07 14:25:41 +02:00
Harikrishnan Mulackal
849bae2aa7 Natspec: change events() to interfaceEvents() 2020-07-07 17:22:09 +05:30
chriseth
1f0f5d2183 Prepare changelog for 0.6.11. 2020-07-07 13:49:22 +02:00
chriseth
9ff72ceaa9
Merge pull request #9335 from ethereum/fixOverridingWording
Fix wording of non-function override error messages.
2020-07-07 12:21:56 +02:00
chriseth
ec8be81258
Merge pull request #9243 from ethereum/jumpTypesForYul
Jump types for yul functions.
2020-07-07 12:21:14 +02:00
chriseth
28de7cbce9 Fix wording of non-function override error messages. 2020-07-07 11:57:38 +02:00
chriseth
d72aae20aa
Merge pull request #9321 from ethereum/multiYulAssign
Disallow the same yul variable occurring multiple times on the LHS of an assignment.
2020-07-07 11:07:05 +02:00
chriseth
2e9933b0de
Merge pull request #9320 from ethereum/tests_for_memory_in_external.sol
Tests for memory in external functions.
2020-07-07 11:05:50 +02:00
Daniel Kirchner
70615a73a4 Disallow the same yul variable occurring multiple times on the LHS of an assignment. 2020-07-07 10:52:47 +02:00
Alex Beregszaszi
01facf8a0a
Merge pull request #9317 from ethereum/yul-cleanup
Remove unused instructionNames() function in AsmParser
2020-07-06 23:09:09 +01:00
chriseth
da7d900bc6
Merge pull request #9328 from ethereum/fixErrorMsg
Fix wording of error message.
2020-07-06 23:11:38 +02:00
chriseth
8e711a8b99 Remove duplicate creation of internal routine. 2020-07-06 19:25:47 +02:00
chriseth
e48d3e5847 Fix wording of error message. 2020-07-06 19:22:52 +02:00