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
18,244 Commits 348 Branches 121 Tags 100 MiB
60af9d24ff
Commit Graph

18244 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
chriseth
f102feaf09 Handle "leaf functions" first in full inliner. 2020-09-10 17:01:19 +02:00
chriseth
0db79dbc29
Merge pull request #9591 from ethereum/nameSimplifier 
Yul name simplifier.
 2020-09-10 16:46:27 +02:00
chriseth
6101bdf7e2 Name simplifier. 2020-09-10 16:23:29 +02:00
Leonardo
95a284e526
Merge pull request #9739 from ethereum/smt_shifts 
[SMTChecker] Support shifts
 2020-09-09 21:19:43 +02:00
Leonardo Alt
40197df104 [SMTChecker] Support shifts 2020-09-09 19:47:52 +02:00
chriseth
9ced804236
Merge pull request #9771 from ethereum/refactorInterface 
Introduce bitvector sort.
 2020-09-09 18:46:22 +02:00
chriseth
a2cac93cbf Introduce bitvector sort. 2020-09-09 17:26:52 +02:00
chriseth
c966971fd3
Merge pull request #9770 from ethereum/smt_dot 
[SMTChecker] Change warning message
 2020-09-09 17:17:04 +02:00
chriseth
6508986077
Merge pull request #9768 from ethereum/move-event-syntax-tests-from-name-and-type-resolution 
Group event-related syntax tests together
 2020-09-09 16:57:30 +02:00
chriseth
dade4c1a48
Merge pull request #9766 from ethereum/fix-overload-resolution-with-named-parameters-in-arbitrary-order 
Fix overload resolution with named arguments when order differs from declaration
 2020-09-09 16:55:26 +02:00
Leonardo Alt
00f6b303b1 [SMTChecker] Change warning message 2020-09-09 16:14:21 +02:00
Kamil Śliwak
6f41e83b48 Move most event-related syntax tests from nameAndTypeResolution/ to events/ 2020-09-09 14:53:46 +02:00
Kamil Śliwak
5e9dd67a0a FunctionType::canTakeArguments(): Use the correct index when comparing named parameter types 2020-09-09 14:45:58 +02:00
chriseth
d089b56457
Merge pull request #9143 from ethereum/evmc-vms-evm-ewasm 
Add support for ewasm evmc vm.
 2020-09-09 11:13:39 +02:00
Alexander Arlt
23d9b1567e Add support for ewasm evmc vm. 2020-09-08 12:41:42 -05:00
chriseth
202332405f
Merge pull request #9760 from ethereum/sol2YulStorageArrayIndexAccessFix 
[Sol->Yul] Fixing storage array index access
 2020-09-08 16:33:54 +02:00
chriseth
3d5c84e19a
Merge pull request #9748 from ethereum/fix-implicit-conversion-to-super 
Forbid implicit conversion from a contract to super
 2020-09-08 16:22:35 +02:00
Leonardo
a02f70a6df
Merge pull request #9757 from ethereum/circleci_arch 
Add t_archlinux_soltest
 2020-09-08 16:17:58 +02:00
Djordje Mijovic
ec6d21cde2 [Sol->Yul] Fixing storage array index access 2020-09-08 16:02:56 +02:00
Leonardo Alt
9dacde99e6 Add t_archlinux_soltest 2020-09-08 14:54:36 +02:00
chriseth
e9b986cc97
Merge pull request #9758 from ethereum/merge-into-breaking 
Fix "breaking" branch
 2020-09-08 14:21:05 +02:00
Mathias Baumann
b72fb1333b Adjust docs example to work with v0.8.0 2020-09-08 13:36:16 +02:00
chriseth
559ab3f1ec
Merge pull request #9759 from ethereum/develop 
Merge develop into breaking.
 2020-09-08 13:29:11 +02:00