Commit Graph

14114 Commits

Author SHA1 Message Date
Vedant Agarwala
5d6cbd97df [Yul] Directly jump over a series of function definitions
Implement a AbstractAssembly::setStackHeight function
Update the tests
Update Changelog
2019-06-19 12:40:11 +08:00
mingchuan
6a5fabd004
Add ABIEncoderV2 storage array encoding bug to buglist 2019-06-19 10:47:44 +08:00
mingchuan
13c1409669
Add test case that abi.encode nested storage arrays 2019-06-19 10:46:47 +08:00
mingchuan
bfe074b2b1
Fix storage array abi encoding
Fix incorrect abi encoding of storage array of data type that occupy multiple storage slots
2019-06-19 10:46:05 +08:00
chriseth
56db792ad9
Merge pull request #6876 from rocky/recoveringParser1-StandardCompiler
Add parser errorRecovery (including StandardCompiler)
2019-06-18 22:40:35 +02:00
rocky
1a7e09ab7a Add errorRecovery boolean to StandardCompiler 2019-06-18 15:54:05 -04:00
chriseth
211cd2a0b3 Fix Asm parser. 2019-06-18 18:54:34 +02:00
chriseth
ee89a0353e
Merge pull request #6959 from ethereum/fixUnusedPrunerForWasm
Fix unused pruner.
2019-06-18 18:06:26 +02:00
chriseth
2c61bdd207
Merge pull request #6957 from ethereum/useWhat
Use "what" in exception reports.
2019-06-18 17:53:28 +02:00
chriseth
aed979604c Fix unused pruner. 2019-06-18 17:40:18 +02:00
chriseth
05a67c486e Use "what" in exception reports. 2019-06-18 17:34:10 +02:00
chriseth
5fd9264dcd
Merge pull request #6851 from ethereum/makeOptimizerWorkForWasm
Make Yul optimizer not fail for wasm.
2019-06-18 11:37:51 +02:00
Chris Chinchilla
b66950711e
Merge pull request #6954 from ethereum/docs-public-clar
[DOCS] Clarify that public applies to state variables
2019-06-18 07:55:45 +01:00
chriseth
6cb6fe35ef Make Yul optimizer not fail for wasm. 2019-06-17 18:42:47 +02:00
chriseth
8260ae1397
Merge pull request #6955 from ethereum/docs-enum-int
[DOCS] Clarify that interfaces only support enum since 0.5.0
2019-06-17 18:32:53 +02:00
chriseth
4a4c146fdf
Merge pull request #6951 from ethereum/chriseth-patch-1
[DOC] Fix signextend example.
2019-06-17 18:31:29 +02:00
chriseth
58753e5883
Merge pull request #6846 from ethereum/docs-require-vs-revert
[DOCS] Require, revert, assert clarification
2019-06-17 18:16:02 +02:00
Chris Chinchilla
17e82ee176 Clarify that interfaces only support enum since 0.5.0 2019-06-17 17:14:53 +01:00
Chris Ward
7e4896740d Clarify that public applies to state variables 2019-06-17 16:55:31 +01:00
Chris Ward
df31461c5b Start to clarify revert vs require usage
Start rewrite of require vs revert clarification

Small clarification
2019-06-17 16:47:13 +01:00
chriseth
d7211c17e9
Merge pull request #6953 from ethereum/fix-comments-in-pr
[Sol->Yul] Style fixes
2019-06-17 17:29:05 +02:00
chriseth
42e6df8088
Merge pull request #6948 from ethereum/johnson-recovery-with-win-fix
Revive Johnson-style error recovery
2019-06-17 17:25:22 +02:00
Mathias Baumann
8ca27c2bb0 [Sol->Yul] Style fixes
addresses the points @chriseth mentioned in #6909
2019-06-17 15:26:40 +02:00
Christian Parpart
0b65cf8af5 Fixes stack-too-deep errors (soltest) on Windows by reducing recursion depth accordingly. (Caused by introducing try/catch blocks increased stack frame size) 2019-06-17 14:47:07 +02:00
rocky
ca3afea1d7 Add Steve Johnson-style parser recovery rules:
SourceUnit = Error $
    Block = '{' Error '}'
    ContractDefinition = '{' Error '}'
    Statement = Error ';'

