chriseth
|
aa071af476
|
Merge pull request #8707 from ethereum/optimizeIdempotencies
Rules for optimizing idempotency for bitwise operations.
|
2020-04-23 14:42:32 +02:00 |
|
chriseth
|
d136e7dc95
|
Rules for optimizing idempotency for bitwise operations.
|
2020-04-23 14:21:00 +02:00 |
|
chriseth
|
ed2a42610b
|
Merge pull request #8730 from ethereum/reduceMultipleConsecutiveLines
Yul formatting: Reduce multiple consecutive empty lines to a single one.
|
2020-04-23 14:11:09 +02:00 |
|
chriseth
|
d25b16ed55
|
Merge pull request #8737 from ethereum/yulProtoDisallowEmpty
Disallow statements containing empty blocks e.g., empty if, for etc.
|
2020-04-23 14:10:36 +02:00 |
|
chriseth
|
0f4fe64315
|
Merge pull request #8659 from ethereum/empty-modifier
Allow modifier declaration without implementation
|
2020-04-23 14:09:03 +02:00 |
|
hrkrshnn
|
48ff9fd4d6
|
Tests, Changelog and updated grammar
|
2020-04-23 17:27:37 +05:30 |
|
hrkrshnn
|
e2e32d372f
|
virtual modifiers (in Abstract contracts) allow empty bodies
|
2020-04-23 17:26:59 +05:30 |
|
chriseth
|
0c5aa36e46
|
Merge pull request #8516 from imapp-pl/yul-phaser-crossover-operators
[yul-phaser] Crossover operators
|
2020-04-23 13:50:39 +02:00 |
|
chriseth
|
f82f167290
|
Yul formatting: Reduce multiple consecutive empty lines to a single one.
|
2020-04-23 13:49:12 +02:00 |
|
chriseth
|
c7b4fa34bd
|
Merge pull request #8759 from ethereum/movePrintIndentedUp
Move helper up and avoid trailing spaces.
|
2020-04-23 13:44:53 +02:00 |
|
chriseth
|
35eae96a7f
|
Move helper up and avoid trailing spaces.
|
2020-04-23 13:16:26 +02:00 |
|
chriseth
|
16ed53ddd0
|
Merge pull request #8591 from mijovic/sol2YulConstructorParams
[Sol2Yul] Adding support for constructors with parameters (inheritance)
|
2020-04-23 12:56:54 +02:00 |
|
chriseth
|
edef6a0edd
|
Merge pull request #8757 from ethereum/removeMove
Remove unnecessary move.
|
2020-04-23 12:28:33 +02:00 |
|
chriseth
|
a371910674
|
Merge pull request #8642 from ethereum/interfaceid
Add support for interfaceId.
|
2020-04-23 12:24:49 +02:00 |
|
chriseth
|
5a160be128
|
Merge pull request #8754 from ethereum/smt_improve_array_performance
Use Spacer option to improve performance of constant arrays
|
2020-04-23 12:19:04 +02:00 |
|
chriseth
|
393f922081
|
Merge pull request #8747 from ethereum/smt_chc_docs_internal_calls
Add internal function calls to CHC docs
|
2020-04-23 12:14:54 +02:00 |
|
chriseth
|
b864fe1c43
|
Remove unnecessary move.
|
2020-04-23 12:13:26 +02:00 |
|
chriseth
|
2ea2267179
|
Merge pull request #8735 from ethereum/bugs-url
Add missing blog URLs to bugs.json
|
2020-04-23 12:06:41 +02:00 |
|
chriseth
|
18ee96ac91
|
Merge pull request #8752 from a3d4/fix-8711-typechecker-compiler-error
Type Checker: Fix internal error when assigning to empty tuples
|
2020-04-23 12:01:00 +02:00 |
|
Leonardo Alt
|
92059fa848
|
Use Spacer option to improve performance of constant arrays
|
2020-04-23 10:45:02 +02:00 |
|
Bhargava Shastry
|
f78414b333
|
Disallow statements containing empty blocks e.g., empty if, for, function definition
|
2020-04-23 10:07:36 +02:00 |
|
Leonardo
|
aaa434dad9
|
Merge pull request #8750 from ethereum/chriseth-patch-1
Explain nonpayable
|
2020-04-23 09:33:56 +02:00 |
|
a3d4
|
c4bc77874b
|
Disallow empty tuples on the left hand side
|
2020-04-23 07:02:04 +02:00 |
|
a3d4
|
9538024c81
|
Fix #8711, #8277
|
2020-04-23 05:57:35 +02:00 |
|
chriseth
|
615668bfb4
|
Explain nonpayable
Fixes https://github.com/ethereum/solidity/issues/8736
|
2020-04-23 01:35:21 +02:00 |
|
Alex Beregszaszi
|
145176f18c
|
Merge pull request #8742 from ethereum/smt_fix_slices
Fix internal error when using array slices
|
2020-04-23 00:00:50 +01:00 |
|
Leonardo Alt
|
cfe3686116
|
Fix internal error when using array slices
|
2020-04-22 23:20:10 +02:00 |
|
Leonardo
|
6d98b907ef
|
Merge pull request #8746 from ethereum/smt_fix_fixed_point
Fix ICE with fixed point
|
2020-04-22 23:18:41 +02:00 |
|
Alex Beregszaszi
|
a9ae780fa2
|
Merge pull request #8748 from ethereum/smt_fix_undefined
[SMTChecker] Fix undefined behavior with nullptr
|
2020-04-22 22:14:05 +01:00 |
|
Leonardo Alt
|
b191139f2a
|
Fix undefined behavior with nullptr
|
2020-04-22 20:49:40 +02:00 |
|
Leonardo Alt
|
1cb68b1be7
|
Add internal function calls to CHC docs
|
2020-04-22 20:15:01 +02:00 |
|
Leonardo Alt
|
83c9e82099
|
Fix ICE with fixed point
|
2020-04-22 19:57:00 +02:00 |
|
Djordje Mijovic
|
5329da93fb
|
[Sol2Yul] Adding support for constructors with parameters in case of inheritance
|
2020-04-22 14:47:08 +02:00 |
|
chriseth
|
14fc9e740c
|
Merge pull request #8685 from ethereum/yulForTypeType
Yul codegen for member access to type type
|
2020-04-22 14:27:19 +02:00 |
|
Alex Beregszaszi
|
fe383fbd7a
|
Add missing blog URLs to bugs.json
|
2020-04-22 12:03:10 +01:00 |
|
chriseth
|
4908101ad7
|
Yul IR generation for member access to type types.
|
2020-04-22 11:25:27 +02:00 |
|
chriseth
|
d0fcd468f6
|
Merge pull request #8709 from ethereum/repeated_and_or_rules
Add optimizer rules for repeated `and` and `or`
|
2020-04-22 11:21:40 +02:00 |
|
Leonardo Alt
|
2daa52f18c
|
Fix CI pip version
|
2020-04-22 10:20:59 +02:00 |
|
Leonardo Alt
|
606153ba71
|
Add optimizer rules for repeated and
|
2020-04-22 10:20:59 +02:00 |
|
chriseth
|
8c60b2c847
|
Merge pull request #8714 from iamdefinitelyahuman/develop
Add dark mode to documentation
|
2020-04-20 21:36:17 +02:00 |
|
iamdefinitelyahuman
|
d59706e5f5
|
docs: fix formatting errors and style inconsistencies
|
2020-04-20 20:24:31 +04:00 |
|
iamdefinitelyahuman
|
c59854c4bb
|
docs: add dark mode to documentation
|
2020-04-20 20:23:45 +04:00 |
|
chriseth
|
6900544f0d
|
Merge pull request #8651 from a3d4/modify-evmone-version
Update evmone version to v0.4 in docs and scripts
|
2020-04-20 16:49:10 +02:00 |
|
chriseth
|
1d8e742296
|
Merge pull request #8684 from ethereum/yulForSelector
Yul codegen for `.selector`.
|
2020-04-20 16:32:11 +02:00 |
|
chriseth
|
41ef13129b
|
Merge pull request #8678 from ethereum/smt_remove_redundant_constraints
[SMTChecker] Remove redundant CHC constraints
|
2020-04-20 15:44:59 +02:00 |
|
Kamil Śliwak
|
c2effd4e98
|
[yul-phaser] Mutations: Minor style tweak, missing space in the ternary operator
|
2020-04-20 15:30:10 +02:00 |
|
Kamil Śliwak
|
d9e2735361
|
[yul-phaser] Add options for selecting crossover operator used by the algorithms
|
2020-04-20 15:30:10 +02:00 |
|
Kamil Śliwak
|
ad89b477c8
|
[yul-phaser] GeneticAlgorithms: Add methods for selecting a crossover operator
|
2020-04-20 15:30:10 +02:00 |
|
Kamil Śliwak
|
1ada2a52fb
|
[yul-phaser] Mutations: Add two-point and uniform crossover operators
|
2020-04-20 15:30:10 +02:00 |
|
chriseth
|
55483445e9
|
Merge pull request #8663 from ethereum/ir-function-generation-queue
[Sol->Yul] IR function generation queue (refactor)
|
2020-04-20 15:17:53 +02:00 |
|