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 |
|
chriseth
|
563aec1df5
|
Merge pull request #6719 from ethereum/breakingLoops
Breaking loops
|
2019-05-14 11:57:19 +02:00 |
|
chriseth
|
0b32f5c473
|
Merge pull request #6750 from ethereum/noCodeForLValue
Remove m_code from IRValue
|
2019-05-14 11:56:25 +02:00 |
|
chriseth
|
a75bc20232
|
Merge pull request #6738 from vedant1811/docs-6489
Fix yul example in docs
|
2019-05-14 11:56:08 +02:00 |
|
chriseth
|
d753fcdb36
|
Tools to compute UnixFS IPFS hash.
|
2019-05-14 11:52:11 +02:00 |
|
Mathias Baumann
|
f5980f08cc
|
Remove m_code from IRValue
Only one place to append to m_code avoids confusion and bugs
|
2019-05-14 11:15:04 +02:00 |
|
chriseth
|
246c1c939f
|
Tests.
|
2019-05-13 18:58:55 +02:00 |
|
chriseth
|
439a225cee
|
Simplify single-run for loops to if statements.
|
2019-05-13 18:58:36 +02:00 |
|
chriseth
|
99e96c2d66
|
Refactor termination detection.
|
2019-05-13 18:58:36 +02:00 |
|
chriseth
|
1d75770700
|
Merge pull request #6745 from ethereum/fixDevelop
Update IR expectations.
|
2019-05-13 18:34:56 +02:00 |
|
chriseth
|
2182dd35d7
|
Update IR expectations.
|
2019-05-13 17:42:25 +02:00 |
|
Leonardo Alt
|
ebbe03cad6
|
[SMTChecker] Move variable handling to EncodingContext
|
2019-05-13 16:59:28 +02:00 |
|
Vedant Agarwala
|
ab47864852
|
Fix as per issue comments
|
2019-05-13 20:47:55 +08:00 |
|
Chris Ward
|
680ce3f5f0
|
Expand contraction
|
2019-05-13 14:22:58 +02:00 |
|
Chris Ward
|
df31096690
|
Mention nightlies with remix
|
2019-05-13 12:47:34 +02:00 |
|
chriseth
|
01dd9ba2ae
|
Merge pull request #6717 from ethereum/smt_namespace
Move SMT specific code into smt namespace
|
2019-05-13 12:45:34 +02:00 |
|
chriseth
|
2d2f4943de
|
Merge pull request #6732 from ethereum/splitStructuralSimplifier
Split structural simplifier
|
2019-05-13 11:41:25 +02:00 |
|
chriseth
|
dd4f9bf1a6
|
Really split structural simplifier.
|
2019-05-13 10:26:57 +02:00 |
|
chriseth
|
d9831c8b96
|
Split structural simplifier.
|
2019-05-13 10:26:57 +02:00 |
|
chriseth
|
37375b4271
|
Merge pull request #6606 from ethereum/stdin-output-wildcard
Fix wildcard as output selector in standard JSON
|
2019-05-13 10:24:13 +02:00 |
|
chriseth
|
8c232e8196
|
Merge pull request #6690 from ethereum/useConditionalWhiskers
Use conditional whiskers
|
2019-05-13 10:23:30 +02:00 |
|
chriseth
|
03c8e43da5
|
Merge pull request #6605 from ethereum/natspec-colon-fix
Fix Natspec parser error
|
2019-05-13 10:19:47 +02:00 |
|
chriseth
|
e5d46767f1
|
Merge pull request #6722 from ethereum/smt_fix_variable_usage
[SMTChecker] Fix VariableUsage for IndexAccess
|
2019-05-13 10:17:26 +02:00 |
|
chriseth
|
a28b6224a4
|
Merge pull request #6714 from ethereum/finishERC20
Finish ERC20
|
2019-05-13 10:00:38 +02:00 |
|
Leonardo Alt
|
fac383a233
|
Move SMT specific code into smt namespace
|
2019-05-10 20:03:11 +02:00 |
|
Erik Kundt
|
2b021eaa30
|
Allows wildcard as output selector in standard JSON.
|
2019-05-10 18:58:51 +02:00 |
|