Commit Graph

13512 Commits

Author SHA1 Message Date
Leonardo Alt
af9f16e014 [SMTChecker] Support mod 2019-04-12 12:39:25 +02:00
Daniel Kirchner
65991c0922
Merge pull request #6481 from ethereum/smt_inline_asm_warning
[SMTChecker] Show unsupported warning for asm blocks
2019-04-12 12:36:26 +02:00
Daniel Kirchner
a4fbb06c2a
Merge pull request #6491 from ethereum/increase-maxSteps-for-opt-yul
Increase upper bound for number of interpreted steps for optimized code
2019-04-12 12:34:47 +02:00
Leonardo
dbc9442f9c
Merge pull request #6484 from sifmelcara/create-SourceReferenceFormatter-shortcut
Add a shortcut for formatting error information
2019-04-12 12:34:08 +02:00
Daniel Kirchner
31abeb99a8
Merge pull request #6306 from ethereum/solidity-yul2
More Solidity -> yul codegen
2019-04-12 11:42:41 +02:00
rocky
a0db46cd08 Emacs and CMakeLists.txt administrivia
.editorconfig - specify CMakeLists.txt indentation
.gitignore - ignore emacs backups
tmp - like /tmp but specific to this project
2019-04-11 13:43:03 -04:00
chriseth
565d9837e4 Virtual function calls. 2019-04-11 15:45:43 +02:00
chriseth
18ab8aeb85 Overflow-checked addition. 2019-04-11 15:45:14 +02:00
Mathias L. Baumann
826f2d9084
Merge pull request #6502 from ethereum/fix-ifn-loop
Fix infinite loop when encountering unexpected test specifications
2019-04-11 15:23:40 +02:00
Mathias Baumann
71d752d878 Fix infinite loop when encountering unexpected test specifications 2019-04-11 13:37:42 +02:00
Erik Kundt
e97d4b4aec
Merge pull request #6488 from sifmelcara/cmdlineTests-auto-update
Auto-correct command line tests
2019-04-11 12:17:43 +02:00
Daniel Kirchner
7e0c6234ba
Merge pull request #6494 from sifmelcara/fix-dead-code-eliminator
Fix variable decl scope issue in DeadCodeEliminator
2019-04-11 12:04:33 +02:00
Mathias L. Baumann
bf653b004e
Merge pull request #6496 from ethereum/move-funcs-6479
Move convert functions to Yul module
2019-04-10 13:28:39 +02:00
mingchuan
d49733dfc3
Fix variable decl scope issue in DeadCodeEliminator
FoorLoopInitRewriter needs to be run before DeadCodeEliminator.
2019-04-10 19:00:29 +08:00
Bhargava Shastry
484c14af81 Increase upper bound for number of interpreted steps for optimized code 2019-04-10 12:57:54 +02:00
mingchuan
f1374066af
Add shortcuts for formatting error information 2019-04-10 18:44:45 +08:00
Erik Kundt
9eaaf42c4c
Merge pull request #6499 from ConstantinKloecker/patch-1
[Docs] fixed code block display
2019-04-10 12:18:11 +02:00
Constantin Kloecker
7a240fbd97
fixed code block display
Added missing line
2019-04-10 11:17:40 +02:00
Mathias Baumann
b4380a2137 Move convert functions to Yul module 2019-04-09 15:31:46 +02:00
mingchuan
62a10d85d9
Auto-update command line expectations
Force auto-update all expectations, this make their trailing new lines
consistent
2019-04-08 20:40:04 +08:00
mingchuan
5b0bb0defb
Move lost command line test case to correct location 2019-04-08 20:39:58 +08:00
mingchuan
f705b09b21
Provide option to auto-correct cmdlineTests expectations 2019-04-08 20:39:49 +08:00
Chris Ward
4a6d6cb14f Tidy formatting 2019-04-08 11:46:32 +02:00
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