cerc-io/solidity
15
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
15,361 Commits 348 Branches 121 Tags 100 MiB
7a2893842d
Commit Graph

15361 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth
34863583ed
Merge pull request #7887 from ethereum/smt_fixtests_060 
Fix SMTChecker tests on 060
 2019-12-03 22:06:20 +01:00
chriseth
d0f9201ed4
Merge pull request #7866 from ethereum/considerInfiniteLoopsNonMovable 
[Yul] Mark recursive functions and functions containing loops to be non-movable.
 2019-12-03 22:02:20 +01:00
Leonardo Alt
d6e8ca4c54 Fix SMTChecker tests in 060 2019-12-03 21:44:10 +01:00
chriseth
f2790cc5e0
Merge pull request #7886 from ethereum/develop 
Merge develop into develop_060
 2019-12-03 21:41:49 +01:00
chriseth
f713b7e158 Remove trailing whitespace in test. 2019-12-03 21:38:20 +01:00
chriseth
bbeb093abf Detect loops in call graph generator. 2019-12-03 21:38:20 +01:00
chriseth
37d776a1a6
Merge pull request #7831 from ethereum/mocked-host 
Use evmc::MockedHost moar
 2019-12-03 21:27:50 +01:00
chriseth
e3ee67da6c
Merge pull request #7792 from ethereum/enableYulOptimizer 
Enable yul optimizer by default.
 2019-12-03 21:24:22 +01:00
chriseth
287b9be7af
Merge pull request #7872 from ethereum/smt_z3_4_8_7 
Update to Z3 4.8.7
 2019-12-03 21:23:40 +01:00
chriseth
2d42da3b7d
Merge pull request #7817 from ethereum/bail-on-shadowing-state-vars 
Report error on shadowing state variables
 2019-12-03 21:22:39 +01:00
Christian Parpart
7bbdfe070f Make shadowing of inherited state variables an error. 2019-12-03 21:20:03 +01:00
chriseth
2f11ac3590 Merge remote-tracking branch 'origin/develop' into develop_060 2019-12-03 21:17:15 +01:00
chriseth
19a6f09cc8 Merge commit '4d2f20570' into develop_060 2019-12-03 21:01:31 +01:00
chriseth
96d777d7f1 Merge commit 'a7d481fb9' into develop_060 2019-12-03 20:47:30 +01:00
chriseth
306c7eb5e8
Merge pull request #7884 from ethereum/yul-exceptions 
Replace all solAsserts with yulAsserts in libyul (and support YulException in StandardCompiler)
 2019-12-03 20:33:42 +01:00
Leonardo Alt
5337f58767 Update to Z3 4.8.7 2019-12-03 20:19:20 +01:00
Alex Beregszaszi
c644f43cde Update test expection in use_stack_optimization with YulException 2019-12-03 19:06:48 +01:00
Alex Beregszaszi
9140a7d64e Support catching YulException nicely in StandardCompiler 2019-12-03 19:06:21 +01:00
Daniel Kirchner
361801b94c
Merge pull request #7879 from ethereum/updateZ3PPAScript 
Update to Z3 4.8.7 and cherry-pick build fix commit
 2019-12-03 18:50:24 +01:00
Alex Beregszaszi
7e8f0a17bc Replace all solAsserts with yulAsserts in libyul 2019-12-03 17:54:34 +01:00
Mathias L. Baumann
a13416f4da
Merge pull request #7882 from ethereum/libyul-assert 
Actually throw YulAssertion in yulAssert
 2019-12-03 17:39:22 +01:00
Mathias L. Baumann
d29a87dfdc
Merge pull request #7881 from ethereum/json-cleanup 
Removed non-strict JsonParse helpers
 2019-12-03 17:38:00 +01:00
