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
12,994 Commits 348 Branches 121 Tags
12f34c822983f57e227fae651526f1c02d2e2ac0
Commit Graph
1870 Commits
Author SHA1 Message Date
Alex Beregszaszi 12f34c8229 Add onlyMetadata helper in test/Metadata 2019-03-09 12:34:26 +01:00
chriseth 5c4a3aa270 Merge pull request #6213 from ethereum/iszeroJump 
Peephole optimizer for "iszero iszero <tag> jumpi".
 2019-03-07 18:16:29 +01:00
chriseth 0eb799424d Merge pull request #6183 from ethereum/soltest-alignment 
[soltest] Introduce explicit alignment
 2019-03-07 17:43:59 +01:00
chriseth e0d1b2f5b3 Peephole optimizer for "iszero iszero <tag> jumpi". 2019-03-07 15:52:02 +01:00
Leonardo Alt 02d0e609b9 [SMTChecker] Support enums 2019-03-07 15:15:12 +01:00
chriseth 8d9be8bb6d Merge pull request #6211 from ethereum/fixFormatting 
Fix formatting and compilation error.
 2019-03-06 22:55:02 +01:00
chriseth aa062221bb Tabs, not spaces! 2019-03-06 21:32:10 +01:00
chriseth 0f7b1b31a1 Merge pull request #5996 from ethereum/calldataArrays 
Allow calldata arrays with dynamically encoded base type.
 2019-03-06 19:55:57 +01:00
Erik Kundt a40fbf0fc4 Right-aligns hex numbers and introduces alignment built-ins. 2019-03-06 18:24:13 +01:00
chriseth 3ccf73b3eb Merge pull request #6204 from ethereum/soltest-signature-arrays 
[soltest] Add support for arrays in function signatures
 2019-03-06 18:12:39 +01:00
Daniel Kirchner e3148b5c45 Tests for arrays with dynamically encoded base types. 2019-03-06 18:04:24 +01:00
Daniel Kirchner f7c6eda2c3 Allow calldata arrays with dynamically encoded base type. 2019-03-06 18:04:12 +01:00
chriseth cdf29277f7 Merge pull request #6055 from ethereum/smt_arrays 
[SMTChecker] Add support to arrays
 2019-03-06 18:00:23 +01:00
Erik Kundt ab31c28ed9 Adds support for arrays in function signatures. 2019-03-06 16:47:00 +01:00
Leonardo Alt 29b2ab6f66 Handle aliasing 2019-03-06 11:29:54 +01:00
Leonardo Alt cb6c2b33f8 Add tests 2019-03-06 11:29:26 +01:00
Leonardo Alt e74f58130e Add SMT type support to Solidity arrays 2019-03-06 11:29:26 +01:00
Mathias Baumann 9919670ddd Check base contracts for abi encoder compatibility 2019-03-06 11:16:54 +01:00
chriseth 6c9961e040 Merge pull request #5941 from ethereum/metadata-compilerstack 
Metadata should not require compilation
 2019-03-04 18:53:07 +01:00
Alex Beregszaszi fcbb8ec51c Allow returning metadata in StandardCompiler without compilation 2019-03-04 16:19:55 +01:00
chriseth 9a949c1bda Set default EVM version to Petersburg. 2019-03-04 14:53:00 +01:00
Alex Beregszaszi ecd246aeb6 Support petersburg in evmVersion 2019-03-04 14:10:41 +01:00
chriseth 2e0ea16a0f Merge pull request #5959 from ethereum/optimiser2 
Introduce global optimiser settings.
 2019-03-04 12:54:59 +01:00
chriseth 5490a5cd37 Merge pull request #6115 from ethereum/fixUnavailableOpcodes 
Make unavailable opcodes errors.
 2019-03-04 12:26:22 +01:00
chriseth 43850d55f3 Update tests. 2019-03-04 11:44:54 +01:00
chriseth 851dd635eb Remove defaults in constructor arguments. 2019-03-04 11:41:52 +01:00
chriseth 4d10f4b4cf Process and validate standard-json optimizer settings. 2019-03-04 11:40:28 +01:00
Alex Beregszaszi cf5c13f9c7 Introduce global optimiser settings. 2019-03-04 11:40:28 +01:00
chriseth 8f5e12c192 Make unavailable opcodes errors. 2019-02-28 22:20:01 +01:00
Alex Beregszaszi c3ab43dca7 Remove blockhash workaround in tests 
This is now obsolete as final constantinople doesn't contain the blockhash EIP.

Revert 3e55aa3fa2.
 2019-02-28 21:17:58 +00:00
chriseth ab33ff1408 Merge pull request #6132 from ethereum/ossfuzz-nullref-typechecker 
TypeChecker: Check if type exists before dereferencing it
 2019-02-28 16:38:54 +01:00
Mathias Baumann 50b4193705 TypeChecker: Check if type exists before dereferencing it 2019-02-28 15:49:15 +01:00
chriseth 6aab3b1369 Merge pull request #6139 from ethereum/compilerstack-restrict 
Restrict the state when settings can be altered in CompilerStack
 2019-02-28 14:52:52 +01:00
Alex Beregszaszi b04b86a938 Restrict the state when settings can be altered in CompilerStack 2019-02-28 12:55:36 +00:00
Mathias Baumann f782125463 Fix SMT Checker crash due to missing type information 2019-02-28 11:55:45 +01:00
Erik Kundt e13bb994fb Fix ambiguous type on Windows. 2019-02-27 10:40:58 +01:00
chriseth ebec54aacb Merge pull request #6093 from ethereum/mapping-string-keys 
Allow dynamic types in public mappings
 2019-02-26 17:05:18 +01:00
chriseth 4e74c508ce Merge pull request #6089 from ethereum/extcodehash 
Consider extcodehash as part of Constantinople
 2019-02-26 17:04:01 +01:00
Mathias Baumann e4a52aa2f6 Allow dynamic types in public mappings 2019-02-26 15:48:54 +01:00
Alex Beregszaszi d2f493268b Provide access to the name of contracts. 2019-02-26 14:07:03 +00:00
Alex Beregszaszi cb7b053a4a Consider extcodehash as part of Constantinople 2019-02-26 12:40:31 +00:00
Erik Kundt 3076d80480 Adds syntax test that covers arrays of contracts. 2019-02-25 23:05:33 +00:00
Erik Kundt 2d0daae796 Disallows index access on contracts and libraries. 2019-02-25 23:05:33 +00:00
Alex Beregszaszi a498062816 Fix gas test after using shifts in constant optimiser 2019-02-25 19:44:47 +00:00
chriseth 7a2645f7d2 Merge pull request #6079 from ethereum/shift-tests 
Add more test cases for shifts with constants
 2019-02-25 16:28:06 +01:00
Alex Beregszaszi 7d52884247 Add more test cases for shifts with constants 2019-02-25 14:44:30 +00:00
Leonardo Alt 2405b2151a EVMVersion in langutil namespace instead of solidity 2019-02-25 15:29:57 +01:00
Erik Kundt f683ceb3f8 Adds support for boolean literals in soltest. 2019-02-21 23:28:48 +01:00
chriseth 773a3ff880 Merge pull request #6036 from ethereum/soltest-hexliterals 
[soltest] Add support for left-aligned hex literals
 2019-02-21 19:11:27 +01:00
chriseth 13667d42ec Merge pull request #6067 from ethereum/asm-parser-fatal 
Do not ignore fatal error in AsmParser for inline assembly
 2019-02-21 18:12:13 +01:00