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,741 Commits 348 Branches 121 Tags
newCodegen2
Commit Graph
6619 Commits
Author SHA1 Message Date
Kamil Śliwak ed907561eb externalTests: Enable set -e in external tests 2021-11-08 16:29:52 +01:00
chriseth 080c7245ae Update tests. 2021-11-08 14:59:00 +01:00
chriseth 31c504c5ba Add test for extcodesize check. 2021-11-08 14:58:09 +01:00
chriseth a1aa9d2d90 Skip extcodesize check if return data is expected. 2021-11-08 14:58:09 +01:00
chriseth f9ba1bf3c8 Merge pull request #12227 from ethereum/smt_fix_gas 
Fix ICE in CHC when using gas in the function options
 2021-11-08 11:54:20 +01:00
Kamil Śliwak 1a19d9a5cf New CLI output in assembly mode: --ewasm-ir 2021-11-04 18:23:11 +01:00
Kamil Śliwak affeff18f5 Don't ignore output selection in assembly mode 2021-11-04 18:23:11 +01:00
chriseth 766d10b848 Tests. 2021-11-04 16:38:07 +01:00
chriseth 776ae466bc Control flow side effects on non-disambiguated source. 2021-11-04 16:32:11 +01:00
Daniel Kirchner 95c973d6c2 Refactoring of optimiser suite and yulopti. 2021-11-03 19:33:01 +01:00
Daniel Kirchner 0cbb297c7b Non-interactive mode for yulopti. 2021-11-03 19:33:01 +01:00
Leo 58688bd9c1 Merge pull request #12167 from ethereum/smt_merge_query_entry_points 
[SMTChecker] Merge all entry points for a target
 2021-11-03 16:43:16 +01:00
Leo Alt dff280cadc Fix ICE in CHC when using gas in the function options 2021-11-03 15:40:54 +01:00
chriseth 6b029c3349 Merge pull request #11974 from ethereum/newCodeTransformIROnly 
New code transform (IR codegen only).
 2021-11-03 14:52:28 +01:00
Kamil Śliwak 2d45099a87 Merge pull request #12118 from ethereum/separate-input-modes-for-help-license-version 
Separate input modes for `--help`,  `--license` and `--version`
 2021-11-03 12:52:47 +01:00
Kamil Śliwak 5ce85d7a90 Merge pull request #12187 from ethereum/external-tests-directly-on-upstream 
Run external tests directly on upstream repo where possible
 2021-11-03 12:51:46 +01:00
Daniel Kirchner 28ae316556 Named function labels. 2021-11-03 12:42:07 +01:00
Daniel Kirchner 1a0605c594 Update tests. 2021-11-03 12:39:55 +01:00
Leo Alt e40cf92b1d [SMTChecker] Merge all entry points for a target 2021-11-03 11:12:58 +01:00
Kamil Śliwak 0417db0f6a Don't return an error from --help 2021-11-02 16:31:45 +01:00
Kamil Śliwak a1c9c1e2b5 CommandLineInterface: Merge processInput() and actOnInput() 
- The distinction between them is not as clear-cut as it should be. For example processInput() prints output in assembly mode.
 2021-11-02 16:31:45 +01:00
Kamil Śliwak 93c1fe6878 Treat --help, --license and --version as separate input modes 2021-11-02 16:31:43 +01:00
chriseth 7f7c5ca171 New tests. 2021-11-02 11:59:01 +01:00
chriseth 3996d0a343 Update tests. 2021-11-02 11:59:01 +01:00
chriseth 5eb97fa6ee Merge pull request #12219 from ethereum/precompile-extcodesize-check-test 
Semantic test for high level call to precompiles.
 2021-11-01 15:08:52 +01:00
hrkrshnn 7683442ce2 Semantic test for high level call to precompiles. 
Because of the extcodesize check, the high level call will fail. Even though the low level call can
succeed and return data.
 2021-11-01 14:22:48 +01:00
chriseth 8e208f23cb Fix assignment of return variables from modifiers. 2021-11-01 14:14:50 +01:00
Kamil Śliwak 464ac18a1f Rename negation_bug.yul to negation_bug.sol 2021-10-29 00:19:43 +02:00
Kamil Śliwak 558d9d4556 Merge pull request #12177 from DavidRomanovizc/patch-4 
Include actual contract size in the code size warning
 2021-10-29 00:18:07 +02:00
David Dzhalaev 79ffa16a61 Improve error message for contract size limit error 2021-10-27 20:06:53 +02:00
Kamil Śliwak f4421f1b69 Disable metadata in syntax tests 2021-10-27 20:06:53 +02:00
Kamil Śliwak a039431627 isoltest: Do not try to enforce gas costs when ABIEncoderV1 is used 2021-10-27 18:56:45 +02:00
Kamil Śliwak eb2425bd7c isoltest: Fix gas tests always being enforced regardless of evm version 2021-10-27 18:56:45 +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
Kamil Śliwak 14210825b1 externalTests/README: Recommend using upstream repository directly when possible 2021-10-26 16:04:08 +02:00
Kamil Śliwak b8aed7ca86 Run external tests on latest upstream code where possible 2021-10-26 16:04:08 +02:00
Leo Alt 4f823c6342 CLI and JSON tests 2021-10-26 11:30:30 +02:00
Leo Alt 38b0cf7f9c SMTChecker tests 2021-10-26 11:30:30 +02:00
Leo Alt 2cbd496576 Adjust ModelCheckerSettings in tools tests 2021-10-26 11:30:30 +02:00
Leo Alt 37215ffcfd Add SMTCheckerTest isoltest option to ignore invariants 2021-10-26 11:30:30 +02:00
Kamil Śliwak 2162039c50 Merge pull request #12142 from ethereum/bash-assert-and-stack-traces 
Assert and stack traces for Bash scripts
 2021-10-26 10:44:39 +02:00
chriseth e6e30f82ca Merge pull request #12139 from ethereum/nonamedlabelsifnotunique 
Do not use named function labels if function names are not unique.
 2021-10-25 17:50:29 +02:00
Kamil Śliwak 72b88dabca Merge pull request #11909 from Midhun07/develop 
Template code for disallowing options in input modes that do not support them (handles `--error-recovery`)
 2021-10-20 18:18:43 +02:00
soroosh-sdi 816d8021e4 Remove linking to unqualified library name 
- SemanticTests accepts fully qualified library name and also unqualifed library name when
the library is defined in the same file for convenience.
- commandline tests are added!

Signed-off-by: soroosh-sdi <soroosh.sardari@gmail.com>
 2021-10-20 18:11:58 +03:30
chriseth 9f48b7419c Do not use named function labels if function names are not unique. 2021-10-19 18:33:00 +02:00
Midhun07 b28e5c881e Disallowed --error-recovery in Standard json, Assembly and Linker input modes 2021-10-15 18:57:16 +02:00
Kamil Śliwak 0280c8d00e Use fail and assertFail where appropriate in command-line tests 2021-10-14 18:56:08 +02:00
chriseth 2c2269d300 Tests 2021-10-14 17:46:07 +02:00