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
14,133 Commits 348 Branches 121 Tags
3b33ff145495e8e878b06f4b9d3414e0febced69
Commit Graph
14133 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Bhargava Shastry 3b33ff1454 Adjust call to suffixedVariableNameList post refactoring in ABIv2 proto fuzzer and slim down dependencies. 2019-07-09 18:18:40 +02:00
chriseth 15eb8fec50 Merge pull request #7015 from ethereum/sol-yul-arrays 
[Sol->Yul] Implement uint256[] memory arrays
 2019-07-09 17:34:46 +02:00
Mathias Baumann 0f24fcea17 [Sol->Yul] Implement uint256[] memory arrays 2019-07-09 15:36:02 +02:00
chriseth 859dbaa2a3 Merge pull request #7053 from djudjuu/moveSuffixHelper 
move SuffixHelper to StringUtils
 2019-07-09 14:32:05 +02:00
djudjuu cafa01cbf6 moved SuffixHelper to StringUtils 2019-07-09 13:50:07 +02:00
chriseth 479b843067 Merge pull request #7048 from ethereum/soltest-refactoring 
[isoltest] Types and formatting refactoring
 2019-07-09 12:50:15 +02:00
chriseth 45cedc09fe Merge pull request #6880 from ethereum/abiv2proto 
Abiv2proto
 2019-07-09 12:20:34 +02:00
chriseth 8d006d2017 Merge pull request #7068 from ethereum/asmConstNoValue 
Cope with constants without value in inline assembly.
 2019-07-09 12:13:56 +02:00
chriseth 9cb9021c36 Cope with constants without value in inline assembly. 2019-07-09 11:12:13 +02:00
Bhargava Shastry 5bc1a68b40 ABIv2 proto fuzzer implementation for a limited set of value and non-value types (arrays included). 2019-07-09 10:50:43 +02:00
chriseth 04bad01ab1 Merge pull request #7063 from ethereum/EndToEndTest-extractions-2 
Extracting more end-to-end tests.
 2019-07-08 16:15:22 +02:00
Christian Parpart a9a56bc6dd Extracting more end-to-end tests. 2019-07-08 16:04:52 +02:00
Leonardo 75eb67c3e0 Merge pull request #7050 from ethereum/smt_set_solver 
[SMTChecker] EncodingContext's solver needs to be set dynamically
 2019-07-08 15:19:55 +02:00
chriseth 2bb06561ce Merge pull request #7057 from ethereum/smt_inlining_flag 
[SMTChecker] New VariableUsage flag to inline functions
 2019-07-08 15:09:10 +02:00
Leonardo Alt 96b0c4c148 [SMTChecker] New VariableUsage flag to inline functions 2019-07-08 14:40:33 +02:00
Leonardo Alt 01570bbc8c EncodingContext's solver needs to be set dynamically 2019-07-08 14:40:15 +02:00
chriseth 035fde2932 Merge pull request #7061 from ethereum/fixCommandline 
Fix commandline tests.
 2019-07-08 14:38:22 +02:00
chriseth 2700cb0b43 Fix commandline tests. 2019-07-08 14:28:54 +02:00
chriseth 18072586c9 Remove trailing whitespace in error message. 2019-07-08 14:28:38 +02:00
chriseth 25928767b7 Merge pull request #7058 from ethereum/smt_reset_context 
[SMTChecker] Clear encoding context before engine starts
 2019-07-08 12:36:50 +02:00
chriseth bd5d11d82d Merge pull request #7056 from ethereum/yul-reindenter-with-SP 
yul::reindent() to reindent with spaces instead of tabs (width: 4)
 2019-07-08 12:36:26 +02:00
chriseth aac226f7c1 Merge pull request #7041 from ethereum/smt_function_sort 
[SMTChecker] Allow symbolic functions to be created via Sort
 2019-07-08 12:33:38 +02:00
chriseth 7267873a96 Merge pull request #7038 from ethereum/addSecondaryLocationToStandardIO 
Provide secondary source location for error messages in standard json.
 2019-07-08 12:00:09 +02:00
