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
|
aa3f51ab47
|
Issue state mutability restriction for overriding and not for virtual functions.
|
2020-07-16 17:19:35 +02:00 |
|
chriseth
|
f945163909
|
Merge pull request #9432 from ethereum/develop
Merge develop into breaking.
|
2020-07-16 17:14:45 +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
|
052c4a86a0
|
Merge pull request #9409 from ethereum/fixWindowsBuild
Fix windows build.
|
2020-07-14 15:06:27 +02:00 |
|
chriseth
|
349114684d
|
Fix windows build.
|
2020-07-14 14:19:37 +02:00 |
|
chriseth
|
308af23615
|
Merge pull request #9405 from ethereum/remove-constant-keyword
[BREAKING] Removed specialized errors for constant state mutability for functions
|
2020-07-14 14:18:24 +02: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 |
|
Harikrishnan Mulackal
|
f73b25bb78
|
Removed specialized errors related to constant state mutability
|
2020-07-14 12:42:47 +05:30 |
|
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 |
|
chriseth
|
fd81885316
|
Merge pull request #9361 from ethereum/finneySzabo
[BREAKING] Remove finney and szabo denominations.
|
2020-07-13 18:49:49 +02: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
|
41710acbca
|
More semantic tests.
|
2020-07-13 18:07:11 +02:00 |
|
Daniel Kirchner
|
c3e13b6733
|
Promote gwei to a proper keyword.
|
2020-07-13 18:07:11 +02:00 |
|
Daniel Kirchner
|
38c6ecbbe2
|
Remove finney and szabo denominations.
|
2020-07-13 18:07:10 +02:00 |
|
chriseth
|
cf189a3285
|
Merge pull request #9285 from ethereum/no_dot_in_asm
[BREAKING] Change _slot and _offset to use dot in inline assembly
|
2020-07-13 17:46:39 +02:00 |
|
Daniel Kirchner
|
def0ebbb3e
|
Free variables directly after visiting RHS of Variable Declarations during EVMCodeTransform.
|
2020-07-13 17:36:15 +02:00 |
|
chriseth
|
a783449195
|
Merge pull request #9362 from ethereum/swappedTagConjunctions
Remove unneccessary masking of tags.
|
2020-07-13 17:35:06 +02:00 |
|
chriseth
|
414e3bd6fe
|
Merge pull request #9387 from ethereum/swapDup
Remove swap after dup.
|
2020-07-13 17:27:43 +02:00 |
|
Harikrishnan Mulackal
|
bb2faf5e49
|
Updated docs
|
2020-07-13 19:54:22 +05:30 |
|
chriseth
|
12f390a60a
|
Merge pull request #9326 from ethereum/eventOverwriting
[BREAKING] Disallow multiple events with same name and types.
|
2020-07-13 15:44:35 +02:00 |
|