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
16,844 Commits 348 Branches 121 Tags
17e2040997fc7570ed681f65369bf411518dd6c4
Commit Graph
16844 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth 17e2040997 Merge pull request #9088 from ethereum/fixReturnDOc 
Fix documentation about return values.
 2020-06-02 18:11:03 +02:00
chriseth 6f75476f52 Fix documentation about return values. 2020-06-02 18:09:50 +02:00
chriseth c07254f5ac Merge pull request #9055 from ethereum/issue-8881 
Output error when forward referencing constants in inline assembly
 2020-06-02 17:10:56 +02:00
chriseth 837e29fff8 Merge pull request #9084 from ethereum/remove-dead-code-from-execution-framework 
Remove dead code from SolidityExecutionFramework::compileContract()
 2020-06-02 17:00:27 +02:00
chriseth 0e11d468cc Merge pull request #9064 from ethereum/FixedPointType-solAssert 
Added an assert for FixedPointType in InlineAssembly
 2020-06-02 16:57:46 +02:00
chriseth e9212149f5 Merge pull request #9098 from ethereum/conversionWarningsYulInterpreter 
Adding fixes for signedness warnings in test/tools/yulInterpreter
 2020-06-02 16:55:40 +02:00
chriseth 9c92562e28 Merge pull request #9059 from ssi91/refactor-interactive-tests 
Refactor interactive tests
 2020-06-02 16:50:31 +02:00
Djordje Mijovic 1ee6c49028 Adding fixes for signedness warnings in test/tools/yulInterpreter 2020-06-02 16:35:41 +02:00
ssi91 79407c87fb remove extra definition of printIndented 
add CommonBaseTestCase class and inherit some of TestCase classes from it. Since that, remove print source extra definitions

create the base defifnition for printUpdatedExpectations and remove extra definitions of the method

make CommonBaseTestCase c-tor explicit

include AnsiColorized.h and sort includes

implement a common result checker

move the common implementations into TastCase
 2020-06-02 21:15:00 +07:00
Leonardo 97cb091ada Merge pull request #9068 from ethereum/smt_fix_state_var_init_call 
[SMTChecker] Relax assertion about callstack
 2020-06-02 15:53:14 +02:00
Alex Beregszaszi a3b64fd19d Merge pull request #9083 from ethereum/tohex 
Add shortcut to to/fromHex for empty input and fix signedness warning
 2020-06-02 13:40:16 +01:00
Mathias Baumann bdc2c63327 Output error when forward referencing constants in inline assembly 2020-06-02 14:37:54 +02:00
Leonardo 22f7a9f089 Merge pull request #9070 from ethereum/smt_push 
[SMTChecker] Fix ICE on push for member access
 2020-06-02 12:57:48 +02:00
Leonardo Alt ede39fc2da [SMTChecker] Relax assertion about callstack 2020-06-02 12:50:51 +02:00
Harikrishnan Mulackal 0bc9f772e7 Added an assert for FixedPointType in InlineAssembly 2020-06-02 13:31:10 +05:30
Alex Beregszaszi 2d7edeea3f Add shortcut to to/fromHex for empty input and fix signedness warning 2020-06-02 08:24:04 +01:00
Kamil Śliwak 9bb9b6345c SolidityExecutionFramework: Fix indentation 
- This code can never be reached because CompilerStack.compile() called above does the same analysis and fails if it's not successful.
 2020-06-01 18:25:02 +02:00
Kamil Śliwak df7b82bf31 SolidityExecutionFramework: Remove dead code for handling errors from parsing and analysis 
- This code can never be reached because CompilerStack.compile() called above does the same analysis and fails if it's not successful.
 2020-06-01 18:24:31 +02:00
Kamil Śliwak 311f025eb5 SolidityExecutionFramework: Fix compileContract() to print Yul errors from the correct source 2020-06-01 18:17:50 +02:00
Alex Beregszaszi 0a71e41501 Merge pull request #9072 from FlashSheridan/patch-5 
Fix grammar and remove redundant words
 2020-05-29 23:04:12 +01:00
Alex Beregszaszi 513c9024e8 Merge pull request #9071 from FlashSheridan/patch-4 
Spell-check
 2020-05-29 23:03:23 +01:00
