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 |
|
Daniel Kirchner
|
8b3095920a
|
Inline ordinary jumps to small blocks and jumps to terminating control flow.
|
2021-03-24 13:50:24 +01:00 |
|
chriseth
|
a99eb17608
|
Merge pull request #11011 from ethereum/bytesConcat
[Sol->Yul] Implementing bytes concat
|
2021-03-24 12:10:58 +01:00 |
|
Martin Blicha
|
852e877ae7
|
[SMTChecker] Handle InaccessibleDynamicType
|
2021-03-24 11:53:06 +01:00 |
|
Djordje Mijovic
|
fd0762b5ef
|
Documenting bytes.concat.
Co-authored-by: chriseth <chris@ethereum.org>
|
2021-03-24 11:49:21 +01:00 |
|