chriseth
|
003c170989
|
Add EVM instructions as builtin functions.
|
2019-05-20 16:46:31 +02:00 |
|
chriseth
|
e08f521b7e
|
Merge pull request #6764 from ethereum/smt_fix_tuple_ice
[SMTChecker] Fix ICE in unsupported function calls with multi return values
|
2019-05-20 15:18:11 +02:00 |
|
chriseth
|
bbf45c4af1
|
Merge pull request #6758 from ethereum/smt_global_context
[SMTChecker] Move handling of global vars and functions
|
2019-05-20 15:15:54 +02:00 |
|
chriseth
|
c2c44ff739
|
Merge pull request #6791 from ethereum/anonymousEvents
Advantages of anynomous events.
|
2019-05-20 15:11:24 +02:00 |
|
chriseth
|
20f3ab5961
|
Advantages of anynomous events.
|
2019-05-20 15:06:53 +02:00 |
|
chriseth
|
8daa281d3d
|
Merge pull request #6776 from ethereum/equivalentFunctionHashes
Use block hashes in EquivalentFunctionDetector.
|
2019-05-20 14:35:39 +02:00 |
|
chriseth
|
0731abd3f6
|
Merge pull request #6782 from ethereum/makeVectorEWasmCodeTransform
Use make_vector in EWasmCodeTransform.
|
2019-05-20 13:07:56 +02:00 |
|
Daniel Kirchner
|
39670abe4d
|
Use make_vector in EWasmCodeTransform.
|
2019-05-17 14:13:43 +02:00 |
|
chriseth
|
4f3b7b232b
|
Merge pull request #6774 from ethereum/dialectRefactor
Dialect refactor
|
2019-05-17 14:00:09 +02:00 |
|
chriseth
|
4bdb981224
|
Make dialect const& and allocate single instances statically.
|
2019-05-17 12:54:24 +02:00 |
|
chriseth
|
88e9fbe671
|
Merge pull request #6780 from ethereum/moveInitialization
make_vector helper for move initialization
|
2019-05-17 12:48:30 +02:00 |
|
Daniel Kirchner
|
05c210772a
|
Make use of make_vector where possible.
|
2019-05-17 10:08:53 +02:00 |
|
Daniel Kirchner
|
2046e61c26
|
Add make_vector helper to compensate for the lack of rvalue initializer lists.
|
2019-05-17 10:08:53 +02:00 |
|
Daniel Kirchner
|
3c66a56e60
|
Use block hashes in EquivalentFunctionDetector.
|
2019-05-17 08:39:42 +02:00 |
|
chriseth
|
570db164c9
|
Make Dialect const.
|
2019-05-16 21:51:54 +02:00 |
|
chriseth
|
9a387380b3
|
Move generation of builtin functions to helper.
|
2019-05-16 21:51:54 +02:00 |
|
chriseth
|
7de150924c
|
Extract subIDs from Dialect to allow it being const.
|
2019-05-16 21:51:54 +02:00 |
|
Daniel Kirchner
|
e20fbd388b
|
Merge pull request #6779 from ethereum/gasCostFix
Fix gas cost test.
|
2019-05-16 21:48:05 +02:00 |
|
chriseth
|
315f66fc93
|
Merge pull request #6771 from ethereum/fixConstructorABIV2
Fix handling of structs of dynamic size as constructor parameters.
|
2019-05-16 20:53:16 +02:00 |
|
Daniel Kirchner
|
95ed4daf20
|
Subtract bzzr0 data cost from used gas in gas cost test.
|
2019-05-16 20:38:25 +02:00 |
|
Leonardo Alt
|
60a4f03d3d
|
[SMTChecker] Fix ice in unsupported functions with multi return values
|
2019-05-16 18:23:42 +02:00 |
|
Leonardo Alt
|
5493a41842
|
[SMTChecker] Move global variables and functions to encoding context
|
2019-05-16 18:11:31 +02:00 |
|
chriseth
|
f2ae30f620
|
Fix handling of structs of dynamic size as constructor parameters.
|
2019-05-16 17:10:54 +02:00 |
|
chriseth
|
54ce3df321
|
Merge pull request #6755 from ethereum/useShiftDirectly
[Optimizer] Use shift directly instead of multiplication in constant optimizer.
|
2019-05-16 15:49:02 +02:00 |
|
chriseth
|
38d92a1163
|
Merge pull request #6746 from ethereum/splitMovable
Split movable property into movable and side-effect-free
|
2019-05-16 13:25:15 +02:00 |
|
chriseth
|
5824f5d42f
|
Use shift directly instead of multiplication in constant optimizer.
|
2019-05-16 12:50:53 +02:00 |
|
chriseth
|
9d291a86cc
|
Merge pull request #6742 from ethereum/smt_expr_context
[SMTChecker] Move expression handling to EncodingContext
|
2019-05-16 12:47:15 +02:00 |
|
chriseth
|
fa23601d52
|
Merge pull request #6766 from ethereum/isoltest-constructor-arguments
[soltest] Adds support for constructor arguments
|
2019-05-16 12:36:50 +02:00 |
|
chriseth
|
733677690e
|
Update tests.
|
2019-05-16 12:30:05 +02:00 |
|
chriseth
|
aa24e12054
|
Remove side-effect-free expressions, and not only movable expressions.
|
2019-05-16 12:30:05 +02:00 |
|
chriseth
|
e8a88b13e4
|
Introduce side-effect-free as relaxed version of movable.
|
2019-05-16 12:30:05 +02:00 |
|
chriseth
|
d172b9bf11
|
Merge pull request #6530 from ethereum/swapMaskRules
Optimizer rules that combine shifts and masks.
|
2019-05-16 12:10:13 +02:00 |
|
chriseth
|
46d6f395b4
|
Merge pull request #6773 from eyezick/patch-1
Update visibility-and-getters.rst
|
2019-05-16 10:05:58 +02:00 |
|
Isaac Ibiapina
|
074580f743
|
Update visibility-and-getters.rst
edit private variable description to be more declarative
|
2019-05-15 18:56:21 -04:00 |
|
chriseth
|
f6437a2016
|
Optimizer rules that combine shifts and masks.
|
2019-05-15 20:30:53 +02:00 |
|
chriseth
|
66cea5abb6
|
Merge pull request #6768 from ethereum/updateChangelog56
Changelog entry for adding ipfs links to metadata.
|
2019-05-15 14:50:20 +02:00 |
|
chriseth
|
38f7cfa0c4
|
Merge pull request #6757 from ethereum/cmdlineMetadata
Fix cmdline tests that depended on metadata.
|
2019-05-15 14:26:46 +02:00 |
|
chriseth
|
7756dd948f
|
Changelog entry for adding ipfs links to metadata.
|
2019-05-15 14:23:20 +02:00 |
|
chriseth
|
ce19e2e4bc
|
Merge pull request #6599 from ethereum/ipfsHash
Add IPFS hash of source files to metadata.
|
2019-05-15 14:21:58 +02:00 |
|
Daniel Kirchner
|
e8480664d3
|
Move output selection wildcard tests from command line tests to StandardCompiler.cpp.
|
2019-05-15 13:15:59 +02:00 |
|
chriseth
|
b01a8c544c
|
Use IPFS url in metadata for source links.
|
2019-05-15 12:40:03 +02:00 |
|
chriseth
|
ca4b1bc8c4
|
Merge pull request #6756 from ethereum/shiftMulRules
Add optimizer rules for multiplication and division by left-shifted one.
|
2019-05-15 12:37:35 +02:00 |
|
Erik Kundt
|
5d85ab49b9
|
Allow the constructor to revert.
|
2019-05-15 12:24:23 +02:00 |
|
Erik Kundt
|
94597ad9ae
|
Adds support for constructor arguments in isoltest.
|
2019-05-15 12:01:14 +02:00 |
|
Daniel Kirchner
|
a10501bb7d
|
Merge pull request #6725 from AndreyBronin/develop
GCC 9.1 build fix. error: redundant move in return statement
|
2019-05-15 11:37:20 +02:00 |
|
Andrey Bronin
|
4eb37fe631
|
fix warning in GCC 9.1: redundant move in return statement
|
2019-05-14 17:44:28 +03:00 |
|
Daniel Kirchner
|
a5427bc63a
|
Add optimizer rules for multiplication and division by left-shifted one.
|
2019-05-14 16:20:45 +02:00 |
|
Leonardo Alt
|
4e430ba0ae
|
[SMTChecker] Move expression handling to EncodingContext
|
2019-05-14 15:56:43 +02:00 |
|
chriseth
|
c8dd412014
|
Merge pull request #6736 from ethereum/docs-test-nightly
[DOCS] Mention nightlies with remix
|
2019-05-14 14:58:28 +02:00 |
|
chriseth
|
74fbf5402d
|
Merge pull request #6737 from ethereum/smt_vars_context
[SMTChecker] Move variable handling to EncodingContext
|
2019-05-14 13:30:35 +02:00 |
|