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
21,781 Commits 348 Branches 121 Tags
lpsolver
Commit Graph
6626 Commits
Author SHA1 Message Date
Sean Hawkes f2e59923ab Added call to CommonOptions base class validate method to derived IsolTestOptions validate method to validate against both common and extended options 2021-09-18 06:59:37 -05:00
Sean Hawkes 76fa00abed Added invocation of base class addOptions in derived to populate list with common and derived options, fixed errors with editor member variable type mismatch 2021-09-18 06:22:27 -05:00
Sean Hawkes ae7c617711 Added call to addOptions virtual helper in CommonOptions::parse to add options from base/derived classes, modified interface of IsolTestOptions to include editor member variable set based on provided parameter in constructor as it is now needed by addOptions helper function 2021-09-18 05:43:09 -05:00
Sean Hawkes f47e918caa Moved program_options add_options to a helper function to allow defaults to be set by derived class constructor before immutable options are created by parent 2021-09-18 04:55:50 -05:00
Kamil Śliwak a9b5835e5d AsmPrinter: Don't include whitespace after @src if there's no code snippet 2021-09-17 21:46:12 +02:00
Kamil Śliwak fc8c4b046c StandardCompiler: Do not discard non-fatal errors that happened before a fatal error 2021-09-16 20:29:03 +02:00
Kamil Śliwak 1a9ba1baca Failing test: standard_yul_single_file_via_urls 2021-09-16 20:29:03 +02:00
chriseth a141589adf Update tests. 2021-09-16 17:19:17 +02:00
chriseth cedf68365b Move test. 2021-09-16 17:19:17 +02:00
chriseth 3e429ab231 Update commandline tests. 2021-09-16 17:19:17 +02:00
chriseth 63993387d6 Add test for invalid ast id. 2021-09-16 17:18:48 +02:00
chriseth 05d20446bb Parse @ast-id annotation. 2021-09-16 17:18:48 +02:00
Leo Alt a1bea368cb [SMTChecker] Support constants via modules 2021-09-16 14:35:05 +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
chriseth 91ef1ceb51 Merge pull request #11954 from ethereum/userdefinedvaluetype-multisource-test 
Added a multisource test for UserDefinedValueTypes and imports
 2021-09-16 13:59:22 +02:00
chriseth ff0e433635 Merge pull request #11965 from ethereum/userdefined-changed-toString 
User defined value types changed toString()
 2021-09-16 13:58:55 +02:00
Marenz c81814915c Properly detect multiple licenses and validate them. 2021-09-16 11:18:26 +02:00
Alex Beregszaszi c1070fabc0 Merge pull request #11906 from ethereum/smt_fix_bmc 
[SMTChecker] Fix BMCs constraints on internal functions
 2021-09-15 21:01:29 +01: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
Kamil Śliwak b077ef46e2 cmdlineTests.sh: More descriptive message about used binary path 2021-09-15 16:49:25 +02:00
Kamil Śliwak 67eed76aac cmdlineTests.sh: Fix running only tests matching patterns given on the command line 2021-09-15 16:49:25 +02:00
chriseth 34e516ea1b Merge pull request #11963 from ethereum/slightABIDecodeImprovement 
Improve abi decoding functions for arrays.
 2021-09-15 15:42:13 +02:00
Leo Alt b731957e65 Fix BMCs constraints on internal functions 2021-09-15 14:42:39 +02:00
Daniel Kirchner d1c0b428fc Improve abi decoding functions for arrays. 2021-09-15 13:50:19 +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
Daniel Kirchner be29ef70a7 Allow accessing user defined value type members via contract name. 2021-09-14 16:24:14 +02:00
chriseth 8735d3fb6c Merge pull request #11930 from ethereum/calldataStructInlineAssembly 
Fix inline assembly assignments to calldata structs and statically-sized calldata arrays.
 2021-09-14 16:16:48 +02:00
