Commit Graph
17152 Commits
Author SHA1 Message Date
Daniel Kirchner 0fd13b7a9e Upgrade json-cpp to 1.9.3. 2020-07-10 21:40:15 +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
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 ShastryandLeonardo 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.
v0.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
chriseth a09a791999 Merge pull request #9313 from ethereum/doesnt
[Trivial] Replace "doesn't" with "does not" in error message
2020-07-06 18:21:02 +02:00
chriseth 4d2b9cd38f Jump types for yul functions. 2020-07-06 18:12:54 +02:00