Mathias Baumann
|
bddef01fdd
|
Decrease xml test log size
|
2019-04-01 12:38:29 +02:00 |
|
chriseth
|
a3a60b8eb9
|
Merge pull request #6414 from ethereum/chriseth-patch-1
Layout cleanup.
|
2019-04-01 09:50:36 +02:00 |
|
chriseth
|
91a54f9b4d
|
Merge pull request #6160 from ethereum/rulelist-reject
Optimize obsolete ANDs in combination with certain SHIFTs
|
2019-03-29 18:01:33 +01:00 |
|
Mathias Baumann
|
5c66ccc179
|
Optimize obsolete ANDs in combination with certain SHIFTs
|
2019-03-29 10:08:05 +01:00 |
|
Alex Beregszaszi
|
84fbf605aa
|
Replace shifts by larger than 255 with 0
|
2019-03-29 10:07:54 +01:00 |
|
chriseth
|
af09cb3af2
|
Layout cleanup.
|
2019-03-28 23:43:27 +01:00 |
|
chriseth
|
65026a0a25
|
Merge pull request #6412 from iostat/remapping-doc-fix
[DOCS] use correct global remapping syntax in documentation
|
2019-03-28 23:38:47 +01:00 |
|
Ilya Ostrovskiy
|
7860918de5
|
use correct global remapping syntax in documentation
|
2019-03-28 15:01:41 -04:00 |
|
chriseth
|
f9820adb5e
|
Merge pull request #6396 from ethereum/optSetForAsmStack
Make optimiser settings available to assembly stack.
|
2019-03-28 19:03:23 +01:00 |
|
chriseth
|
84251e5a22
|
Merge pull request #6405 from ethereum/smt_compound_assignment
[SMTChecker] Support arithmetic compound assignment operators.
|
2019-03-28 18:27:25 +01:00 |
|
chriseth
|
3264e9abf0
|
Make optimiser settings available to assembly stack.
|
2019-03-28 18:24:13 +01:00 |
|
chriseth
|
bb899b4c26
|
Merge pull request #6382 from ethereum/smt_fix_short_circuit
[SMTChecker] Implement Boolean short-circuiting correctly
|
2019-03-28 17:35:11 +01:00 |
|
Leonardo Alt
|
8721952ded
|
Changelog entry
|
2019-03-28 16:22:18 +01:00 |
|
Leonardo Alt
|
dadafed022
|
Short circuit tests
|
2019-03-28 16:08:30 +01:00 |
|
Leonardo Alt
|
a7e826a224
|
[SMTChecker] Implement short circuit
|
2019-03-28 16:08:30 +01:00 |
|
chriseth
|
a1d59dfb4c
|
Merge pull request #6371 from ethereum/smt_variable_usage_function_calls
[SMTChecker] Merge SSA state vars properly
|
2019-03-28 15:54:31 +01:00 |
|
chriseth
|
30da62aa2c
|
Merge pull request #6408 from ethereum/includeCleanup
Include cleanup
|
2019-03-28 15:31:07 +01:00 |
|
Leonardo Alt
|
c7e5468505
|
Arithmetic compound assignment operators tests
|
2019-03-28 15:27:52 +01:00 |
|
Leonardo Alt
|
15269067b5
|
Support arithmetic compound assignment operators
|
2019-03-28 15:27:52 +01:00 |
|
Leonardo Alt
|
ecbf36f271
|
Refactor computing symbolic arithmetic operation
|
2019-03-28 15:27:36 +01:00 |
|
chriseth
|
2005e70fb9
|
Merge pull request #6409 from ethereum/namespaceFix
Fix namespace.
|
2019-03-28 15:24:18 +01:00 |
|
chriseth
|
e82dcd1f91
|
Fix namespace.
|
2019-03-28 14:55:50 +01:00 |
|
chriseth
|
2b0c653f57
|
Merge pull request #6241 from ethereum/yul-bc-codegen
Yul codegen for break & continue statements
|
2019-03-28 14:48:50 +01:00 |
|
chriseth
|
f2cee9ec0c
|
Include cleanup.
|
2019-03-28 14:32:48 +01:00 |
|
chriseth
|
20ae3ad555
|
Remove "using namespace".
|
2019-03-28 14:32:48 +01:00 |
|
Leonardo Alt
|
2764d2f525
|
Tests that used to give false negatives
|
2019-03-28 14:32:47 +01:00 |
|
Leonardo Alt
|
1d63b97857
|
Take inlined function calls into account when collecting touched variables
|
2019-03-28 14:32:47 +01:00 |
|
Leonardo Alt
|
6f9b69ebc3
|
Refactor function that retrieves FunctionDefinition from FunctionCall
|
2019-03-28 14:32:47 +01:00 |
|
chriseth
|
529aca5cbd
|
Merge pull request #6407 from ethereum/changeNamespace
Remove "using namespace" from header and move Instruction to dev::eth.
|
2019-03-28 14:32:07 +01:00 |
|
Christian Parpart
|
b8c6274179
|
[yul] Implements EVM codegen for break/continue plus respective tests & ChangeLog entry.
|
2019-03-28 14:09:25 +01:00 |
|
chriseth
|
2308904f68
|
Remove "using namespace" from header and move Instruction to dev::eth.
|
2019-03-28 13:48:11 +01:00 |
|
chriseth
|
2bbc41ad64
|
Merge pull request #6402 from ethereum/moveVarList
Move suffixedVariableNameList to utils.
|
2019-03-28 12:51:14 +01:00 |
|
chriseth
|
6d8e84c93e
|
Merge pull request #6315 from ethereum/yul-for-continue-tests
[Yul] RedundantAssignEliminator adoptions for continue/break AST nodes
|
2019-03-28 12:18:02 +01:00 |
|
chriseth
|
e6e2dab0b1
|
Merge pull request #6340 from ethereum/smt_docs
[SMTChecker] Docs
|
2019-03-28 11:40:05 +01:00 |
|
chriseth
|
ff1e5c2298
|
Merge pull request #6372 from ethereum/update-external-tests
Update external tests
|
2019-03-28 11:26:38 +01:00 |
|
Erik Kundt
|
17917819ed
|
Adds Circle job that triggers external tests nightly.
|
2019-03-28 10:31:08 +01:00 |
|
Erik Kundt
|
3e6de8904b
|
Reactivates external gnosis-safe tests.
|
2019-03-28 10:31:08 +01:00 |
|
Erik Kundt
|
7808af79ae
|
Modularize external test setup.
|
2019-03-28 10:31:03 +01:00 |
|
chriseth
|
91f96c299e
|
More logic about control flow with continue and about finalize. Remove BlockScope.
|
2019-03-27 22:16:31 +01:00 |
|
chriseth
|
a1fe2562c4
|
Move suffixedVariableNameList to utils.
|
2019-03-27 17:14:17 +01:00 |
|
Leonardo Alt
|
9a612d1250
|
[SMTChecker] Docs
|
2019-03-27 16:31:51 +01:00 |
|
chriseth
|
77b8b4874d
|
Merge pull request #6397 from ethereum/yulInterpreter-maxSteps
yulInterpreter: Add timeout based on the number of interpreted statem…
|
2019-03-27 14:34:23 +01:00 |
|
Bhargava Shastry
|
10c3b31fa4
|
yulInterpreter: Add timeout based on the number of interpreted statements.
|
2019-03-27 12:06:02 +01:00 |
|
chriseth
|
97818f6582
|
Merge pull request #6353 from ethereum/proto-add-state
Proto add state
|
2019-03-27 11:38:27 +01:00 |
|
chriseth
|
85e1223112
|
Merge pull request #6391 from ethereum/yul-move
Use move semantics on StackToDeepError
|
2019-03-26 21:56:47 +01:00 |
|
Alex Beregszaszi
|
1a4cf92a09
|
Merge pull request #6390 from ethereum/buglist
Add blog post links to the bug list
|
2019-03-26 18:28:38 +00:00 |
|
Christian Parpart
|
a1ec49409d
|
Yul] RedundantAssignEliminator: Implements break/continue handling within ForLoop.
|
2019-03-26 17:36:43 +01:00 |
|
Alex Beregszaszi
|
c26ffa737e
|
Use move semantics on StackToDeepError
|
2019-03-26 16:15:16 +00:00 |
|
Bhargava Shastry
|
b3c3a1f9cd
|
Use visitor pattern for proto converter.
|
2019-03-26 16:39:44 +01:00 |
|
Alex Beregszaszi
|
d8c42a0270
|
Merge pull request #6388 from ethereum/compilerstack-reset
Change CompilerStack.reset() to have keepSettings flag
|
2019-03-26 15:33:14 +00:00 |
|