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
20,008 Commits 348 Branches 121 Tags 100 MiB
1f5b874eaf
Commit Graph

20008 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Leonardo
cbccb53ee2
Merge pull request #11178 from blishko/smt-assign-refactor 
[SMTChecker] Small refactoring of assignment
 2021-03-31 16:31:29 +02:00
Martin Blicha
330fb8f4d0 [SMTChecker] Assignment refactoring 2021-03-31 13:36:50 +02:00
Harikrishnan Mulackal
b605211d53
Merge pull request #11170 from ethereum/natspec-doc 
Move improvements to the NatSpec documentation
 2021-03-31 13:18:55 +02:00
Leonardo
78d94737a4
Merge pull request #11188 from blishko/issue-11181 
[SMTChecker] Fix crash when analysing try-catch clauses with function call.
 2021-03-31 11:24:36 +02:00
chriseth
851051c64a
Merge pull request #10228 from ethereum/issue-9565 
Detect circular references for library and free functions
 2021-03-30 23:49:22 +02:00
chriseth
d710e0b3af
Merge pull request #10937 from ethereum/customErrorDocumentation 
Custom error documentation
 2021-03-30 23:37:47 +02:00
Alex Beregszaszi
a99e0eb5cb Move improvements to the NatSpec documentation 2021-03-30 22:09:21 +01:00
Mathias Baumann
e590a99f39 Detect circular references for library and free functions 2021-03-30 23:06:30 +02:00
chriseth
904dade4bd Changelog entry. 2021-03-30 23:04:32 +02:00
chriseth
786ae2ceec Use errors in examples. 2021-03-30 23:04:32 +02:00
chriseth
0c1be06cba Documentation for custom errors. 2021-03-30 23:04:32 +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
Martin Blicha
2d231f1859 [SMTChecker] Changed SMTEncoder::mergeVariables to work regardless which branch has been visited first 2021-03-30 20:35:44 +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
Kamil Śliwak
879f1b3e26 docs: Mention that low-level calls do not have an extcodesize check 2021-03-30 18:10:00 +02:00
Kamil Śliwak
8c6bbf607f docs: Explain that public library functions cannot be called internally from the outside 2021-03-30 18:10:00 +02:00
Kamil Śliwak
e1464fa4fb docs: Clarify how modifiers can affect function arguments and return values 2021-03-30 18:10:00 +02:00
Leonardo Alt
ba97d6ac4e Add local vars to cex 2021-03-30 17:55:21 +02:00
Kamil Śliwak
67dea6c4f1 docs: Clarify which functions can be assigned to function variables 2021-03-30 14:31:51 +02:00
Kamil Śliwak
36f769662b docs: Add selector to the index 2021-03-30 14:31:51 +02:00
Kamil Śliwak
4053805356 docs: Yul create() and create2() return zero address on failure 2021-03-30 14:31:51 +02:00
Kamil Śliwak
797554668c docs: Newly allocated arrays are initialized with default values 2021-03-30 14:31:51 +02:00
Kamil Śliwak
259bf3f23a docs: The default visibility level for state variables is internal 2021-03-30 14:31:51 +02:00
Kamil Śliwak
60090fb4a9 docs: Calldata arguments are no longer limited to external functions 2021-03-30 14:31:51 +02:00
Kamil Śliwak
93bfc76216 docs: Mention explicitly that bitwise operators do not perform overflow/underflow checks 2021-03-30 14:31:51 +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
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