Commit Graph

19867 Commits

Author SHA1 Message Date
Kamil Śliwak
03a0998b5b solc-bin: Validate version reported by the compiler in the bytecode PR check 2021-03-29 20:17:45 +02:00
chriseth
2346ec1c0c
Merge pull request #11189 from ethereum/fix-top-ref-in-solc-bin-bytecode-pr-check
[solc-bin] Fix commit range used by bytecode PR check
2021-03-29 18:44:33 +02:00
Kamil Śliwak
d68d4727eb Fix bytecode PR check ignoring TOP_REF and always using HEAD as the end of the commit range 2021-03-29 17:48:49 +02:00
Kamil Śliwak
d4e95a76e4 bytecode_reports_for_modified_binaries.sh: Add a helper for exiting with an error message 2021-03-29 17:48:38 +02:00
chriseth
bb49bc5892
Merge pull request #10418 from ethereum/function-specializer
Function specializer
2021-03-29 15:48:01 +02:00
franzihei
7cac6f9011 Docs: Update Readme "contact us" sentence and social badges 2021-03-29 12:23:46 +02:00
chriseth
3598167499
Merge pull request #11185 from zayneio/docs-fix-typo
Fix typo in documentation
2021-03-29 11:15:36 +02:00
hrkrshnn
0100f48e05 FunctionSpecializer: skip specializing recursive functions
This avoids potential pathological behaviour, like in Ackermann function.
2021-03-29 11:02:31 +02:00
hrkrshnn
bd5e47dc55 Changelog and adding the name to the doc 2021-03-29 11:02:31 +02:00
hrkrshnn
2c75d1dfe4 Isoltest gas update for FunctionSpecializer 2021-03-29 11:02:31 +02:00
hrkrshnn
09998ceb0c Tests for FunctionSpecializer 2021-03-29 11:02:18 +02:00
hrkrshnn
45a3747701 Added FunctionSpecializer to the optimization suite 2021-03-29 11:02:18 +02:00
hrkrshnn
22ebdc7438 Implemented FunctionSpecializer
Optimiser step that specializes the function with its literal arguments.
2021-03-29 11:02:18 +02:00
hrkrshnn
8564d08228 Added a helper class FunctionCopier in ASTCopier
Helper class that creates a copy of the function definition, replacing the names of the variable
declaration with a new name.
2021-03-29 11:02:18 +02:00
zayneio
3643024fb0 Fix typo in documentation 2021-03-28 17:02:18 -04:00
Kamil Śliwak
c37bf89384
Merge pull request #11180 from ethereum/fix-trace-diff-fp
Fix false positive caused by early termination due to nested expressi…
2021-03-26 23:00:42 +01:00
Alex Beregszaszi
f24b2254ed
Merge pull request #11177 from ethereum/doc-pygment
Update pygments-lexer-solidity to 0.7.0
2021-03-26 15:34:02 +00:00
Leonardo
dcc0267cf4
Merge pull request #11179 from ethereum/smt_fix_bfs_order
[SMTChecker] Fix target warning order nondeterminism
2021-03-26 14:00:47 +01:00
Bhargava Shastry
f3f1ccc34f Fix false positive caused by early termination due to nested expressions. 2021-03-26 13:35:57 +01:00
Leonardo Alt
d1db41a5c8 Fix target warning order nondeterminism 2021-03-26 12:13:52 +01:00
Alex Beregszaszi
522fdc158d Update pygments-lexer-solidity to 0.7.0 2021-03-25 20:29:05 +00:00
Đorđe Mijović
d75a132f33
Merge pull request #11166 from ethereum/cmdLineTestsDevVersionFix 2021-03-25 19:06:26 +01:00
Leonardo
b3bbdacd48
Merge pull request #11126 from blishko/smt-no-targets-for-abstract
[SMTChecker] Do not create verification targets for contracts that cannot be deployed.
2021-03-25 18:04:02 +01:00
Djordje Mijovic
8da630f67b Updating pragma for docs example for bytes concat. 2021-03-25 17:11:39 +01:00
Djordje Mijovic
08993a3282 Enabling running cmd line tests on currently unreleased version.
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2021-03-25 17:11:31 +01:00
chriseth
ecf7f21d55
Merge pull request #11172 from Schaeff/patch-1
Make bug report template consistent with feature request template
2021-03-25 15:50:11 +01:00
Thibaut Schaeffer
ccc8b4bbeb
Update bug_report.md 2021-03-25 15:45:46 +01:00
Martin Blicha
85358dfe30 [SMTChecker] Do not create targets for contracts that cannot be deployed 2021-03-25 15:38:37 +01:00
Leonardo
7e1be52281
Merge pull request #11165 from blishko/smt-abi-no-args
[SMTChecker] Fix ICE on ABI functions with no arguments
2021-03-25 15:21:57 +01:00
chriseth
ab42f3af3c
Merge pull request #11169 from ethereum/readme
Add link to the portal in the README
2021-03-25 14:34:25 +01:00
chriseth
f7271d4741
Merge pull request #11162 from ethereum/macos-getversion
macOS get_version
2021-03-25 14:33:43 +01:00
Alex Beregszaszi
d6d5642467 Add link to the portal in the README 2021-03-25 13:32:49 +00:00
chriseth
4cfb1e5cae
Merge pull request #11167 from ethereum/natspec-custom
Show proper error for misusing the custom natspec tag
2021-03-25 14:32:29 +01:00
Alex Beregszaszi
18e6d1c3b1
Merge pull request #11159 from ethereum/custom-natspec-example
Adds @custom:.... natspec example to the natspec-format documentation.
2021-03-25 12:53:17 +00:00
Alex Beregszaszi
e071884bbf Show proper error for misusing the custom natspec tag 2021-03-25 12:45:37 +00:00
Kamil Śliwak
855a806a5b Rewrite get_version.sh to make it work on macOS 2021-03-25 13:29:32 +01:00
Martin Blicha
5293f05ee3 [SMTChecker] Fix ICE on ABI functions with no arguments 2021-03-25 13:28:29 +01:00
Alex Beregszaszi
7a7ff7af2f Add one more test for invalid custom tag 2021-03-25 12:24:18 +00:00
Christian Parpart
10ec49ddb9 Adds @custom:.... natspec example to the natspec-format documentation.
Co-authored-by: Harikrishnan Mulackal <webmail.hari@gmail.com>
2021-03-25 13:00:01 +01:00
hrkrshnn
b42fc2015c NameCollecter can now only collect VariableDeclarations
This is done to help with the optimizer step FunctionSpecializer
2021-03-25 11:49:16 +01:00
chriseth
4080748b1d
Merge pull request #11157 from ethereum/extractReferencedDeclaration
Extract referencedDeclaration as helper.
2021-03-25 11:02:20 +01:00
chriseth
7681a05178
Merge pull request #11160 from ethereum/natspec-doc
Improve documentation about NatSpec
2021-03-25 10:57:45 +01:00
chriseth
6eac77aea2
Merge pull request #11107 from ethereum/extendedLowlevelInliner
Inline ordinary jumps to small blocks and jumps to terminating control flow.
2021-03-24 18:06:15 +01:00
Alex Beregszaszi
78a66787d4 Improve documentation about NatSpec
Clarify the connection to Doxygen.
2021-03-24 16:14:48 +00:00
Alex Beregszaszi
7ac891600d Properly capitalise UTF-8/ASCII in the documentation 2021-03-24 16:09:00 +00:00
chriseth
99fcf62736 Extract referencedDeclaration as helper. 2021-03-24 17:01:50 +01:00
Leonardo
2f36e15009
Merge pull request #11146 from blishko/smt-fix-compound-assignment-to-push
[SMTChecker] Fix compound assignment to push
2021-03-24 16:12:48 +01:00
Martin Blicha
98446782e2 [SMTChecker] Fix compound assignment to push 2021-03-24 14:54:13 +01:00
Leonardo
13d3b35141
Merge pull request #11116 from blishko/issue-10985
[SMTChecker] Handle InaccessibleDynamicType
2021-03-24 14:39:24 +01:00
hrkrshnn
4fbf5a3f12 Added few more tests for low level inliner. 2021-03-24 13:50:24 +01:00