 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 |
|
|
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
|
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 |
|
|
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
|
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
|
ff1e5c2298
|
Merge pull request #6372 from ethereum/update-external-tests
Update external tests
|
2019-03-28 11:26:38 +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 |
|
 Bhargava Shastry
|
10c3b31fa4
|
yulInterpreter: Add timeout based on the number of interpreted statements.
|
2019-03-27 12:06:02 +01:00 |
|
 Christian Parpart
|
a1ec49409d
|
Yul] RedundantAssignEliminator: Implements break/continue handling within ForLoop.
|
2019-03-26 17:36:43 +01:00 |
|
|
Bhargava Shastry
|
b3c3a1f9cd
|
Use visitor pattern for proto converter.
|
2019-03-26 16:39:44 +01:00 |
|
|
chriseth
|
72c0e44907
|
Merge pull request #6338 from ethereum/compilerstack-setsource
Introduce setSources in CompilerStack
|
2019-03-26 15:31:57 +01:00 |
|
|
Bhargava Shastry
|
ef94d6d645
|
yul Interpreter: Move memory size limit to interpreter state.
|
2019-03-26 14:42:25 +01:00 |
|
|
Bhargava Shastry
|
a895ccba39
|
ossfuzz: Enable optimization in Assembly stack assembler call.
|
2019-03-26 13:42:51 +01:00 |
|
 Mathias Baumann
|
bfe3f378b2
|
Fix throw in error output
|
2019-03-26 11:32:08 +01:00 |
|
|
chriseth
|
d079cdbfaa
|
Merge pull request #6362 from ethereum/fixABIEncoderV2StorageRead
Fix abi encoder v2 storage read
|
2019-03-26 10:23:08 +01:00 |
|
 Alex Beregszaszi
|
e211b5b1e1
|
Add warning that Yul is still experimental
|
2019-03-25 20:17:11 +00:00 |
|
|
Alex Beregszaszi
|
0432401e20
|
Emit warning when using the Yul optimiser
|
2019-03-25 18:38:06 +01:00 |
|
|
chriseth
|
6b9c44d5f9
|
Tests for arrays.
|
2019-03-25 18:28:44 +01:00 |
|
|
chriseth
|
3039456f48
|
Tests for encoder from storage bug.
|
2019-03-25 18:28:43 +01:00 |
|
|
Alex Beregszaszi
|
3ee8bb6814
|
Use setSource in tests
|
2019-03-25 15:11:08 +00:00 |
|
 Mathias L. Baumann
|
dce27bb452
|
Merge pull request #6370 from ethereum/more-info-after-ci-fail
Provide more info when CI fails
|
2019-03-25 16:08:16 +01:00 |
|
|
Mathias Baumann
|
e478115d26
|
Provide more info when CI fails
|
2019-03-25 15:16:03 +01:00 |
|
|
Alex Beregszaszi
|
76c3c54c12
|
Merge pull request #6360 from ethereum/split-imports-test
Split imports tests to avoid resetting CompilerStack
|
2019-03-25 13:15:38 +00:00 |
|
|
chriseth
|
caddce6ef0
|
Detect duplicate cases based on integer value of case label.
|
2019-03-25 12:38:22 +01:00 |
|
|
Alex Beregszaszi
|
d9303d4cfb
|
Split imports tests to avoid resetting CompilerStack
|
2019-03-25 11:33:21 +00:00 |
|
|
chriseth
|
b17daee20e
|
Merge pull request #6358 from ethereum/fixLLLTests
Fix LLL tests.
|
2019-03-25 11:49:53 +01:00 |
|
|
chriseth
|
31fa51b1f8
|
Fix LLL tests.
|
2019-03-25 10:53:49 +01:00 |
|
|
Alex Beregszaszi
|
532d43e0c8
|
Exclude metadata in compiler test
In SolidityCompiler/does_not_include_creation_time_only_internal_functions.
|
2019-03-22 17:35:15 +00:00 |
|
|
Alex Beregszaszi
|
3bc2c35cc4
|
Support compiling Yul within StandardCompiler
|
2019-03-22 01:35:16 +00:00 |
|
|
Alex Beregszaszi
|
ed1ad2fc14
|
Merge pull request #6317 from ethereum/byte_optimization_bugfix
Fixes bug in byte optimization rule and adds tests.
|
2019-03-21 21:49:34 +00:00 |
|
|
Alex Beregszaszi
|
7d94d3af20
|
Merge pull request #6309 from ethereum/proto-add-str-hex-lit
yul proto: Add support for generating string and hex literals.
|
2019-03-21 21:47:58 +00:00 |
|
|
Alex Beregszaszi
|
cbbc2df506
|
Merge pull request #6351 from ethereum/smt_shortcircuit_test
[SMTChecker] Add buggy short circuit test
|
2019-03-21 21:24:51 +00:00 |
|
|
Leonardo Alt
|
2ae778bf0a
|
[SMTChecker] Add buggy short circuit test
|
2019-03-21 18:47:14 +01:00 |
|
|
chriseth
|
2de5554e4a
|
Fix MacOS commandline tests.
|
2019-03-21 18:19:05 +01:00 |
|
|
Bhargava Shastry
|
f7b5a27581
|
Fixes bug in byte optimization rule and adds tests.
|
2019-03-21 14:29:06 +01:00 |
|
|
Bhargava Shastry
|
d1d3dd8571
|
yul proto: Add support for generating string and hex literals.
|
2019-03-21 12:25:52 +01:00 |
|
|
chriseth
|
d381e26fc8
|
Rename "enabled" optimizer setting stage to "standard".
|
2019-03-21 11:04:40 +01:00 |
|
|
chriseth
|
51ae865b96
|
Merge pull request #6222 from ethereum/internal-error-maybe
Disallow internal function types as parameters for public/external library function
|
2019-03-21 09:18:23 +01:00 |
|
|
chriseth
|
ebb8c1758e
|
Merge pull request #6339 from ethereum/lll-test-fix
Fix LLL tests using the opimiser
|
2019-03-21 08:54:07 +01:00 |
|
|
Mathias Baumann
|
8e899a0d32
|
Disallow internal function types as parameters for public/external library function
|
2019-03-21 07:25:57 +01:00 |
|
|
Alex Beregszaszi
|
7ec3eaa40d
|
Fix LLL tests using the opimiser
|
2019-03-20 19:21:24 +00:00 |
|
|
Bhargava Shastry
|
22f5a82edc
|
yul proto: Add support for generating for and switch statements.
|
2019-03-20 18:50:27 +00:00 |
|