cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
19,834 Commits 348 Branches 121 Tags 100 MiB
e590a99f39
Commit Graph

19834 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Mathias Baumann
e590a99f39 Detect circular references for library and free functions 2021-03-30 23:06:30 +02:00
chriseth
15fe07bebe
Merge pull request #10936 from ethereum/customErrorsABI 
ABI and Natspec for errors
 2021-03-30 23:04:09 +02:00
chriseth
4fd61927af
Merge pull request #11037 from ethereum/revertStatement 
Revert statement.
 2021-03-30 23:03:54 +02:00
chriseth
317eaf643c
Merge pull request #10987 from ethereum/customErrorDeclaration 
Syntax for defining custom errors.
 2021-03-30 23:03:36 +02:00
chriseth
79d7466e19 NatSpec for errors. 2021-03-30 21:16:58 +02:00
chriseth
517cd17a6f Add errors to the ABI. 2021-03-30 21:16:58 +02:00
chriseth
d80059fb98 Skip certain test for grammar test. 2021-03-30 21:15:46 +02:00
chriseth
e877e2bba7 Use all referenced errors. 2021-03-30 21:15:46 +02:00
chriseth
1057fd5355 Take revert statement into account in control flow graph. 2021-03-30 21:15:46 +02:00
chriseth
d5669696d5 Code generation for errors. 2021-03-30 21:15:46 +02:00
chriseth
3353107779 Grammar for revert statement. 2021-03-30 21:15:46 +02:00
chriseth
b552e5aeeb AST import and export for revert statement. 2021-03-30 21:15:46 +02:00
chriseth
fb67051467 Revert statement. 2021-03-30 21:15:46 +02:00
chriseth
b04b189959 Syntax for custom errors. 2021-03-30 21:15:18 +02:00
Leonardo
510bbaf672
Merge pull request #11122 from ethereum/smt_cex_local_vars 
[SMTChecker] Show local variables in cex
 2021-03-30 19:14:35 +02:00
Leonardo Alt
ba97d6ac4e Add local vars to cex 2021-03-30 17:55:21 +02:00
Leonardo
a7e2a8acb2
Merge pull request #11145 from ethereum/smt_out_of_bounds 
[SMTChecker] Add `out of bounds` verification target
 2021-03-30 14:24:50 +02:00
Harikrishnan Mulackal
24536f7f8e
Merge pull request #11186 from ethereum/docs_readme 
Docs: Update Readme "contact us" sentence and add social badges
 2021-03-30 13:12:02 +02:00
Leonardo Alt
dbd067d6db Report out of bounds index access 2021-03-30 10:28:48 +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
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