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 |
|
Leonardo
|
d2019f49ea
|
Merge pull request #6906 from ethereum/delegatecall_value_msg
Improve error message for delegatecall.value
|
2019-06-12 21:14:54 +02:00 |
|
Daniel Kirchner
|
2fabf9330b
|
Merge pull request #6932 from ethereum/cmdlineTestFailure
Fix commandline tests.
|
2019-06-12 19:51:37 +02:00 |
|
Daniel Kirchner
|
dfbdb6c007
|
Fix failing command line tests.
|
2019-06-12 19:04:02 +02:00 |
|
Daniel Kirchner
|
2dc405e948
|
Fix command line tests script to properly report errors.
|
2019-06-12 19:03:45 +02:00 |
|
Daniel Kirchner
|
3ffc604bd8
|
Merge pull request #6931 from ethereum/cmakeBoostFix
Make the boost cmake workaround compatible with older versions of cmake.
|
2019-06-12 18:49:10 +02:00 |
|
Daniel Kirchner
|
7a32daadf0
|
Make the boost cmake workaround compatible with older versions of cmake.
|
2019-06-12 18:04:08 +02:00 |
|
Daniel Kirchner
|
2849169bff
|
Merge pull request #6909 from ethereum/yul-delete-operation
[Sol->Yul] Make IRStorageItem work with dynamic offsets
|
2019-06-12 16:46:00 +02:00 |
|
Daniel Kirchner
|
502d22a26e
|
Merge pull request #6914 from ethereum/boost170
Use imported targets for boost and update emscripten boost to 1.70.
|
2019-06-12 15:26:24 +02:00 |
|
Mathias Baumann
|
9e23d6d05e
|
[Sol->Yul] Compile some tests with yul
|
2019-06-11 17:44:36 +02:00 |
|
Mathias Baumann
|
6a0976ed5e
|
[Sol->Yul] Refactor shift functions to be consistent
|
2019-06-11 17:44:36 +02:00 |
|
Mathias Baumann
|
89c435a167
|
[Sol->Yul] Make IRStorageItem work with dynamic offsets
|
2019-06-11 17:44:36 +02:00 |
|
Daniel Kirchner
|
91200fdd2e
|
Merge pull request #6925 from ethereum/keccakTests
Some keccak tests.
|
2019-06-11 15:55:09 +02:00 |
|
Daniel Kirchner
|
644f5c00f5
|
Merge pull request #6924 from ethereum/testRefactoring
Some test case refactoring.
|
2019-06-11 15:13:45 +02:00 |
|
Daniel Kirchner
|
073777e836
|
Some keccak tests.
|
2019-06-11 15:09:52 +02:00 |
|
Daniel Kirchner
|
ba8ad1a1d9
|
Use the TestCase settings mechanism for object compiler tests.
|
2019-06-11 14:11:27 +02:00 |
|
Daniel Kirchner
|
547173533c
|
Unify parsing of simple test expectations and require lines to start with `// `.
|
2019-06-11 14:05:45 +02:00 |
|
Daniel Kirchner
|
bd1f65d609
|
Merge pull request #6888 from anurag-git/anurag_semantic_test_update
New semantic tests extracted
|
2019-06-11 10:50:10 +02:00 |
|
Anurag Dashputre
|
60332c6469
|
Extract semantic tests for
1. Transaction Status
2. Empty Contract
3. Smoke test for Range
|
2019-06-09 14:46:02 +02:00 |
|