Jason Cobb
|
dc6c19cafa
|
Add methods for AST annotation implementation
|
2020-01-09 08:37:32 -05:00 |
|
Leonardo Alt
|
a02308cfa5
|
Replace void cast by maybe_unused
|
2020-01-09 13:41:30 +01:00 |
|
Mathias Baumann
|
2179562785
|
Move variables-in-interfaces checker to PostTypeChecker
refs #7566
|
2020-01-08 14:05:08 +01:00 |
|
Mathias Baumann
|
21844aa545
|
Move event-outside-emit check to PostTypeChecker
refs #7566
|
2020-01-08 14:05:08 +01:00 |
|
Mathias Baumann
|
9f8d49e358
|
Move modifier context check to PostTypeChecker
refs #7566
|
2020-01-08 14:05:08 +01:00 |
|
chriseth
|
5ca3abd7cb
|
Merge pull request #8106 from random-internet-cat/move-contract-kind
Move ContractKind from ContractDefinition to file-scope
|
2020-01-08 13:06:26 +01:00 |
|
chriseth
|
d1a7ff0fbc
|
Merge pull request #8008 from ethereum/large-code
Issue warning if codesize exceeds EIP-170 limits
|
2020-01-08 09:48:59 +01:00 |
|
Christian Parpart
|
345f9928ab
|
Library libdevcore renamed to libsolutil.
|
2020-01-07 15:51:50 +01:00 |
|
Christian Parpart
|
6b23412fae
|
C++ namespace cleanup (except tests).
|
2020-01-07 15:51:50 +01:00 |
|
Jason Cobb
|
529405deb6
|
Move ContractKind from ContractDefinition to file-scope
|
2020-01-07 09:11:29 -05:00 |
|
Leonardo
|
f7624e254c
|
Merge pull request #8098 from ethereum/smt_fix_shared_ptr
[SMTChecker] Replace some shared_ptr by unique_ptr/raw
|
2020-01-06 14:58:37 +01:00 |
|
Mathias L. Baumann
|
20cf9d9fef
|
Merge pull request #8038 from ethereum/statless-typechecker-7566
Refactor PostTypeChecker into multiple classes per usecase
|
2020-01-06 14:39:58 +01:00 |
|
Leonardo Alt
|
f4f83690f3
|
Replace some shared_ptr by unique_ptr or raw pointers
|
2020-01-06 14:16:49 +01:00 |
|
Alex Beregszaszi
|
4d791b2679
|
Issue warning if codesize exceeds EIP-170 limits
|
2019-12-25 19:51:35 +01:00 |
|
chriseth
|
ece6463f56
|
Merge pull request #8069 from random-internet-cat/set-scope
Move scope of Scopable into new ScopableAnnotation
|
2019-12-20 08:22:36 +01:00 |
|
Jason Cobb
|
6679f92c8a
|
Move all references to scope into annotation
|
2019-12-19 21:45:16 -05:00 |
|
Jason Cobb
|
69fd185903
|
Add new annotations for Scopables
|
2019-12-19 21:45:16 -05:00 |
|
Jason Cobb
|
30b1b39901
|
Have other annotations subclass DeclarationAnnotation
|
2019-12-19 21:45:16 -05:00 |
|
Jason Cobb
|
be14d5f28d
|
Add DeclarationAnnotation
|
2019-12-19 21:45:16 -05:00 |
|
Jason Cobb
|
bc71f61467
|
Add ScopableAnnotation
|
2019-12-19 20:50:43 -05:00 |
|
chriseth
|
7db88cfedd
|
Remove yul::Instruction.
|
2019-12-19 23:22:19 +01:00 |
|
Alex Beregszaszi
|
65e59ecd06
|
Rename EWasm/ewasm/eWasm to Ewasm
|
2019-12-19 11:36:08 +00:00 |
|
Mathias Baumann
|
a8ca96cd3e
|
Refactor PostTypeChecker into multiple classes per usecase
|
2019-12-19 10:43:27 +00:00 |
|
Alex Beregszaszi
|
018960ebb1
|
Rename EWasmObjectCompiler to WasmObjectCompiler
|
2019-12-18 15:59:31 +00:00 |
|
chriseth
|
bdd338a8de
|
Merge pull request #7921 from ghallak/func-selector-ast-json
Add function selector to FunctionDefinition AST JSON
|
2019-12-16 14:07:35 +01:00 |
|
Gaith Hallak
|
371e6a4801
|
Add function selector to FunctionDefinition AST JSON
|
2019-12-16 15:16:54 +03:00 |
|
Erik Kundt
|
cc1b28b12e
|
Fixes segfault on empty contract w/ error recovery.
|
2019-12-13 15:39:19 +01:00 |
|
Alex Beregszaszi
|
4a2a2eb635
|
Remove Boost <1.55 workaround for multiprecision::msb()
|
2019-12-13 00:15:15 +00:00 |
|
chriseth
|
c175a468ab
|
Do not call ABIEncoderV2 experimental.
|
2019-12-12 10:59:07 +01:00 |
|
chriseth
|
f1e7bec11d
|
Include public state variables' base functions in the AST.
|
2019-12-11 15:32:28 +01:00 |
|
Leonardo Alt
|
1fb62b91d2
|
Add more override tests with public state variables
|
2019-12-11 15:15:51 +01:00 |
|
chriseth
|
70623665bf
|
Move helper structs and clean code.
|
2019-12-11 15:15:51 +01:00 |
|
chriseth
|
30732269f6
|
Consider state vars.
|
2019-12-11 15:15:51 +01:00 |
|
chriseth
|
57824566e6
|
Use proxies.
|
2019-12-11 15:15:51 +01:00 |
|
chriseth
|
3e1b00b459
|
Introduce proxies.
|
2019-12-11 15:15:51 +01:00 |
|
chriseth
|
90feb8f72a
|
Move Visibility out of Declaration.
|
2019-12-11 00:38:59 +01:00 |
|
chriseth
|
a66b5ea0ad
|
Fix visitor.
|
2019-12-10 16:54:04 +01:00 |
|
chriseth
|
93d84f3554
|
Split out override checker into its own file.
|
2019-12-10 16:00:05 +01:00 |
|
chriseth
|
a5f7661075
|
Ambigous overrides for modifiers.
|
2019-12-09 18:43:59 +01:00 |
|
chriseth
|
152f42c6b2
|
Make ambigous override checker generic.
|
2019-12-09 18:41:39 +01:00 |
|
chriseth
|
e1d6ce2b66
|
Override checks for modifiers.
|
2019-12-09 18:41:39 +01:00 |
|
chriseth
|
f6916a637e
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-12-09 17:16:58 +01:00 |
|
Daniel Kirchner
|
4c7f9f9751
|
Do not require overriding for functions in common base with unique implementation.
|
2019-12-09 16:04:45 +01:00 |
|
Leonardo Alt
|
225041738e
|
Add SMTCheckerTest for isoltest
|
2019-12-09 15:32:08 +01:00 |
|
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 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 |
|
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 |
|
Daniel Kirchner
|
426f04b389
|
Implement and fix overriding unimplemented and implemented functions with unimplemented functions.
|
2019-12-05 09:26:43 +01:00 |
|
Daniel Kirchner
|
8b35918ad0
|
Replace superFunction by baseFunctions in AST annotations and JSON AST.
|
2019-12-05 03:33:32 +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 |
|
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 |
|
Leonardo Alt
|
67d82fc8a7
|
[SMTChecker] Use rlimit instead of tlimit for SMT queries
|
2019-12-04 11:52:18 +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
|
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 |
|
Alex Beregszaszi
|
9140a7d64e
|
Support catching YulException nicely in StandardCompiler
|
2019-12-03 19:06:21 +01:00 |
|
Leonardo Alt
|
b1577f5e46
|
[SMTChecker] Fix ICE in array of structs type
|
2019-12-03 01:12:30 +01:00 |
|
Daniel Kirchner
|
05baa23e8a
|
Require unimplemented functions to be virtual.
|
2019-12-02 21:59:00 +01:00 |
|
Daniel Kirchner
|
77a9e91443
|
Enable yul optimizer by default.
|
2019-12-02 19:30:14 +01:00 |
|
chriseth
|
c61ed0b22d
|
Merge pull request #7797 from ethereum/allowTranslationInAssemblyMode
Allow EVM to EWasm translation in assembly mode.
|
2019-12-02 13:15:06 +01:00 |
|
Leonardo
|
a7d481fb94
|
Merge pull request #7851 from ethereum/smt_fix_function_type
[SMTChecker] Fix ICE for arrays and mappings of functions.
|
2019-11-30 13:15:08 +01:00 |
|
Leonardo
|
767ce4417f
|
Merge pull request #7850 from ethereum/smt_fix_typetype
[SMTChecker] Fix visit to IndexAccess that has type Type
|
2019-11-29 18:18:26 +01:00 |
|
Leonardo Alt
|
5adc2a40b9
|
[SMTChecker] Fix ICE for arrays and mappings of functions.
|
2019-11-29 18:06:44 +01:00 |
|
Leonardo Alt
|
9eda95caf9
|
[SMTChecker] Fix visit to IndexAccess that has type Type
|
2019-11-29 17:20:50 +01:00 |
|
Leonardo Alt
|
c09da092d2
|
[SMTChecker] Fix constructors with local vars
|
2019-11-29 16:59:15 +01:00 |
|
Daniel Kirchner
|
025a696bb0
|
Fix unrelated test failure.
|
2019-11-28 20:01:36 +01:00 |
|
Daniel Kirchner
|
7d1b0c6023
|
Fix Yul IR push
|
2019-11-28 18:11:38 +01:00 |
|
chriseth
|
ccfc1840a9
|
Allow assembly stack to translate its source.
|
2019-11-28 16:15:15 +01:00 |
|
Leonardo Alt
|
a352abe00d
|
[SMTChecker] Add support to constructors
|
2019-11-28 14:43:23 +01:00 |
|
chriseth
|
f7fc42d8c3
|
Merge pull request #7826 from ethereum/develop
Merge develop into develop_060
|
2019-11-28 13:37:19 +01:00 |
|
Leonardo Alt
|
240ff30878
|
[SMTChecker] Do not visit the name of a modifier invocation
|
2019-11-27 22:34:33 +01:00 |
|
chriseth
|
1ebcc757e1
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-11-27 19:14:08 +01:00 |
|
Mathias Baumann
|
7bc6645218
|
Disallow use of virtual and private together
|
2019-11-27 18:52:41 +01:00 |
|
chriseth
|
23181f549e
|
Remove plain new operators from AST.
|
2019-11-27 18:03:09 +01:00 |
|
chriseth
|
0bb88dabb7
|
Restrict usage of plain "new".
|
2019-11-27 17:55:11 +01:00 |
|
chriseth
|
b0db64ff5b
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-11-26 16:19:35 +01:00 |
|
chriseth
|
41177bc75c
|
Merge pull request #7770 from ethereum/yul_string_format
[Yul] Format string literals back to quoted string literals
|
2019-11-26 15:51:54 +01:00 |
|
chriseth
|
0973ae751a
|
Do not warn about enabled ABIEncoderV2 anymore.
|
2019-11-26 15:49:42 +01:00 |
|
Leonardo Alt
|
ce83bfb088
|
[Yul] Format string literals back to quoted string literals
|
2019-11-26 15:28:39 +01:00 |
|
Gaith Hallak
|
4a1e85436b
|
Allow splitting string literals into multiple parts
|
2019-11-26 14:41:30 +03:00 |
|
Leonardo Alt
|
ddc478e3e4
|
Add CallbackKind and use it for the SMT solver
|
2019-11-21 22:10:21 +00:00 |
|
chriseth
|
a00f824479
|
Merge pull request #7773 from ethereum/develop
Merge develop into develop_060
|
2019-11-21 21:49:22 +01:00 |
|
chriseth
|
a26dd5a428
|
Remove trailing spaces in output.
|
2019-11-21 20:09:03 +01:00 |
|
chriseth
|
d5e9271592
|
Merge pull request #7350 from ethereum/array-length-rvalue
Make `length` member read-only
|
2019-11-21 19:22:42 +01:00 |
|
chriseth
|
8f2595957b
|
Merge pull request #7719 from ethereum/librarySignatuŕes
Add selector member to public and external library functions.
|
2019-11-20 18:43:14 +01:00 |
|
Leonardo Alt
|
389da5228e
|
Merge remote-tracking branch 'origin/develop' into merge_develop_060
|
2019-11-20 12:27:40 +01:00 |
|
Daniel Kirchner
|
372df6b9e1
|
Implement array push and pop for yul and replace assignments in via yul tests.
|
2019-11-20 12:04:42 +01:00 |
|
chriseth
|
5deaac0849
|
Merge pull request #7740 from ethereum/istanbul
Enable support for Istanbul
|
2019-11-20 10:49:27 +01:00 |
|
chriseth
|
32f321e416
|
Merge pull request #7751 from ethereum/replace_boost_variant_std
Replace boost::variant by std::variant in libyul
|
2019-11-19 19:40:39 +01:00 |
|
chriseth
|
d696b3c92b
|
Merge pull request #7743 from ethereum/fixice-7558
Disallow conversion from ``super``
|
2019-11-19 18:52:33 +01:00 |
|
Leonardo Alt
|
be849b3c47
|
Replace boost::variant by std::variant in libyul
|
2019-11-19 17:23:18 +01:00 |
|
Mathias Baumann
|
23cad71c88
|
Disallow conversion from `super`
|
2019-11-19 17:14:11 +01:00 |
|
Alex Beregszaszi
|
840aba8929
|
Add new gas price for deployed bytecode (EIP2028)
|
2019-11-19 17:09:18 +01:00 |
|
Erik Kundt
|
ecaed1030f
|
Makes array length access read-only.
|
2019-11-19 16:09:21 +01:00 |
|
Erik K
|
94272d44aa
|
Merge pull request #7745 from ethereum/develop
Merge develop into develop_060
|
2019-11-19 15:30:31 +01:00 |
|
chriseth
|
6797879128
|
Merge pull request #7647 from ethereum/virtual-5424
Implement virtual keyword
|
2019-11-19 13:21:27 +01:00 |
|
Leonardo Alt
|
d818746e0c
|
[SMTChecker] Fix ICE in abi.decode
|
2019-11-18 13:15:10 +01:00 |
|
Daniel Kirchner
|
a0ae36ba70
|
Add selector member to public and external library functions.
|
2019-11-15 16:12:29 +01:00 |
|
chriseth
|
216e1749f4
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-11-14 13:42:46 +01:00 |
|
chriseth
|
766309b6e4
|
Merge pull request #7713 from ethereum/no-lib-instance-7625
Disallow variables of library types
|
2019-11-14 13:39:56 +01:00 |
|
Mathias Baumann
|
0891b9451b
|
Disallow variables of library types
|
2019-11-14 13:20:31 +01:00 |
|
chriseth
|
a667384517
|
Merge pull request #7712 from ethereum/fixIstanbulAsmParsing
Fix assembly parsing by passing evm version.
|
2019-11-14 13:20:15 +01:00 |
|
chriseth
|
b099374d8c
|
Fix assembly parsing by passing evm version.
|
2019-11-14 13:06:36 +01:00 |
|
chriseth
|
8d46f39643
|
Merge pull request #7707 from ethereum/smt_ice_implicit_conversion
[SMTChecker] Fix ICE in string literal to fixed bytes conversion
|
2019-11-14 11:52:58 +01:00 |
|
Mathias Baumann
|
5b8ff78176
|
Implement virtual keyword
|
2019-11-14 11:49:39 +01:00 |
|
chriseth
|
f6191a7183
|
Merge pull request #7709 from ethereum/overloadMsgForMagic
Reconstruct function definition for magic variables in overload error message.
|
2019-11-14 11:24:54 +01:00 |
|
Leonardo Alt
|
5f43b8dbeb
|
Output the storage layout of a contract via storageLayout artifact
|
2019-11-14 10:19:17 +01:00 |
|
chriseth
|
06588cde76
|
Reconstruct function definition for magic variables in overload error message.
|
2019-11-14 10:13:22 +01:00 |
|
Leonardo Alt
|
8efacfb545
|
[SMTChecker] Fix ICE in string literal to fixed bytes implicit conversion
|
2019-11-13 22:25:18 +01:00 |
|
chriseth
|
c4441bac5b
|
Merge pull request #7705 from ethereum/list-overloads-7146
List candidates when overload failed
|
2019-11-13 17:35:37 +01:00 |
|
Mathias Baumann
|
15df2b30d7
|
List candidates when overload failed
fixes #7146
|
2019-11-13 15:54:36 +01:00 |
|
Leonardo Alt
|
e3652627fd
|
[SMTChecker] Fix ICE in CHC when function used as argument
|
2019-11-13 15:11:30 +01:00 |
|
Mathias Baumann
|
7d4e4b6088
|
Parse "virtual" keyword
|
2019-11-13 13:28:01 +01:00 |
|
djudjuu
|
e437443645
|
Inline assembly to AST json export
|
2019-11-13 12:13:22 +01:00 |
|
Daniel Kirchner
|
ce7268272d
|
Allow obtaining the address of a library by conversion to `address`.
|
2019-11-12 17:09:13 +01:00 |
|
Daniel Kirchner
|
8148619d5b
|
Merge branch 'develop' into develop_060
|
2019-11-12 10:32:41 +01:00 |
|
Mathias Baumann
|
e35a23bbcc
|
Add `switch (..) to style checker
|
2019-11-11 17:44:21 +01:00 |
|
Mathias Baumann
|
e643c4ca28
|
Add `while (..) to style checker
|
2019-11-11 17:28:41 +01:00 |
|
chriseth
|
2e5a42836c
|
Merge pull request #7681 from ethereum/develop
Merge develop into develop_060
|
2019-11-11 16:42:03 +01:00 |
|
Christian Parpart
|
f15d47f165
|
Yul: Remove obsoleted FunctionalInstruction.
|
2019-11-11 16:04:39 +01:00 |
|
Alexander Arlt
|
ce0cef7cbc
|
Output which functions are not implemented
|
2019-11-08 14:06:57 -05:00 |
|
Leonardo Alt
|
5dacaf57bc
|
Fix ICE in FixedBytes IndexAccess
|
2019-11-08 17:29:40 +01:00 |
|
chriseth
|
138ee647f1
|
Provide different options for reason strings.
|
2019-11-07 14:13:53 +01:00 |
|
Daniel Kirchner
|
108992c335
|
Merge pull request #7640 from ethereum/smt_fix_060
[SMTChecker] Fix override tests
|
2019-11-07 14:10:10 +01:00 |
|
chriseth
|
c0b27d0bc1
|
Merge pull request #7648 from ethereum/inlineAssemblyShadowing
Error on shadowing and invalid names in inline assembly
|
2019-11-07 13:31:09 +01:00 |
|
Daniel Kirchner
|
0556f64722
|
Analyze inline assembly variable declarations for invalid or shadowing names.
|
2019-11-07 13:04:37 +01:00 |
|
Leonardo Alt
|
fc945880d1
|
[SMTChecker] Fix override tests
|
2019-11-07 11:49:32 +01:00 |
|
Leonardo Alt
|
6b10efff8c
|
Add CHCSmtLib2Interface
|
2019-11-07 11:12:11 +01:00 |
|
chriseth
|
21e65076b3
|
Merge pull request #7650 from ethereum/develop
Merge develop into develop_060
|
2019-11-06 21:56:55 +01:00 |
|
cd10012
|
a94d22e5fe
|
Add documentation for extractReturnParameterDocs
|
2019-11-06 21:45:01 +01:00 |
|
cd10012
|
16fe59b7b4
|
Implement @erak review notes by creating function and adding constructor test
Update 060 doc with natspec change
Add two more tests with mixed usage
Fix solc-js
fix changelog
|
2019-11-06 21:44:59 +01:00 |
|
cd10012
|
f598b1515f
|
Give unamed parameters unique keys and update tests to new spec
Fix whitespace
|
2019-11-06 21:44:34 +01:00 |
|
cd10012
|
18fe693fdd
|
Add unamed return param test and check size in conditional
|
2019-11-06 21:44:09 +01:00 |
|
cd10012
|
b3ae601e88
|
Refactor to have multiple return params
|
2019-11-06 21:44:09 +01:00 |
|
chriseth
|
30ea41c36d
|
Merge pull request #7526 from ethereum/modifierDepth
Add modifier depth to source mappings.
|
2019-11-06 13:03:40 +01:00 |
|
Leonardo Alt
|
10e70b8603
|
[SMTChecker] Support inheritance and resolve overrides
|
2019-11-06 11:00:06 +01:00 |
|
chriseth
|
587c87b15b
|
Commandline interface additions for webassembly binary.
|
2019-11-05 20:05:57 +01:00 |
|
chriseth
|
e79a32e9d5
|
Wasm to binary assembly stack.
|
2019-11-05 20:02:42 +01:00 |
|
chriseth
|
4d99bf68f4
|
Merge pull request #7638 from ethereum/develop
Merge develop into develop_060
|
2019-11-05 17:33:54 +01:00 |
|
chriseth
|
cb2096c82a
|
Add modifier depth to source mappings.
|
2019-11-05 16:50:38 +01:00 |
|