cerc-io/solidity
11
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,802 Commits 348 Branches 121 Tags
3643024fb0d6476bdd3774e42774dd6ce6e64c4e
Commit Graph
19802 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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 MijovicandKamil Śliwak 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 ParpartandHarikrishnan Mulackal 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
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 Mijovicandchriseth fd0762b5ef Documenting bytes.concat. 
Co-authored-by: chriseth <chris@ethereum.org>
 2021-03-24 11:49:21 +01:00
Djordje Mijovic d0a854b312 Adding semantic tests for bytes.concat. 2021-03-24 11:49:21 +01:00
Djordje Mijovic 4e75c6c3e8 Implementing bytes.concat for legacy codegen. 2021-03-24 11:49:21 +01:00
Djordje MijovicandDaniel Kirchner 80866d3ee4 [Sol->Yul] Implementing bytes.concat in IR codegen. 
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
 2021-03-24 11:49:21 +01:00
Djordje Mijovic e7da9f3d52 Adding syntax tests for bytes.concat. 2021-03-24 11:49:21 +01:00
Djordje Mijovic 840df80dac Check if all types in bytes.concat are fixed bytes or byte array. 2021-03-24 11:49:21 +01:00
Djordje Mijovic 1493326e48 Adding bytes.concat function type. 2021-03-24 11:49:21 +01:00
chriseth a27c9c39b2 Merge pull request #11153 from ethereum/modifierInvocationFix 
Fix AST output if modifier invocation is base constructor call.
 2021-03-24 11:46:19 +01:00
chriseth 9bc0477712 Merge pull request #11139 from Hongbo-Miao/patch-1 
docs: fix semantic version link
 2021-03-24 11:27:12 +01:00
chriseth d15ba987d1 Fix AST output if modifier invocation is base constructor call. 2021-03-24 11:24:26 +01:00
Leonardo 70c1720903 Merge pull request #11129 from blishko/smt-ci-tests 
Run SMTChecker tests for all EVM versions
 2021-03-24 10:31:44 +01:00
chriseth 2bbe9349cf Merge pull request #11151 from blishko/compilation-fix 
Fix compilation on develop
 2021-03-24 10:16:02 +01:00