cerc-io/solidity
15
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,146 Commits 348 Branches 121 Tags 100 MiB
cb13f8f1bf
Commit Graph

14146 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth
cb13f8f1bf
Merge pull request #7104 from ethereum/docs-capped 
[DOCS] Reduce line breaks in code comments to help with scrolling
 2019-07-15 16:59:38 +02:00
Chris Chinchilla
9b22336ce1
Reduce line breaks in code comments to help with scrolling 2019-07-15 14:33:50 +02:00
chriseth
579bdaddb9
Merge pull request #7088 from ethereum/diffLegYul 
Document differences between legacy Solidity and Solidity via Yul.
 2019-07-11 17:59:01 +02:00
chriseth
76d7ea888b Document differences between legacy Solidity and Solidity via Yul. 2019-07-11 17:48:06 +02:00
chriseth
88477bdb8f
Merge pull request #7071 from ethereum/checkAsmDataObject 
Check availability of data objects already in analysis phase.
 2019-07-11 11:20:07 +02:00
chriseth
5610d1ab61
Merge pull request #7074 from iamchrissmith/constructor-multiple-inheritance 
Add example of constructor inheritance and order
 2019-07-10 18:51:02 +02:00
chriseth
869d69d293 Supply full object to stack compressor and Optimizer Suite. 2019-07-10 18:49:42 +02:00
chriseth
2a5280faa0 Check availability of data objects already in analysis phase. 2019-07-10 18:49:42 +02:00
chriseth
f3bdc79187
Merge pull request #7075 from ethereum/sol-yul-getter 
[Sol->Yul] Implement keccak & getter functions
 2019-07-10 14:11:27 +02:00
Mathias Baumann
d264e3e0ba [Sol->Yul] Implement getter functions 2019-07-10 13:42:39 +02:00
Leonardo
ba922e7638
Merge pull request #7076 from ethereum/fixBuildFailureInABIv2ProtoConverter 
Adjust call to suffixedVariableNameList post refactoring in ABIv2 pro…
 2019-07-10 09:37:19 +02:00
Mathias Baumann
37f04976a2 [Sol->Yul] Implement keccak256 2019-07-09 18:25:07 +02:00
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
Chris Smith
d7fe96f81f Add example of constructor inheritance and order 
Add an example of how contract inheritance impacts constructor calling
 2019-07-09 11:37:37 -04: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