chriseth
|
76275cf34a
|
Merge pull request #8824 from ethereum/solYulDirtyMemory
Fix accessing memory reference types in yul codegen and clean up on memory reads.
|
2020-05-06 16:17:19 +02:00 |
|
Daniel Kirchner
|
234ffcf278
|
Merge pull request #8718 from ethereum/irConstants
IR generation for constants.
|
2020-05-06 16:05:17 +02:00 |
|
a3d4
|
8f68c04358
|
Add unique IDs to error reporting calls
|
2020-05-06 13:53:46 +02:00 |
|
a3d4
|
e3641b88ec
|
Groundwork. Prepare for automatic tagging
[Not compilable until the next commit]
|
2020-05-06 13:52:28 +02:00 |
|
Daniel Kirchner
|
c25a3eba14
|
Fix accessing memory reference types in yul codegen and clean up on memory reads.
|
2020-05-06 11:34:11 +02:00 |
|
chriseth
|
02c20698c9
|
IR generation for constants.
|
2020-05-05 17:07:55 +02:00 |
|
Daniel Kirchner
|
4d739b16a4
|
Cleanup function for internal function pointers.
|
2020-05-05 13:07:10 +02:00 |
|
Daniel Kirchner
|
7ad319687d
|
Sol->Yul: Add cleanup to operations.
|
2020-05-05 13:06:01 +02:00 |
|
Djordje Mijovic
|
e8f6f63e77
|
[Sol2Yul] Adding support for builtin revert(string)
|
2020-05-05 07:05:39 +02:00 |
|
Djordje Mijovic
|
cf607aa887
|
[Sol->Yul] Checking if there is base contract when calling base constructror via modifier invocation.
|
2020-05-04 20:38:22 +02:00 |
|
chriseth
|
1aef9c7d20
|
Merge pull request #8777 from ethereum/sol_yul_simplefunctions
[Sol - Yul] Add some built-in functions.
|
2020-05-04 16:07:10 +02:00 |
|
chriseth
|
51ccb1519f
|
Yul codegen for immutables.
|
2020-05-04 15:00:50 +02:00 |
|
Alexander Arlt
|
a9f4d14010
|
[Sol - Yul] Add support for send(..) & transfer(..)
|
2020-05-01 08:32:51 -05:00 |
|
Alexander Arlt
|
151e637336
|
[Sol - Yul] Add some built-in functions.
- simplifications for GasLeft, Selfdestruct and BlockHash.
- add support for addmod & mulmod.
|
2020-04-30 14:10:09 -05:00 |
|
chriseth
|
602b29cba7
|
Merge pull request #8796 from a3d4/fix-8760-typechecker-compiler-error
[Type Checker] Fix internal error when applying unary operators to tuples with empty components
|
2020-04-29 10:14:15 +02:00 |
|
a3d4
|
3bd15655cb
|
Type Checker: Fix internal error when applying unary operators to tuples with empty components
|
2020-04-29 02:18:48 +02:00 |
|
Jason Cobb
|
8973732b74
|
Compare categories instead of types in ContractCompiler(740)
|
2020-04-28 13:13:45 -04:00 |
|
Djordje Mijovic
|
f3f729549d
|
[Sol->Yul] Enabling creation function call
|
2020-04-27 16:15:57 +02:00 |
|
Alex Beregszaszi
|
99aa821410
|
Merge pull request #8720 from ethereum/irSha256
IR generation for sha256.
|
2020-04-27 13:44:26 +01:00 |
|
Alex Beregszaszi
|
aa0a69b47f
|
IRGenerator: include assertion for FunctionType::Kind::Declaration
|
2020-04-27 12:03:44 +01:00 |
|
chriseth
|
dda883b585
|
IR generation for sha256.
|
2020-04-27 11:10:20 +02:00 |
|
chriseth
|
61b1369fc2
|
Merge pull request #8701 from ethereum/solc-yul-chromosome
solc option for selecting yul optimisations
|
2020-04-27 10:44:14 +02:00 |
|
Alexander Arlt
|
66edaf43f4
|
[Sol - Yul] Add support for built-in logN().
|
2020-04-25 11:10:28 -05:00 |
|
Alexander Arlt
|
2fa26f4e92
|
[Sol - Yul] Add support for built-in selfdestruct(..).
|
2020-04-24 17:03:41 -05:00 |
|
Kamil Śliwak
|
c8b612536f
|
Add yulDetails.optimizerSteps to the standard JSON interface
|
2020-04-24 17:30:56 +02:00 |
|
Kamil Śliwak
|
c41a832f65
|
Move the default optimisation steps from OptimiserSuite to OptimiserSettings
- Now it's a mandatory parameter in OptimiserSuite::run()
|
2020-04-24 17:30:56 +02:00 |
|
Kamil Śliwak
|
d3da878200
|
Enable internal library calls
|
2020-04-24 15:00:51 +02:00 |
|
Kamil Śliwak
|
64bce597a1
|
IRGenerator: Enable code generation for libraries
|
2020-04-24 15:00:17 +02:00 |
|
Kamil Śliwak
|
56a85d6cb3
|
IRGeneratorForStatements: Handle internal calls to functions from specific base contracts as static calls rather than calls via pointers
|
2020-04-24 15:00:16 +02:00 |
|
Kamil Śliwak
|
397ea18b78
|
IRVariable: Fix improperly wrapped docstring
|
2020-04-24 15:00:16 +02:00 |
|
chriseth
|
2b39f3b988
|
Merge pull request #8766 from ethereum/sol_yul_gasleft
[Sol - Yul] Add support for built-in gasleft().
|
2020-04-24 14:24:01 +02:00 |
|
Leonardo Alt
|
059d0bdebb
|
Revert "Use Spacer option to improve performance of constant arrays"
This reverts commit 92059fa848.
|
2020-04-24 11:55:58 +02:00 |
|
Alexander Arlt
|
aafa4583df
|
[Sol - Yul] Add support for built-in gasleft().
|
2020-04-23 17:14:03 -05:00 |
|
Kamil Śliwak
|
e65a5a562e
|
IRGenerationContext::internalDispatch(): Fix code generated when the function called via pointer does not return anything
|
2020-04-23 21:16:41 +02:00 |
|
hrkrshnn
|
e2e32d372f
|
virtual modifiers (in Abstract contracts) allow empty bodies
|
2020-04-23 17:26:59 +05:30 |
|
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
|
b864fe1c43
|
Remove unnecessary move.
|
2020-04-23 12:13:26 +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 |
|
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 |
|
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 |
|
Leonardo Alt
|
b191139f2a
|
Fix undefined behavior with nullptr
|
2020-04-22 20:49:40 +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
|
4908101ad7
|
Yul IR generation for member access to type types.
|
2020-04-22 11:25:27 +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 |
|
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 |
|
chriseth
|
264c4264a1
|
Merge pull request #8644 from ethereum/refactor-lValueRequested
Replaced all instances of lValueRequested to willBeWrittenTo
|
2020-04-20 15:03:50 +02:00 |
|
chriseth
|
c24c4f85e4
|
Merge pull request #8665 from ethereum/recursiveStructRefactoring
Recursive struct refactoring and a bunch of ICE fixes.
|
2020-04-20 13:24:19 +02:00 |
|
hrkrshnn
|
4760b8589d
|
Replaced all instances of lValueRequested to willBeWrittenTo
|
2020-04-20 12:33:30 +05:30 |
|
Kamil Śliwak
|
c7947c1af6
|
Implement lazy function generation using function generation queue
|
2020-04-17 13:28:07 +02:00 |
|
Kamil Śliwak
|
1f28f79ae6
|
IRGenerator::generate(): Remove duplicate call to setMostDerivedContract()
- The same call happens in resetContext(_contract) called immediately before
|
2020-04-17 13:28:07 +02:00 |
|
Leonardo Alt
|
45f22e3ff4
|
Add functional map and fold generic functions
|
2020-04-16 19:21:36 +02:00 |
|
Alexander Arlt
|
3754a86ab2
|
Add support for interfaceID.
|
2020-04-16 12:17:40 -05:00 |
|
Daniel Kirchner
|
150497c12a
|
Stricter bounds for memory arrays.
|
2020-04-16 17:51:18 +02:00 |
|
Daniel Kirchner
|
f6d1cee06b
|
Ensure that public callable parameters are valid for calldata.
|
2020-04-16 17:23:20 +02:00 |
|
Daniel Kirchner
|
6093982606
|
Review suggestions.
|
2020-04-16 16:42:12 +02:00 |
|
Daniel Kirchner
|
6f06154eb5
|
Move direct struct recursion check to detect recursion in global structs.
|
2020-04-16 16:42:12 +02:00 |
|
Daniel Kirchner
|
b744a56801
|
Refactoring of errors and fixes for various ICEs.
|
2020-04-16 16:42:12 +02:00 |
|
Daniel Kirchner
|
df1809f8da
|
Annotate struct definitions with a recursive flag.
|
2020-04-16 16:42:12 +02:00 |
|
chriseth
|
f271dfa2e2
|
Yul codegen for .selector.
|
2020-04-16 13:42:58 +02:00 |
|
chriseth
|
06adbc2c59
|
Implement bit operations.
|
2020-04-16 00:33:45 +02:00 |
|
Leonardo Alt
|
bca43586c6
|
[SMTChecker] Remove redundant CHC constraints
|
2020-04-15 18:11:39 +02:00 |
|
Daniel Kirchner
|
b86c927505
|
Disallow virtual and override for constructors.
|
2020-04-15 13:58:37 +02:00 |
|
Daniel Kirchner
|
95349b3634
|
Merge pull request #8672 from ethereum/fixYulEmptyTupleAssign
Fix tuple assignments for empty tuples in Yul IR.
|
2020-04-15 12:36:46 +02:00 |
|
chriseth
|
aff1e93caa
|
Merge pull request #8571 from aarlt/clang-tidy-apply-modernize-pass-by-value
clang-tidy: Apply modernize-pass-by-value.
|
2020-04-15 12:06:25 +02:00 |
|
Daniel Kirchner
|
0c5c93f3c2
|
Fix tuple assignments for empty tuples in Yul IR.
|
2020-04-15 11:10:52 +02:00 |
|
Christian Parpart
|
d00d3c45b1
|
[Sol2Yul] Implements codegen part for try/catch statements.
|
2020-04-14 18:42:37 +02:00 |
|
Christian Parpart
|
3b83365b42
|
[libsolidity] TryStatement: Adding AST accessors for success/structured/fail clauses.
|
2020-04-14 18:39:08 +02:00 |
|
Alexander Arlt
|
aac7a1e434
|
Apply modernize-pass-by-value.
|
2020-04-14 10:32:13 -05:00 |
|
Daniel Kirchner
|
3af43fd350
|
Extract typing.
|
2020-04-14 10:59:28 +02:00 |
|
Leonardo
|
accd8d7667
|
Merge pull request #8639 from ethereum/smt_tuple_sort
[SMTChecker] Add and use tuple sort
|
2020-04-14 10:01:55 +02:00 |
|
Leonardo Alt
|
4fc9920112
|
Use tuple sort name plus index for field name
|
2020-04-09 12:59:57 +02:00 |
|
a3d4
|
3ef510bc86
|
Removed a redundant else clause.
|
2020-04-08 23:40:29 +02:00 |
|
Leonardo Alt
|
5d9dd654cf
|
[SMTChecker] Add and use tuple sort
|
2020-04-08 18:26:03 +02:00 |
|
chriseth
|
748afe0edd
|
Merge pull request #8630 from ethereum/encoding-bug-functionCallOption
TypeChecker error when encoding functions with call options; tests
|
2020-04-08 16:33:24 +02:00 |
|
chriseth
|
9fab9df18c
|
Merge pull request #8607 from a3d4/fix-nested-tuples
Fixed nested tuples on the right-hand side.
|
2020-04-08 12:29:52 +02:00 |
|
a3d4
|
aba0b2957c
|
Fix tuple assignments with multi-slot components.
|
2020-04-07 18:39:25 +02:00 |
|
chriseth
|
baefab78d8
|
Merge pull request #8628 from ethereum/fiximmutableastexport
Export immutability.
|
2020-04-07 18:37:09 +02:00 |
|
hrkrshnn
|
229587672f
|
TypeChecker error when encoding functions with call options; tests
|
2020-04-07 21:11:46 +05:30 |
|
chriseth
|
236eff8416
|
Export immutability.
|
2020-04-07 17:30:54 +02:00 |
|
chriseth
|
823a119117
|
Merge pull request #8570 from aarlt/clang-tidy-apply-modernize-use-emplace
clang-tidy: Apply modernize-use-emplace.
|
2020-04-07 17:28:50 +02:00 |
|
Leonardo Alt
|
e3ec22124e
|
[SMTChecker] Fix ICE in CHC internal calls
|
2020-04-07 01:09:03 +02:00 |
|
chriseth
|
398c515982
|
Merge pull request #8618 from mijovic/nextConstructorRefactor
Refactoring nextConstructor by moving it from CompilerContext to ContractDefinition
|
2020-04-06 19:31:12 +02:00 |
|
Djordje Mijovic
|
8cc16eb128
|
Refactoring nextConstructor by moving it from CompilerContext to ContractDefinition
|
2020-04-06 17:35:08 +02:00 |
|
chriseth
|
806c835647
|
Merge pull request #8568 from aarlt/clang-tidy-apply-modernize-use-override
clang-tidy: Apply modernize-use-override.
|
2020-04-06 16:09:02 +02:00 |
|
Leonardo
|
07437985d0
|
Merge pull request #8579 from ethereum/smt_symbolic_state
[SMTChecker] Symbolic state
|
2020-04-06 15:11:14 +02:00 |
|
chriseth
|
3f52ee43a8
|
Merge pull request #8581 from ethereum/immutableDebug
Debug information for immutable references.
|
2020-04-06 14:22:31 +02:00 |
|
chriseth
|
f7aba45457
|
Merge pull request #8592 from random-internet-cat/ast-visitor-constructor
Delete copy and move operations for ASTVisitor and ASTConstVisitor
|
2020-04-06 14:16:20 +02:00 |
|
Leonardo Alt
|
05a85461fe
|
Symbolic state
|
2020-04-06 12:27:53 +02:00 |
|
Leonardo
|
0a72a3b8af
|
Merge pull request #8611 from ethereum/smt_array_variable_sort
[SMTChecker] Allow constructing symbolic arrays from smt sort
|
2020-04-06 12:26:30 +02:00 |
|
Daniel Kirchner
|
84d7bac4f6
|
Format immutable references similarly to link references.
|
2020-04-06 11:21:53 +02:00 |
|
Daniel Kirchner
|
81652686be
|
Debug information for immutable references.
|
2020-04-06 10:56:42 +02:00 |
|
Leonardo Alt
|
2cfa44bba3
|
Allow constructing symbolic arrays from smt sort
|
2020-04-06 10:50:00 +02:00 |
|