Commit Graph

15209 Commits

Author SHA1 Message Date
chriseth
0176c97626
Merge pull request #7923 from ethereum/assertAddressName
Fix wrong construction of ElementaryTypeNameToken
2019-12-09 14:36:01 +01:00
Mathias Baumann
be615d4f2b Fix wrong construction of ElementaryTypeNameToken
And add an assert to prevent it in the future
2019-12-09 13:24:33 +00:00
Mathias L. Baumann
c62e89d222
Merge pull request #7925 from ethereum/update-ast-export
Sync & update JSON AST exporting according to AST changes
2019-12-09 12:43:33 +01:00
Mathias Baumann
e999409c89 Sync & update AST exporting according to AST changes 2019-12-09 10:42:24 +00:00
chriseth
e061f1e743 Merge remote-tracking branch 'origin/develop' into HEAD 2019-12-05 16:44:26 +01:00
chriseth
2de7687c4f
Merge pull request #7906 from ethereum/docsChange2
[DOCS] Some changes to creation, events and modifiers.
2019-12-05 16:06:25 +01:00
chriseth
5816c43df9 Some changes to creation, events and modifiers. 2019-12-05 15:43:26 +01:00
chriseth
2b777456a4
Merge pull request #7905 from ethereum/docsChange
[DOCS] Some changes to "abstract contracts".
2019-12-05 15:28:53 +01:00
chriseth
1fe1459b7d
Merge pull request #7583 from HenryRLee/issue5081
Version Checker: 0.5.x-prerelease will match `pragma solidity ^0.5` #5081
2019-12-05 14:59:58 +01:00
chriseth
766bde2d78 Some changes to "abstract contracts". 2019-12-05 14:55:07 +01:00
chriseth
1890d17744
Merge pull request #7839 from ethereum/state-var-override
Public State Variable Overriding
2019-12-05 14:48:25 +01:00
chriseth
e5276a2ca2
Merge pull request #7904 from ethereum/contributing-fix
Docs: Add missing `
2019-12-05 14:44:32 +01:00
Mathias Baumann
1ab5dcaa22 Docs: Add missing ` 2019-12-05 14:08:55 +01:00
chriseth
d2e3933dc0
Merge pull request #7874 from ghallak/assembly_constant_refs
Support referencing another constants in inline assembly
2019-12-05 13:52:49 +01:00
Mathias Baumann
b7d5de59c5 Implement overridding of functions by public variables 2019-12-05 12:48:52 +00:00
Gaith Hallak
4d90180e24 Support referencing other constants in inline assembly 2019-12-05 13:27:17 +03:00
chriseth
52467108ac
Merge pull request #7903 from ethereum/fixSuperFunction
Update missed tests for removal of superFunction.
2019-12-05 10:45:35 +01:00
chriseth
6195072878
Merge pull request #7901 from ethereum/unimplementedOverrides
Overriding (un)implemented functions with unimplemented functions.
2019-12-05 10:40:17 +01:00
chriseth
ac996d209f Fix gas cost test. 2019-12-05 10:17:09 +01:00
chriseth
c326641341 Update missed tests for removal of superFunction. 2019-12-05 09:37:52 +01:00
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
Henry Lee
628d219c94 Version Checker: 0.5.x-prerelease will match pragma solidity ^0.5
Basically, the pre-release rule is only applied when all remaining
version numbers equal to 0.
2019-12-05 09:07:20 +11: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
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