Co-Authored-By: chriseth <chris@ethereum.org>
2019-06-17 14:47:07 +02:00
chriseth
633510eb04
Merge pull request #6935 from ethereum/subMaxValueXNotXRule
Add optimization rule SUB(~0, X) -> NOT(X).
2019-06-17 14:42:49 +02:00
chriseth
e186dc061d
Merge pull request #6952 from ethereum/remove-redundant-optimizer-rule
optimizer: Remove redundant rule from the optimizer rule list
2019-06-17 14:37:31 +02:00
Bhargava Shastry
e96003e709 optimizer: Remove redundant rule from the optimizer rule list 2019-06-17 13:41:48 +02:00
chriseth
b90d57a9fc
[DOC] Fix signextend example. 2019-06-17 13:39:20 +02:00
chriseth
d774e30686
Merge pull request #6950 from ethereum/fix-typo-spell-check-uaah
Fix typo to make CI happy
2019-06-17 13:29:50 +02:00
Mathias Baumann
ee937ea7b3 Fix typo to make CI happy 2019-06-17 13:14:00 +02:00
Chris Chinchilla
d671761d46
Merge pull request #6945 from ethereum/ChrisChinchilla-patch-1
[DOCS] Fix typo in miscellaneous doc
2019-06-17 12:00:46 +01:00
Chris Chinchilla
aa6e29a7a0
Update docs/miscellaneous.rst
Co-Authored-By: Mathias L. Baumann <Marenz@users.noreply.github.com>
2019-06-17 11:14:11 +01:00
chriseth
452a1d6aff
Merge pull request #6730 from ethereum/generic-for-loop
For loop with generalized init-cond-post
2019-06-17 10:50:50 +02:00
chriseth
9c5dc63ed2
Merge pull request #6567 from ethereum/docs-intro-subcurrency
[DOCS] Update subcurrency example in introductory section
2019-06-17 10:44:33 +02:00
Chris Chinchilla
0465803b2c
Fix typo in miscellaneous doc
As reported by @Marenz
2019-06-16 09:33:40 +01:00
Daniel Kirchner
e78500a199
Merge pull request #6943 from ethereum/opcodeFix
Fix comparison opcodes and minor errors in proof scripts.
2019-06-14 17:45:34 +02:00
Daniel Kirchner
5718072e10 Fix comparison opcodes and minor errors in proof scripts. 2019-06-14 17:04:50 +02:00
Daniel Kirchner
d3293cf0d0 Correctness proof for SUB(NOT(0),X)->NOT(X). 2019-06-14 14:08:21 +02:00
Daniel Kirchner
7f322c9433 Add optimization rule SUB(~0, X) -> NOT(X). 2019-06-14 14:07:46 +02:00
Daniel Kirchner
4aa0c9e079
Merge pull request #6939 from ethereum/opt_proofs
Move optimization proofs repo to Solidity repo
2019-06-14 14:06:59 +02:00
Bhargava Shastry
b5cbb1a3e9 For loop with custom init and post blocks and potentially unbounded conditional expression 2019-06-14 08:46:28 +02:00
Daniel Kirchner
7187a3e5ca
Merge pull request #6938 from ethereum/gasValueMutability
Set state mutability of function type members ``gas`` and ``value`` to pure.
2019-06-13 19:33:27 +02:00
Daniel Kirchner
4d38df6920 Set state mutability of function type members `gas and value` to pure. 2019-06-13 18:27:53 +02:00
Leonardo Alt
5089d4ac28 Move optimization proofs repo to Solidity repo 2019-06-13 17:11:48 +02:00
Daniel Kirchner
62bd7032b7
Merge pull request #6937 from FabioBonfiglio/patch-1
Correct assigned value in natspec example
2019-06-13 16:10:59 +02:00
Fabio Bonfiglio
2a2f068542
Correct assigned value in natspec example 2019-06-13 13:12:32 +02:00
Alex Beregszaszi
668972bb4e
Merge pull request #6930 from ethereum/msvc-SolidityEnd2EndTest-BigObj
Fixes compilation on Visual Studio 2019
2019-06-13 01:17:15 +02:00
Christian Parpart
98d852c832
Fixes compilation on Visual Studio 2019 (SolidityEndToEndTest.cpp's object file is too large, so we need a special flag to get it still compiling) 2019-06-12 23:46:32 +02:00
Leonardo
7a42ae2b7b
Merge pull request #6894 from ethereum/smt_catch_expr
[SMTChecker] Catch malformed expressions
2019-06-12 21:17:10 +02:00