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
22,199 Commits 348 Branches 121 Tags
smt_eldarica_cex
Commit Graph
1073 Commits
Author SHA1 Message Date
Matheus Aguiar 35661479b6 Revert "Disallow RETURNDATASIZE and RETURNDATACOPY in inline assembly blocks in pure functions" 
This reverts commit f567eb1fb2.

Correcting Bugfixes section of Changelog.
 2022-05-13 08:35:21 -03:00
chriseth df29ea72f0 Merge pull request #12836 from ethereum/fixUsingGlobal 
Fix using global with libraries.
 2022-05-02 12:41:34 +02:00
chriseth 505fa7763f Fix checks for "using for ... global" for libraries. 2022-05-02 12:40:56 +02:00
Alexey Shekhirin cb24e5d545 fix(parser): error for unexpected token 2022-04-29 16:13:04 +04:00
Kamil Śliwak f567eb1fb2 Disallow RETURNDATASIZE and RETURNDATACOPY in inline assembly blocks in pure functions 2022-04-08 14:48:35 +02:00
Kamil Śliwak fb7c969ce8 Tests for assembly instructions allowed with mutable/view/pure functions 2022-04-08 14:47:32 +02:00
Ryan 3a17274691 Improve error message for static array with size too large 2022-04-05 17:36:37 +02:00
chriseth 755e043a6d Use error message for unary operators. 2022-04-04 16:53:36 +05:30
nishant-sachdeva 4c6066bfad typeCheckAbiEncodeCallFunction should type check the arguments on functionPointerType->asExternallyCallableFunction instead of teh plain function type 2022-03-24 18:53:46 +05:30
chriseth 9188519f11 Using for with global binding. 2022-03-14 17:39:14 +01:00
hrkrshnn 672951ccc7 Extend using-for. 2022-03-14 12:33:44 +01:00
nishant-sachdeva b7a9daa2f8 Generate warning when rational numbers are converted to their mobile type without explicit requests 2022-03-14 14:04:46 +05:30
nishant-sachdeva 624d2d3968 Error messages from abi encodecall are giving more details about the types of the involved variables 2022-03-11 16:14:55 +05:30
Daniel Kirchner 93dd8ad553 Tests. 2022-03-02 17:07:11 +01:00
Daniel Kirchner 6b6e163be5 Tests. 2022-03-02 16:42:28 +01:00
Daniel Kirchner e6848caac1 Allow annotating inline assembly as memory-safe. 2022-03-02 16:42:28 +01:00
Marenz 175580fe90 Make error message less confusing 2022-02-17 16:52:36 +01:00
Daniel Kirchner c47da51eab Consider all grandparents in override analysis. 2022-02-14 15:31:31 +01:00
nishant-sachdeva 276851ff91 Added support for FunctionType::Kind::StringConcat and functions string.concat 2022-02-10 22:08:47 +05:30
hrkrshnn 0fe5811459 Fixed a ICE on calldata to struct member copy 2022-01-31 17:26:11 +01:00
nishant-sachdeva 27d0480e96 Adding Stack Height Checker and modifying the number of POP instructions to appropriately provide the pointer address 2022-01-20 01:15:08 +05:30
nishant-sachdeva a0d6c11860 Equality operator allowed for external function types 2022-01-19 15:20:31 +05:30
Daniel Kirchner 79e9d619a3 Merge pull request #12545 from ethereum/yulGrammarFluke 
Allow builtins in yul identifier paths in antlr grammar.
 2022-01-17 20:42:14 +01:00
