Commit Graph

17503 Commits

Author SHA1 Message Date
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
60500778ad
Merge pull request #9450 from ethereum/nowLeftover
Remove leftover of code-generator for ``now``.
2020-07-20 17:01:37 +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
50dc17350c Remove leftover of code-generator for `now`. 2020-07-20 15:37:53 +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
Mathias Baumann
446d15488c Update tests for new public var override rules 2020-07-20 15:18:23 +02:00
chriseth
c8772a54c3 Constants are considered pure. 2020-07-20 15:18:23 +02:00
chriseth
d3647b13e4 Disallow public state variables overriding pure functions. 2020-07-20 15:18:23 +02:00
Mathias L. Baumann
69a596b0ff
Merge pull request #9418 from ethereum/stateMutForOverride
Issue state mutability restriction for overriding and not for virtual functions.
2020-07-20 15:01:25 +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
chriseth
ba21d26f88
Merge pull request #9344 from ethereum/issue-3412
Allow overrides to have a more strict mutability than super
2020-07-16 18:50:51 +02:00
Mathias Baumann
dfffecfe2c Allow overrides to have a more strict mutability than super 2020-07-16 17:55:12 +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
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