chriseth 8188ea7d66 Merge pull request #11931 from ethereum/different-metadata-via-ir 
Different metadata for IR
 2021-09-14 15:48:08 +02:00
Leonardo e45083f319 Merge pull request #11606 from ethereum/info_message 
Add new info severity
 2021-09-14 14:30:07 +02:00
chriseth cb218fe018 Merge pull request #11947 from ethereum/abicodec-test-userdefined 
Added an abi function test for UserDefinedValueType
 2021-09-14 13:49:45 +02:00
Kamil Śliwak 405a9e9971 Generate separate metadata for the old and the new codegen 2021-09-14 13:44:04 +02:00
Kamil Śliwak 83b3bd0227 Add a version of isValidMetadata() that accepts already parsed metadata 2021-09-14 13:44:04 +02:00
Kamil Śliwak 14639efc5d Print code snippets next to source locations in IR output 2021-09-14 12:09:59 +02:00
Kamil Śliwak d78522b08b AsmParser: Accept optional code snippets after the @src tags 2021-09-14 12:09:59 +02:00
Leo Alt e72fa7fc10 Add new info severity 2021-09-13 22:48:22 +02:00
chriseth f957820351 Merge pull request #11913 from ethereum/source-location-parsing-extra-tests-and-regex-refactor 
More generic source location parsing + more errors
 2021-09-13 19:06:29 +02:00
Harikrishnan Mulackal c8c6d30808 Merge pull request #11946 from ethereum/tests-userdefinedvaluetypes 
UserDefinedValueType: test to validate zero-cost-abstraction claim.
 2021-09-13 18:54:36 +02:00
hrkrshnn 4871017aae Added an abi function test for UserDefinedValueType 
A test to see if `abi.encode*(..., (CustomType))` and `abi.decode(..., (CustomType))` works as
intended.
 2021-09-13 18:12:42 +02:00
hrkrshnn 00bfed4d8b UserDefinedValueType: test to validate zero-cost-abstraction claim. 
Seems that the optimizer can indeed make it a zero-cost-abstraction!
 2021-09-13 16:49:52 +02:00
Kamil Śliwak 0727e5c756 Merge pull request #11933 from soroosh-sdi/scripts-no-smt 
Add switch for command line & test.sh to skip smt
 2021-09-13 16:24:00 +02:00
Kamil Śliwak 7a36a1d1db Reject optimizer options as invalid in linker and Standard JSON modes 2021-09-13 15:35:11 +02:00
Daniel Kirchner ab7b1625ac Tests for unassigned calldata returns. 2021-09-13 15:22:46 +02:00
Daniel Kirchner fc37b18e88 Fix inline assembly assignments to calldata structs and statically-sized arrays. 2021-09-13 15:22:46 +02:00
Harikrishnan Mulackal 8fafdeacac Merge pull request #11939 from ethereum/userdefined-types-mapping-key 
Allow Mapping keys to have type UserDefinedValueType.
 2021-09-13 15:06:14 +02:00
hrkrshnn 2ead3f469e Added a user defined type mapping into the ASTJSON test. 2021-09-13 14:06:31 +02:00
hrkrshnn a1d4d0125d Allow UserDefinedValueType.uwrap (and wrap) as RHS of constant decl 
Needed to make `MyType.unwrap` and `MyType.unwrap` as pure in the process. This change affected some
existing tests ("statement has no effect").
 2021-09-13 11:53:05 +02:00
hrkrshnn 1fa6c71bd0 Allow Mapping keys to have type UserDefinedValueType. 
Also added syntax and semantic test.
 2021-09-13 10:03:49 +02:00
soroosh-sdi f5e8f5246c Add switch for command line & test.sh to skip smt 
- add --no-smt in scripts/tests.sh and test/cmdlineTests.sh

Signed-off-by: soroosh-sdi <soroosh.sardari@gmail.com>
 2021-09-10 23:35:17 +04:30