Leonardo Alt be663680d4 [SMTChecker] Clear encoding context before engine starts 2019-07-08 11:56:04 +02:00
Christian Parpart 7ba9537ae1 yul::reindent() to reindent with spaces instead of tabs (width: 4) 2019-07-08 11:43:11 +02:00
Erik Kundt d06be2c53f Restructures alignment and bytes utils in isoltest. 2019-07-04 19:15:43 +02:00
chriseth 019ec63f63 Merge pull request #7036 from ethereum/unescapeNewlines 
Unescape newlines in json test expectations.
 2019-07-04 18:15:51 +02:00
chriseth b9f9f5ce75 Merge pull request #7047 from ethereum/release-checklist-npm 
Add pushing git tags to the release checklist
 2019-07-04 14:59:52 +02:00
Erik Kundt de34f7712d Separates types and conversion functions in soltest. 2019-07-04 14:11:07 +02:00
Alex Beregszaszi a9f54ec731 Add pushing git tags to the release checklist 2019-07-04 11:24:56 +01:00
chriseth 2e01816c6b Merge pull request #7042 from ethereum/make-whiskers-fail-early 
Make Whiskers fail early when called with int
 2019-07-04 12:19:54 +02:00
Leonardo Alt 4aebdcc442 [SMTChecker] Allow FunctionSort to be created via sort and not type 2019-07-04 12:00:24 +02:00
chriseth d3e542d32c Provide secondary source location for error messages in standard json. 2019-07-04 10:54:01 +02:00
Mathias L. Baumann 3b2ebba472 Merge pull request #7040 from ethereum/smt_context_vars 
[SMTChecker] SymbolicVariables use EncodingContext to declare SMT vars
 2019-07-04 09:46:28 +02:00
Mathias Baumann 08b9da0df5 Make Whiskers fail early when called with int 2019-07-04 09:31:24 +02:00
Mathias Baumann 3e51d14c6d Fix missing int -> string conversion 2019-07-04 09:31:24 +02:00
chriseth 7e329769a0 Unescape newlines for test expectations. 2019-07-04 08:44:35 +02:00
Leonardo Alt 934e00d235 [SMTChecker] SymbolicVariables use EncodingContext to declare SMT vars 2019-07-03 16:05:56 +02:00
chriseth b837705259 Merge pull request #7018 from ethereum/compile_only_requested 
Compile only requested sources and contracts
 2019-07-03 14:11:42 +02:00
chriseth 9514561e4a Merge pull request #7037 from ethereum/viewPureBase 
Fix view/pure checker for access to base.
 2019-07-03 14:05:49 +02:00
Leonardo Alt b8d4400588 Make it work on Mac OS 2019-07-03 11:26:28 +02:00
chriseth 2b91022b25 Fix view/pure checker for access to base. 2019-07-03 11:19:57 +02:00
chriseth c3c8bc09d7 Merge pull request #7034 from ethereum/automatedABIJsonTests 
Automated ABI Json tests.
 2019-07-03 10:21:25 +02:00
Leonardo Alt 358368cd0c Tests for output selection 2019-07-03 09:58:55 +02:00
chriseth a4ef435c07 Automated ABI Json tests. 2019-07-02 18:11:49 +02:00
chriseth 776fec1913 Make json output a bit prettier. 2019-07-02 18:07:05 +02:00
chriseth 60525dbf52 Merge pull request #7026 from ethereum/asmConstants 
Support direct constants in inline assembly.
 2019-07-02 14:21:24 +02:00
chriseth 817852c650 Merge pull request #7030 from ethereum/smt_move_solver 
[SMTChecker] Move solver from SMTEncoder to BMC
 2019-07-02 14:08:55 +02:00
chriseth e542e46163 Merge pull request #7022 from ethereum/smt_create_expr 
[SMTChecker] Always create symbolic expression
 2019-07-02 14:07:24 +02:00
chriseth fb3eb54203 Merge pull request #7032 from ethereum/pull-11 
Failed-checksum addresses are an error
 2019-07-02 14:03:57 +02:00