Leonardo Alt
|
4fe303530a
|
[SMTChecker] Show unsupported warning for asm blocks
|
2019-04-05 16:41:15 +02:00 |
|
chriseth
|
ef3a18999c
|
Merge pull request #6456 from ethereum/fixFunctionRegistration
[Yul] Fix registration of functions in scopes.
|
2019-04-05 15:52:25 +02:00 |
|
Chris Ward
|
26d6305a43
|
Combine warnings
|
2019-04-05 14:43:57 +02:00 |
|
chriseth
|
804c1553bf
|
Changelog entry.
|
2019-04-05 13:41:40 +02:00 |
|
chriseth
|
1be3882ade
|
Test shadowing between variables inside and outside of functions.
|
2019-04-05 13:41:39 +02:00 |
|
chriseth
|
0d2ae84081
|
Use move semantics.
|
2019-04-05 13:41:39 +02:00 |
|
chriseth
|
054c16aa05
|
[Yul] Fix registration of functions in scopes.
|
2019-04-05 13:41:38 +02:00 |
|
chriseth
|
d20b3c9f9f
|
Function grouper is a requirement for the VarNameCleaner.
|
2019-04-05 13:41:38 +02:00 |
|
chriseth
|
9ef84df4fa
|
Merge pull request #6459 from rocky/doc-testing-additions
More information on solctest.
|
2019-04-05 13:36:25 +02:00 |
|
Leonardo Alt
|
79d8a4e13a
|
[SMTChecker] Refactor VariableUsage
|
2019-04-05 11:38:37 +02:00 |
|
rocky
|
0538c321c9
|
More information on solctest.
* Note useful options
* Link to boost reference.
|
2019-04-04 15:05:13 -04:00 |
|
chriseth
|
a7ff3e42ea
|
Merge pull request #6457 from ethereum/yet-more-info
Fix CI bug
|
2019-04-04 18:05:32 +02:00 |
|
Chris Ward
|
d49e181a90
|
Update note to add further details on current status of YUL
Clarify further
Changes from reviews
Grammar polish
Changes from review
Update docs/yul.rst
Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com>
Update docs/yul.rst
Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com>
Polish suggestions
Update docs/yul.rst
Co-Authored-By: ChrisChinchilla <chriswhward@gmail.com>
|
2019-04-04 16:59:38 +02:00 |
|
Chris Ward
|
dfeb1dec9e
|
Add rounding warning
Move warning
|
2019-04-04 16:41:07 +02:00 |
|
Mathias Baumann
|
977c7d333e
|
Disable aleth log output again on the CI
|
2019-04-04 16:39:15 +02:00 |
|
Mathias Baumann
|
a83e54cfd3
|
TestFramework: Use getBlockByNumber and eth_flush to get transaction confirmation
|
2019-04-04 16:39:15 +02:00 |
|
Mathias Baumann
|
58a3148ffb
|
TestFramework: also output failed request
|
2019-04-04 16:39:15 +02:00 |
|
Mathias Baumann
|
1466cbaa0c
|
Log more lines from aleth
|
2019-04-04 16:39:15 +02:00 |
|
chriseth
|
3df4936b6f
|
Merge pull request #6179 from ethereum/solidity-yul1
Solidity to Yul compiler
|
2019-04-04 16:33:39 +02:00 |
|
chriseth
|
50ded99b4d
|
Merge pull request #6470 from ethereum/throwInFuzzer
Throw exception to allow fuzzer to report which file it failed on.
|
2019-04-04 16:18:57 +02:00 |
|
chriseth
|
141c6da534
|
Semantic tests for compilation via Yul.
|
2019-04-04 15:02:43 +02:00 |
|
chriseth
|
420a7dc3d6
|
Initial IR generator.
|
2019-04-04 15:02:42 +02:00 |
|
Daniel Kirchner
|
d0fda7ca7c
|
Merge pull request #6262 from ethereum/abiEncodeCalldataArray
ABIEncoderV2: implement encoding of calldata arrays and structs.
|
2019-04-04 14:51:45 +02:00 |
|
chriseth
|
ef413bb0b3
|
Throw exception to allow fuzzer to report which file it failed on.
|
2019-04-04 14:05:38 +02:00 |
|
chriseth
|
3795569da6
|
Merge pull request #6448 from ethereum/forceYulOptimization
Run tests with both ABIV2 and Yul optimizer.
|
2019-04-04 13:51:54 +02:00 |
|
chriseth
|
afa24e1bf4
|
Merge pull request #6437 from ethereum/add-scoped-vars
Reference only those variables that are in scope.
|
2019-04-04 13:35:57 +02:00 |
|
Bhargava Shastry
|
762dd24784
|
Reference only those variables that are in scope.
|
2019-04-04 13:28:56 +02:00 |
|
chriseth
|
e75f99b2bd
|
Merge pull request #6398 from ethereum/yulInterpreter-maxSteps
yulInterpreter: Add timeout based on the number of interpreted statem…
|
2019-04-04 13:19:07 +02:00 |
|
chriseth
|
c0ce540e26
|
Run tests with both ABIV2 and Yul optimizer.
|
2019-04-04 13:18:30 +02:00 |
|
Daniel Kirchner
|
91a2a9a9c3
|
Implement ABI encoding of calldata arrays and structs.
|
2019-04-04 13:05:32 +02:00 |
|
Bhargava Shastry
|
f15cedad7a
|
yulInterpreter: More fine-grained exception handling
|
2019-04-04 13:02:55 +02:00 |
|
chriseth
|
44fc658aa0
|
Merge pull request #6463 from ethereum/fixSSAMulti
Fix SSA for multi-assignments.
|
2019-04-04 12:32:23 +02:00 |
|
chriseth
|
887112b1b0
|
Fix SSA for multi-assignments.
|
2019-04-04 12:06:04 +02:00 |
|
chriseth
|
8c570f31c5
|
Merge pull request #6442 from ethereum/smt_unary_inc_dec
[SMTChecker] Support unary inc/dec for array/mapping access
|
2019-04-04 11:45:13 +02:00 |
|
Daniel Kirchner
|
d82157d46a
|
Refactor abi encoding functions to prepare implementing calldata arrays and structs.
|
2019-04-04 11:18:03 +02:00 |
|
Daniel Kirchner
|
b0cb330397
|
Allow encoding calldata arrays for base types that do not require cleanup.
|
2019-04-04 11:18:03 +02:00 |
|
chriseth
|
ee2f566207
|
Merge pull request #5815 from ethereum/strict-abi-decoder
Strict abi decoder (validate incoming data instead of cleaning it)
|
2019-04-04 11:13:44 +02:00 |
|
chriseth
|
d29ea5c4ed
|
Merge pull request #6425 from ethereum/test-requiring-constantinople
Add bitshift optimizer tests
|
2019-04-03 22:41:22 +02:00 |
|
Mathias Baumann
|
d46f29e128
|
Add bitshift optimizer tests
|
2019-04-03 22:38:31 +02:00 |
|
chriseth
|
5b871f61a2
|
Merge pull request #6429 from ethereum/testSettings
Add settings framework for interactive tests.
|
2019-04-03 22:35:39 +02:00 |
|
chriseth
|
1e1e657404
|
Merge pull request #6461 from ethereum/50-warn
[DOCS] Add 0.5.x warning
|
2019-04-03 22:25:06 +02:00 |
|
Daniel Kirchner
|
5ff1f85231
|
Adjust semantics tests.
|
2019-04-03 17:59:04 +02:00 |
|
Chris Ward
|
0b44389fc6
|
Add 0.5.x warning
|
2019-04-03 17:37:35 +02:00 |
|
chriseth
|
e3d7a34c2c
|
Make yul a setting.
|
2019-04-03 14:58:20 +02:00 |
|
chriseth
|
aeb260cde1
|
Add settings framework for interactive tests.
|
2019-04-03 14:58:20 +02:00 |
|
chriseth
|
8942c5acfb
|
Merge pull request #6394 from ethereum/yet-more-info
Log aleth output upon test failure
|
2019-04-03 13:17:27 +02:00 |
|
chriseth
|
f7fe57535a
|
Merge pull request #6453 from ethereum/use-deb-pkg
Use obsolete jsoncpp deb package instead of script where possible
|
2019-04-03 13:05:07 +02:00 |
|
Mathias Baumann
|
9633b285ab
|
Log aleth output upon failure
|
2019-04-03 12:43:15 +02:00 |
|
Mathias Baumann
|
ca259a886d
|
Use obsolete jsoncpp deb package instead of script where possible
|
2019-04-03 12:26:26 +02:00 |
|
Chris Ward
|
f8b126e153
|
Explain high s value
|
2019-04-03 12:22:03 +02:00 |
|