Commit Graph
15185 Commits
Author SHA1 Message Date
Daniel Kirchner 426f04b389 Implement and fix overriding unimplemented and implemented functions with unimplemented functions. 2019-12-05 09:26:43 +01:00
chriseth 2c72ee7017 Merge pull request #7902 from ethereum/fixTest
Fix test
2019-12-05 09:22:50 +01:00
chriseth 6230d8f515 Merge pull request #7900 from ethereum/replaceSuperFunctionAnnotation
Replace ``superFunction`` with ``baseFunctions`` in AST annotations and ASTJSON.
2019-12-05 09:21:48 +01:00
chriseth cf12e20e43 Fix test. 2019-12-05 09:12:05 +01:00
Daniel Kirchner d3ba65968c Add new test. 2019-12-05 03:33:32 +01:00
Daniel Kirchner 7fab1c5e4a Update tests. 2019-12-05 03:33:32 +01:00
Daniel Kirchner 8b35918ad0 Replace superFunction by baseFunctions in AST annotations and JSON AST. 2019-12-05 03:33:32 +01:00
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 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