Daniel KirchnerandKamil Śliwak c91f995ec9 Update test/libsolidity/syntaxTests/inlineAssembly/assignment_to_function_pointer.sol 
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2022-01-17 20:12:11 +01:00
Daniel Kirchner 2d0f6278bb Allow builtins as yul identifier paths in antlr grammar. 2022-01-17 18:42:54 +01:00
Marenz 57d84c8bfb Fix genetic algorithms CI failure 2022-01-17 13:35:07 +01:00
Marenz 0004ad8764 Fix ICE when a constant variable declaration forward references a struct 2022-01-17 13:24:14 +01:00
Marenz 2c4c8264e4 Fix wrong error with immutables when base contract c'tor uses return 2022-01-13 13:09:36 +01:00
Marenz e969aed780 Properly resolve virtual modifiers 2022-01-06 12:52:06 +01:00
chriseth 4c838d9cf5 abi.encodeCall for declarations. 2021-12-29 12:26:04 +01:00
mejsiej ddd9a84141 Improve failure message when generating getter. 2021-12-20 18:16:27 +01:00
Marenz 7a96953e78 Implement typechecked abi.encodeCall() 2021-12-16 17:35:58 +01:00
nishant-sachdeva 9b55d4788e Added sameType check for fromType and toType in YulUtilFunctions.cpp and relevant tests in semanticTests 2021-12-15 23:50:25 +05:30
nishant-sachdeva a4fbc607c6 Issue 11610 : Replced typeError with fataTypeError in lines 390 and 406. Test file added in test/libsolidity/syntaxTests/calldata_struct_argument_with_internal_type_inside.sol 
Issue : 11610 : Test cases updated, Changelog.md file updated to include change on 0.8.11
 2021-12-03 12:23:35 +05:30
David Dzhalaev 79ffa16a61 Improve error message for contract size limit error 2021-10-27 20:06:53 +02:00
hrkrshnn 8815d6f5f0 Moved a check related to constants to TypeChecker 
And added a proper error message when constant types containing (nested) mapping types are used.
 2021-10-26 18:43:04 +02:00
hrkrshnn 51009c005d Moved a canBeStored assert for struct members to TypeChecker 
This is to avoid a assert from failing for forward declared user defined value types.
 2021-10-26 18:43:04 +02:00
hrkrshnn 9428dbc94f Moved storage size assert to TypeChecker from DeclarationTypeChecker 2021-10-26 18:43:04 +02:00
Christian Parpart 591ba184e9 Adds some more version pragma test cases. 2021-10-12 15:15:54 +02:00
Marenz 4368da0201 Fix ICE when printing an error message related to mappings 2021-10-06 17:02:36 +02:00
Marenz 98dd78362e Add `.address and .selector` in inside assembly for external function pointers 2021-10-04 18:05:57 +02:00
chriseth d9ad047c21 Merge pull request #12001 from ethereum/cmdline-test-for-asm-json 
Command-line test for `--asm-json`
 2021-09-22 11:09:02 +02:00
Marenz 7a51acc5fe Correct wrong error message referencing .slot and .offset when .length was used 2021-09-21 18:28:38 +02:00
Kamil Śliwak b1351f4807 Fix typo in test name: leave_items_on_tack.sol -> leave_items_on_stack.sol 2021-09-21 16:28:16 +02:00
chriseth 4284499180 Merge pull request #11888 from ethereum/spdx-license-handling-10145 
Properly detect multiple licenses and validate them.
 2021-09-16 14:18:17 +02:00
Marenz c81814915c Properly detect multiple licenses and validate them. 2021-09-16 11:18:26 +02:00
hrkrshnn 15fb427a99 Added a multisource test for UserDefinedValueTypes and imports 
Testing if `import {MyType} from "source";` works
 2021-09-15 17:48:53 +02:00
hrkrshnn 48e16ceb88 Changing the UserDefinedValueType::toString to userdefined <name> 2021-09-15 17:25:23 +02:00
hrkrshnn 42c8310a63 Updated tests. 2021-09-15 12:56:29 +02:00
Daniel Kirchner 0fa24c786b Merge pull request #11956 from ethereum/userDefinedTypesContractAccess 
Allow accessing user defined value type members via contract name.
 2021-09-14 17:14:04 +02:00