Commit Graph

17225 Commits

Author SHA1 Message Date
chriseth
2c7359de1e
Merge pull request #9394 from ethereum/fix-9391
Yul interpreter: Return addresses of type u160 for create and create2…
2020-07-20 18:38:43 +02:00
chriseth
6a1b1283fd
Merge pull request #9447 from ethereum/inlineArrays
[Sol->Yul] Implement inline arrays.
2020-07-20 17:53:08 +02:00
chriseth
8bdd93f4b8 Update tests. 2020-07-20 17:17:19 +02:00
chriseth
50a54fa8aa Implement inline arrays. 2020-07-20 17:06:32 +02:00
chriseth
ac95e98b2b
Merge pull request #9449 from ethereum/fixEnforceViaYul
Fix enforce via yul
2020-07-20 17:01:42 +02:00
chriseth
1c9179683e
Merge pull request #9433 from ethereum/reportAllStackErrors
Report all stack errors
2020-07-20 15:44:51 +02:00
chriseth
f5d8636d28 Document variableHeightDiff. 2020-07-20 15:44:29 +02:00
chriseth
0a25370eeb Update tests. 2020-07-20 15:40:58 +02:00
chriseth
6bb50a05b8
Merge pull request #9440 from sacgrover/develop
Add SPDX license identifier if not present already in source file
2020-07-20 15:26:02 +02:00
chriseth
53bc0ff18e Fix "enforce via yul". 2020-07-20 14:52:31 +02:00
Bhargava Shastry
deffb7ffc8 Yul interpreter: Return addresses of type u160 for create and create2 calls 2020-07-20 11:26:47 +02:00
Sachin Grover
b7adb2aa42 Add SPDX license identifier if not present already in source file
Fixes: #9220
2020-07-17 20:24:12 +05:30
chriseth
d808302c62
Merge pull request #9438 from ethereum/fix_event_type
Set type properly for event definition subexpressions
2020-07-17 12:15:24 +02:00
Leonardo Alt
2e1067a05a Set type properly for event parameters 2020-07-17 11:17:27 +02:00
chriseth
e1a45ee97d
Merge pull request #9431 from ethereum/smt_fix_compound_array_index
[SMTChecker] Fix ICE on compound assignment to array index
2020-07-17 11:05:36 +02:00
Leonardo Alt
672633af0a [SMTChecker] Fix ICE on compound assignment to array index 2020-07-16 17:44:10 +02:00
Daniel Kirchner
92cd1ddb7d Add markAsInvalid to the various assemblies. 2020-07-16 17:38:13 +02:00
Daniel Kirchner
579e4b5a69 Report all stack errors in the EVM code transform. 2020-07-16 17:38:04 +02:00
chriseth
f9753a5101
Merge pull request #9430 from ethereum/dockerHub
Use docker hub for images.
2020-07-16 16:22:48 +02:00
chriseth
77064fe09b
Merge pull request #9420 from ethereum/switchDockerImages
Switch CircleCI to github packages docker images.
2020-07-16 16:22:33 +02:00
Daniel Kirchner
34c34bda26 Switch CI to new docker images. 2020-07-16 15:39:36 +02:00
Alexander Arlt
f7e180fb8f Push images to docker hub. 2020-07-16 14:14:51 +02:00
chriseth
1c93245704
Merge pull request #9150 from ethereum/issue-8670
CodeGen: Avoid double cleanup when copying to memory
2020-07-16 14:02:06 +02:00
Mathias Baumann
d3af598c49 CodeGen: Avoid double cleanup when copying to memory 2020-07-16 13:53:48 +02:00
Mathias Baumann
f47981d484 Prepare testcase for avoiding double cleanup 2020-07-16 13:53:46 +02:00
chriseth
13e19529c3
Merge pull request #9424 from ethereum/smt_fix_bitwise_fixed_bytes
[SMTChecker] Fix ICE when bitwise operator on fixed bytes
2020-07-16 13:27:37 +02:00
chriseth
4e6b660839
Merge pull request #9421 from ethereum/parallel
Run tests in parallel.
2020-07-16 00:35:50 +02:00
chriseth
0b9bb84c39 Run tests in parallel. 2020-07-15 23:50:43 +02:00
chriseth
59c6a1f57b
Merge pull request #9427 from ethereum/recursiveFunctionDetection
Extract recursive function detection from Semantics into the CallGraph.
2020-07-15 20:31:48 +02:00
Daniel Kirchner
99d831d7d1 Extract recursive function detection from Semantics into the CallGraph. 2020-07-15 20:30:52 +02:00
Leonardo Alt
46653b2d43 Fix ICE when bitwise operator on fixed bytes 2020-07-15 19:32:15 +02:00
chriseth
bd6cd027a3
Merge pull request #9419 from ethereum/moarproc
Use more processors to build base builds.
2020-07-15 16:58:46 +02:00
chriseth
ca313e4003 Use more processors to build base builds. 2020-07-15 16:45:20 +02:00
Daniel Kirchner
8226f3e804
Merge pull request #9368 from aarlt/docker-workflow
Initial docker image creation workflows.
2020-07-15 11:20:06 +02:00
Alexander Arlt
aed424f23e Initial docker image creation workflows. 2020-07-14 19:00:48 -05:00
chriseth
dca85a286d
Merge pull request #9398 from ethereum/eip615
Prefix EIP-615 opcodes with EIP615 in Instructions
2020-07-14 19:18:02 +02:00
chriseth
e970e58a9f
Merge pull request #9411 from ethereum/private-payable-msg
Nicer error message for private payable functions
2020-07-14 15:55:13 +02:00
Alex Beregszaszi
eab12ecf77 Nicer error message for private payable functions 2020-07-14 14:38:12 +01:00
chriseth
526e7b878b
Merge pull request #9403 from ethereum/string-tests
Add more tests for strings with unicode (escapes)
2020-07-14 13:49:06 +02:00
chriseth
f93932c259
Merge pull request #9406 from ethereum/fixSegfault
Fix segfault in oversized objects check in combination with var.
2020-07-14 13:30:33 +02:00
Daniel Kirchner
874f4d5447
Merge pull request #9407 from ethereum/refactorStorageSizeUpperBound
Refactor storageSizeUpperBound.
2020-07-14 12:17:45 +02:00
Daniel Kirchner
9c62ea182d Fix segfault in oversized objects check in combination with var. 2020-07-14 11:23:39 +02:00
chriseth
f28bede34a Refactor storageSizeUpperBound. 2020-07-14 10:45:02 +02:00
Alex Beregszaszi
950612cf42 Add more tests for strings with unicode (escapes) 2020-07-13 20:43:30 +01:00
chriseth
0212a16b02
Merge pull request #9401 from ethereum/isoltest-update-hex
Fix formatting hex strings in isoltest update
2020-07-13 20:27:15 +02:00
Alex Beregszaszi
6a1ad7e59c Fix formatting hex strings in isoltest update 2020-07-13 19:06:16 +01:00
Alex Beregszaszi
870ea98c21 Prefix EIP-615 opcodes with EIP615 in Instructions 2020-07-13 17:34:19 +01:00
chriseth
289fc7a9d0
Merge pull request #9371 from ethereum/refactorInterpreter
Refactor yul interpreter.
2020-07-13 18:27:47 +02:00
chriseth
3376dbab47
Merge pull request #9378 from ethereum/variableDeclStackSlotReuse
Free variables directly after visiting RHS of VarDecls EVMCodeTransform.
2020-07-13 18:11:00 +02:00
Daniel Kirchner
def0ebbb3e Free variables directly after visiting RHS of Variable Declarations during EVMCodeTransform. 2020-07-13 17:36:15 +02:00