Flash Sheridan 36b54561a5 Fix grammar and remove redundant words 2020-05-29 17:09:15 -04:00
Flash Sheridan 7ce760388f Spell-check 2020-05-29 16:50:05 -04:00
Leonardo Alt 2128ff9f13 Fix ICE on push for member access 2020-05-29 19:13:27 +02:00
Alex Beregszaszi b01a1a36b1 Merge pull request #9060 from ethereum/wasm-flags-in-binary-transform 
Constants for flags in wasm::BinaryTransform (refactor)
 2020-05-29 11:39:08 +01:00
Kamil Śliwak c96196c346 Define constants to make flag meanings more apparent in binary wasm 2020-05-28 22:17:02 +02:00
chriseth 0b216f5771 Merge pull request #9050 from ethereum/smt_fix_nonvalue_asgn 
[SMTChecker] Fix ICE on index access assignment inside single branches
 2020-05-28 16:25:46 +02:00
chriseth 65d8b6cf75 Merge pull request #9033 from a3d4/partfix-5819-add-errorid-to-error-class 
Add unique ID to Error class
 2020-05-28 16:24:47 +02:00
Leonardo 1051cea91c Merge pull request #9052 from ethereum/smt_add_test_delete_m_d_array 
[SMTChecker] Add test that deletes arrays
 2020-05-28 16:14:55 +02:00
Leonardo Alt 9b0146be42 Add test 2020-05-28 15:56:47 +02:00
Leonardo Alt b90fb1cab6 [SMTChecker] Fix ICE on index access assignment inside single branches 2020-05-28 15:56:46 +02:00
chriseth 79f4a2b476 Merge pull request #9051 from ethereum/smt_fix_callstack 
[SMTChecker] Fix ICE in inlining function calls while short circuiting
 2020-05-28 15:48:50 +02:00
a3d4 c959341720 Add errorId to Error class 2020-05-28 15:00:33 +02:00
chriseth bf4ef7483c Merge pull request #8927 from ethereum/solc-base-path 
Adds ``--base-path` to solc when compiling in `--standard-json` mode for resolving relative paths.
 2020-05-28 14:10:01 +02:00
Leonardo Alt ec766958ea Add test 2020-05-28 13:14:21 +02:00
Leonardo Alt a73ec6a82f [SMTChecker] Fix ICE in inlining function calls while short circuiting 2020-05-28 13:14:19 +02:00
Leonardo 097954bc80 Merge pull request #9049 from ethereum/smt_fix_fp 
[SMTChecker] Fix fixed point inc/dec
 2020-05-28 13:13:23 +02:00
Leonardo Alt 13f32268da [SMTChecker] Add test that shows that deleting arrays takes the index into account 2020-05-28 13:08:16 +02:00
chriseth f608e50bad Merge pull request #9029 from ethereum/fewerInternalSourceRefs 
Do not set source locations for small internal assembly routines.
 2020-05-28 11:14:20 +02:00
Leonardo Alt cb1cbbc1f1 [SMTChecker] Fix fixed point inc/dec 2020-05-28 10:56:06 +02:00
chriseth ee8307ceed Merge pull request #9044 from ethereum/issue-9028 
Fix failure to find overload resolution when overrides are involved
 2020-05-28 10:33:01 +02:00
a3d4 be83c54d79 Throw TestParserError instead of Error in tests 2020-05-28 02:26:17 +02:00
a3d4 011f8a462d Remove AsmAnalyzer class-specific error reporting functions 2020-05-28 02:02:53 +02:00
chriseth 5f8299b379 Merge pull request #8926 from ethereum/smt_bitwise_and 
[SMTChecker] Support to BitVector and bitwise `and`
 2020-05-27 23:28:42 +02:00
Leonardo Alt 9e9f0c52e1 [SMTChecker] Support to bitwise 2020-05-27 20:59:00 +02:00
Mathias Baumann a846c18e67 Fix failure to find overload resolution when overrides are involved 2020-05-27 18:31:56 +02:00
chriseth 9f407fe0e7 Merge pull request #9031 from ethereum/extend-check-srcipt 
Add check for 0000_error to script
 2020-05-27 18:29:26 +02:00
chriseth eb923af09c Do not set source locations for small internal assembly routines. 2020-05-27 18:26:46 +02:00
Mathias Baumann 7548441b4f Check for wrong error codes in the CI 2020-05-27 18:02:58 +02:00
Christian Parpart 09485058d8 Adds `--base-path to solc when compiling in --standard-json mode for resolving relative paths. 2020-05-27 16:23:03 +02:00