cerc-io/solidity
16
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
17,961 Commits 348 Branches 121 Tags 100 MiB
da785290ef
Commit Graph

17961 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Harikrishnan Mulackal
3817515015
Merge pull request #9787 from cakesoft-omkar/develop 
Update control-structures.rst
 2020-09-12 10:25:18 +02:00
Omkar Nikhal
55a7173e27
Update control-structures.rst 2020-09-12 12:50:36 +05:30
Leonardo
31b5102aa0
Merge pull request #9731 from ethereum/smt_import 
[SMTChecker] Fix CHC encoding
 2020-09-12 00:56:04 +02:00
Alex Beregszaszi
7c73d4ca51
Merge pull request #9780 from ethereum/smt-type-minmax 
[SMTChecker] Support type(T).min and type(T).max
 2020-09-11 23:25:52 +01:00
Alex Beregszaszi
5bba1ab360
Merge pull request #9779 from jbn/patch-1 
Add missing word to examples doc explainer
 2020-09-11 22:43:27 +01:00
Kamil Śliwak
47f5ee42c9 [yul-phaser] isFitter(): Switch from toString() to genes() to make chromosome comparisons a tiny bit faster 
- toString() uses a stream for conversion while genes() returns a direct reference to the string, without copies in between. The speed up is very small compared to the improvement from switching to storing a string of abbreviations instead of a vector of step names inside chromosomes but there's basically no downside to this change so it's still worth it.
 2020-09-11 23:09:51 +02:00
Alex Beregszaszi
961a199cf5 [SMTChecker] Support type(T).min and type(T).max 2020-09-11 21:37:51 +01:00
Kamil Śliwak
e024032a67 Revert "[yul-phaser] Temporarily disable very slow tests for the classic algorithm" 
This reverts commit b23f7d8790.
 2020-09-11 22:05:56 +02:00
Kamil Śliwak
952a9c6115 [yul-phaser] Chromosome: store step abbreviations instead of full names 2020-09-11 22:05:56 +02:00
Kamil Śliwak
2a707e7685 [yul-phaser] Chromosome: Add stepsToGenes() and genesToSteps() 2020-09-11 22:05:56 +02:00
Leonardo Alt
3fea11e1a9 Remove problematic test 2020-09-11 22:02:18 +02:00
John B Nelson
59533792b4 Add missing word to examples doc explainer 2020-09-11 11:14:25 -07:00
Leonardo Alt
23ee011c56 [SMTChecker] Fix imports 2020-09-11 13:34:46 +02:00
Leonardo
72f8a753a9
Merge pull request #9586 from ethereum/scoper 
Assign scopes as a separate step.
 2020-09-11 10:45:54 +02:00
chriseth
61d2a18422
Merge pull request #9774 from ethereum/smt_remove_test 
Adjust problematic SMTChecker tests
 2020-09-11 10:32:11 +02:00
Leonardo Alt
84c707cd2a Adjust problematic SMTChecker tests 2020-09-10 19:32:17 +02:00
chriseth
42c26e0bf5 Inline tiny functions first. 2020-09-10 17:01:20 +02:00