Wayne Nilsen
bc1f591477
Fix homebrew instructions
...
The instructions for installing a specific version of solidity using homebrew no longer work with the latest version of homebrew. There is a specific error message that indicates that raw github links are forbidden. This documents the workaround that is now needed. This is how I did it but of course I am open so suggestions.
2020-09-15 11:59:25 -04:00
Alex Beregszaszi
5355e85639
Merge pull request #9782 from ethereum/smt-revert
...
[SMTChecker] Support revert()
2020-09-15 13:26:19 +01:00
chriseth
ff93d8ac6c
Merge pull request #9804 from ethereum/extractYulSyntaxTests
...
Extract (some) yul syntax tests.
2020-09-15 13:50:45 +02:00
chriseth
9eda69f637
Merge pull request #9793 from ethereum/same-syntax-test
...
[Trivial] Use same multi-source-syntax for test files
2020-09-15 13:49:34 +02:00
chriseth
74efd5ba46
Merge pull request #9703 from a3d4/fix-4558-shadowed-declaration-warning
...
Corrected warning for homonymous, but not shadowing declarations
2020-09-15 13:48:55 +02:00
Alex Beregszaszi
783d66c1a4
[SMTChecker] Support revert()
2020-09-15 11:46:33 +01:00
Alex Beregszaszi
8f36408ef9
Add test case for revert() in SMTChecker
2020-09-15 11:46:16 +01:00
Mathias Baumann
a1eb0f7225
Use same multi-source-syntax for test files
2020-09-15 12:44:02 +02:00
chriseth
768e0e96e4
Extract yul syntax tests.
2020-09-15 12:13:30 +02:00
chriseth
eac175c08b
Merge pull request #9053 from ethereum/generatedSources
...
Export generated sources
2020-09-15 12:08:47 +02:00
chriseth
00c8fc73ad
Re-organize EVM object names.
2020-09-15 11:29:10 +02:00
chriseth
392ed02008
Changelog entry.
2020-09-15 11:22:43 +02:00
chriseth
33cdefc40e
New test.
2020-09-15 11:22:43 +02:00
chriseth
7f0a86ce56
Remove version from combined-json.
2020-09-15 11:22:43 +02:00
chriseth
3b4024c2e1
Store optimized code if optimizer is activated.
2020-09-15 11:22:41 +02:00
chriseth
3f9f63b829
Test updates.
2020-09-15 11:22:16 +02:00
chriseth
e7e9b03bd8
Store generated sources in standard-json output.
2020-09-15 11:22:16 +02:00
Daniel Kirchner
e93d74398b
Merge pull request #9807 from ethereum/smt_readd_tests
...
Readd SMTChecker tests
2020-09-15 02:57:42 +02:00
a3d4
4ca7655b74
Correct the warning for homonymous, but not shadowing declarations
2020-09-15 02:39:21 +02:00
Daniel Kirchner
3399570de2
Merge pull request #9795 from ethereum/staticZ3PPAUpdate
...
Bump Z3 version in static Z3 PPA build to 4.8.9.
2020-09-15 02:02:39 +02:00
Leonardo
4d470cd285
Merge pull request #9781 from ethereum/smt-type-interfaceid
...
[SMTChecker] Support type(I).interfaceId
2020-09-15 00:05:15 +02:00
Leonardo Alt
28c8e01149
Readd SMTChecker tests
2020-09-14 23:44:13 +02:00
Daniel Kirchner
32a322e3f8
Add groovy to static Z3 deps PPA script.
2020-09-14 23:09:28 +02:00
Daniel Kirchner
1312d547c2
Remove obsolete eoan from static z3 PPA script.
2020-09-14 23:09:28 +02:00
Daniel Kirchner
7288e391e6
Bump Z3 version in static Z3 PPA build to 4.8.9.
2020-09-14 23:09:28 +02:00
Alex Beregszaszi
9aa9962f71
Add ContractDefinition::interfaceId() helper
2020-09-14 20:34:52 +01:00
Alex Beregszaszi
83934254ea
[SMTChecker] Support type(I).interfaceId
2020-09-14 20:34:52 +01:00
chriseth
552a5f0913
Merge pull request #9314 from ethereum/inlineStartingFromLeaves
...
Handle "leaf functions" first in full inliner.
2020-09-14 20:22:48 +02:00
chriseth
c6281f29d5
Merge pull request #9577 from ethereum/removeflag
...
Remove "removesNonConstant" flag.
2020-09-14 20:20:46 +02:00
chriseth
de51531366
Merge pull request #9791 from a3d4/refactor-collision-warnings
...
Refactor collision warnings
2020-09-14 20:19:53 +02:00
Daniel Kirchner
6ce33bc27b
Merge pull request #9799 from ethereum/z3_docker
...
Update z3 on docker files
2020-09-14 20:02:34 +02:00
Daniel Kirchner
857a48f526
Merge pull request #9797 from ethereum/smt_z3_update
...
Update SMTChecker tests with z3 4.8.9
2020-09-14 20:02:10 +02:00
Leonardo Alt
4e448ad798
Change build hashes
2020-09-14 19:07:40 +02:00
Leonardo Alt
fd6c665548
Update SMTChecker tests with z3 4.8.9
2020-09-14 19:04:13 +02:00
Harikrishnan Mulackal
b7944477a1
Update UnusedFunctionParameterPruner tests to avoid getting inlined
2020-09-14 17:59:50 +02:00
chriseth
233604f94b
Remove ineffective rules.
2020-09-14 17:35:04 +02:00
chriseth
8e39110a30
Remove flag.
2020-09-14 17:35:04 +02:00
chriseth
f264f5474d
Merge pull request #9800 from ethereum/yul-phaser-make-tests-less-brittle
...
Yul phaser make tests less brittle
2020-09-14 16:57:35 +02:00
chriseth
5f8334d1db
Merge pull request #9796 from ethereum/ppaScriptRemoveEoan
...
Remove obsolete eoan and add new groovy from the PPA release script.
2020-09-14 16:34:44 +02:00
Daniel Kirchner
b4fbbf88e0
Add groovy to PPA release script.
2020-09-14 16:33:16 +02:00
Leonardo Alt
dc20e7b4b7
Update z3 on docker files
2020-09-14 16:25:29 +02:00
Kamil Śliwak
ea1c249822
[yul-phaser] Chromosome: Use more samples and higher tolerance in tests checking the distribution
...
- This makes them run a second longer (which might seem small but it's a 3x increase).
- Hopefully they will break less when the random seed changes.
2020-09-14 16:17:39 +02:00
Kamil Śliwak
5637bdcaec
[yul-phaser] Replace mutation tests with hard-coded expectations with more robust ones that check the statistical distribution
...
- The old tests would easily break when adding/removing optimiser steps.
2020-09-14 16:17:39 +02:00
Kamil Śliwak
d75f0ba437
[yul-phaser] Chromosome: Make it possible to use genes that do not correspond to existing optimiser steps
2020-09-14 16:17:39 +02:00
chriseth
fb205b719e
Merge pull request #9783 from ethereum/yul-phaser-fix-slow-tests-for-classic-algorithm
...
[yul-phaser] Fix slow tests for classic genetic algorithm
2020-09-14 16:16:59 +02:00
Daniel Kirchner
65b2505d5d
Remove obsolete eoan from the PPA release script.
2020-09-14 13:52:08 +02:00
Alex Beregszaszi
398aff2ffd
Merge pull request #9794 from cakesoft-omkar/develop
...
Update yul.rst
2020-09-14 12:07:14 +01:00
Omkar Nikhal
09e137cf69
Update yul.rst
2020-09-14 16:22:15 +05:30
a3d4
d8520b0af0
Move collision warnings to StaticAnalyzer
2020-09-14 02:52:00 +02:00
a3d4
e7a6534d4f
Unify collision warnings
2020-09-14 02:17:53 +02:00
