chriseth
|
6c0660ac66
|
Merge pull request #7876 from ethereum/docInheritance
[DOC] Clarification about inhertiance.
|
2019-12-04 18:14:25 +01:00 |
|
chriseth
|
fc5bbd1963
|
Clarify documentation with regards to inheritance.
|
2019-12-04 18:11:04 +01:00 |
|
chriseth
|
d34b0b76b1
|
Merge pull request #7837 from ethereum/docstring-named-return
Report DocString error on named return paramater mismatch
|
2019-12-04 17:57:52 +01:00 |
|
chriseth
|
2a1b6f55af
|
Merge pull request #7880 from ethereum/smt_runtime_choice
[SMTChecker] Create options to choose SMT solver in runtime
|
2019-12-04 17:57:29 +01:00 |
|
Leonardo Alt
|
7be6b54fc7
|
Add comment
|
2019-12-04 17:31:44 +01:00 |
|
Leonardo Alt
|
48c3a5c225
|
[SMTChecker] Create options to choose SMT solver in runtime
|
2019-12-04 17:31:44 +01:00 |
|
chriseth
|
42d9a8e962
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-12-04 17:01:44 +01:00 |
|
Erik Kundt
|
19d466d6fb
|
Fixes named return natspec errors in compilation tests.
|
2019-12-04 15:38:12 +01:00 |
|
Erik Kundt
|
e5cb0fe839
|
Reports doctring error on named return mismatch.
|
2019-12-04 15:38:11 +01:00 |
|
chriseth
|
bd26da8d37
|
Merge pull request #7892 from ethereum/fixArrayLoopBug
Increase loop size to account for net storage gas metering.
|
2019-12-04 15:31:17 +01:00 |
|
Daniel Kirchner
|
13a5751430
|
Merge pull request #7895 from ethereum/fixdev060
Fix commandline tests after "develop" -> "develop_060" merge
|
2019-12-04 14:03:15 +01:00 |
|
Mathias Baumann
|
12f18b0220
|
Fix commandline tests after "develop" -> "develop_060" merge
|
2019-12-04 13:54:06 +01:00 |
|
chriseth
|
4365b665f4
|
Increase loop size to account for net storage gas metering.
|
2019-12-04 13:13:05 +01:00 |
|
chriseth
|
e24cca314e
|
Merge pull request #7890 from ethereum/defaultIstanbul
Set default EVM version to Istanbul.
|
2019-12-04 12:53:29 +01:00 |
|
chriseth
|
63b56f4673
|
Merge pull request #7873 from ethereum/smt_rlimit
[SMTChecker] Use rlimit instead of tlimit for SMT queries
|
2019-12-04 12:52:28 +01:00 |
|
Leonardo Alt
|
67d82fc8a7
|
[SMTChecker] Use rlimit instead of tlimit for SMT queries
|
2019-12-04 11:52:18 +01:00 |
|
chriseth
|
af482470f9
|
Update gas costs.
|
2019-12-04 11:41:42 +01:00 |
|
chriseth
|
dc79274871
|
Set default EVM version to Istanbul.
|
2019-12-04 10:42:14 +01:00 |
|
chriseth
|
d41d042d81
|
Merge pull request #7888 from fulldecent/patch-16
Clarify new fallback function introduction
|
2019-12-04 10:34:38 +01:00 |
|
William Entriken
|
c126724e56
|
Clarify new fallback function introduction
|
2019-12-04 10:31:19 +01:00 |
|
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 |
|