Alex Beregszaszi
cab00755e8 Actually throw YulAssertion in yulAssert 2019-12-03 16:40:48 +01:00
Alex Beregszaszi
7156c908be Drop non-strict version of jsonParse* and always use jsonParseStrict 2019-12-03 16:20:23 +01:00
Daniel Kirchner
c9be3bdf7e Rename cmake option 2019-12-03 15:11:38 +01:00
Alex Beregszaszi
7ace66ad59 Remove last boost/variant include 2019-12-03 14:44:56 +01:00
Daniel Kirchner
e04d8955ab Update to Z3 4.8.7 and cherry-pick build fix commit 2019-12-03 14:41:02 +01:00
chriseth
b5d3b95307
Merge pull request #7870 from ethereum/unimplementedRequireVirtual 
Require virtual for unimplemented functions.
 2019-12-03 11:21:38 +01:00
Daniel Kirchner
c1505d3f44 Fix solc-js tests. 2019-12-03 10:53:11 +01:00
Daniel Kirchner
c33d233d88 Update docs. 2019-12-03 10:50:53 +01:00
Leonardo
9554b90e07
Merge pull request #7871 from ethereum/smt_fix_struct_array_ice 
[SMTChecker] Fix ICE in array of structs type
 2019-12-03 10:37:04 +01:00
chriseth
c0931405be
Merge pull request #7875 from ethereum/it-translation 
[DOCS] Add Italian translation
 2019-12-03 10:19:09 +01:00
Chris Chinchilla
2340d830ce Add Italian translation 2019-12-03 10:02:55 +01:00
Leonardo Alt
b1577f5e46 [SMTChecker] Fix ICE in array of structs type 2019-12-03 01:12:30 +01:00
Paweł Bylica
cdcfea73ab EVMHost: Remove unneeded methods 2019-12-02 23:22:27 +01:00
Paweł Bylica
0bd80ed958 EVMHost: Mark methods as final 2019-12-02 23:22:27 +01:00
Paweł Bylica
19f54857a6 EVMHost: Make m_currentAddress private 2019-12-02 23:22:27 +01:00
Paweł Bylica
eacc1753fd EVMHost: Remove unnecessary State struct 2019-12-02 23:22:27 +01:00
Paweł Bylica
7a0f311032 EVMHost: Use evmc::MockedAccount 2019-12-02 23:22:10 +01:00
Paweł Bylica
635e2fc9d3 EVMHost: Reuse tx_context from MockedHost 2019-12-02 23:04:02 +01:00
Paweł Bylica
2683c83ad2 EVMHost: Use recorded_logs from MockedHost 2019-12-02 23:04:02 +01:00
Alex Beregszaszi
1718250248 EVMHost: use evmc::MockedHost 2019-12-02 23:04:02 +01:00
Daniel Kirchner
4d2f205706
Merge pull request #7848 from ethereum/evmc-7.1 
Update EVMC to 7.1.0
 2019-12-02 23:03:48 +01:00
Daniel Kirchner
05baa23e8a Require unimplemented functions to be virtual. 2019-12-02 21:59:00 +01:00
Alex Beregszaszi
c4012eee33 Update EVMHost to EVMC 7.1.0 
Co-authored-by: Paweł Bylica <chfast@gmail.com>
 2019-12-02 21:26:42 +01:00
Alex Beregszaszi
aba2ee0f68 Update EVMC to 7.1.0 2019-12-02 21:26:42 +01:00
Daniel Kirchner
7a8d0c9250
Merge pull request #7852 from ethereum/evmc-host-precompiles 
EVMHost: mark precompiles as existing accounts in the constructor
 2019-12-02 21:25:59 +01:00
Alex Beregszaszi
2a62425f0a EVMHost: mark precompiles as existing accounts in the constructor 2019-12-02 20:49:33 +01:00
Paweł Bylica
578d69983d EVMHost: Mark precompiles implementation as static methods 2019-12-02 20:41:50 +01:00
Daniel Kirchner
04222f0e2b
Merge pull request #7868 from ethereum/evmc-host-byzantium 
EVMHost: disallow Byzantium precompiles on earlier EVM versions
 2019-12-02 20:41:07 +01:00