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 |
|
Daniel Kirchner
|
74b589577b
|
Merge pull request #6912 from ethereum/bigEndian
CMake error for big endian systems.
|
2019-06-07 16:44:52 +02:00 |
|
Daniel Kirchner
|
a4dfaac53d
|
Changlelog entry.
|
2019-06-07 10:45:01 +02:00 |
|
Daniel Kirchner
|
9d2f1b0eac
|
Add note about boost 1.70+ and solidity<=0.5.9 to the docs.
|
2019-06-07 10:42:18 +02:00 |
|
Chris Chinchilla
|
dc085bb897
|
Merge pull request #6889 from Meshugah/develop
Brought warning to higher priority than note, etc.
|
2019-06-07 09:31:33 +02:00 |
|
Vignesh Karthikeyan
|
f7a8b6da65
|
Merge pull request #1 from ethereum/develop
Update
|
2019-06-07 00:52:12 +05:30 |
|
Vignesh Karthikeyan
|
1d9b6b5bbf
|
Added Content and Edited for readability
The example for signextend requested by @bshastry was added. Codeblock was moved before warning for readability.
|
2019-06-07 00:47:08 +05:30 |
|
Daniel Kirchner
|
a4087d4b60
|
Merge pull request #6916 from ethereum/alsoViaYul
Allow extracted semantics tests to run with and without yul.
|
2019-06-06 21:05:52 +02:00 |
|
Daniel Kirchner
|
dcb6b2cb33
|
Add back comment and output messages.
|
2019-06-06 21:03:33 +02:00 |
|
Daniel Kirchner
|
cb9c35f883
|
Define imported targets manually, if not provided by find_package(Boost).
|
2019-06-06 21:03:33 +02:00 |
|
Daniel Kirchner
|
8e20a5e59a
|
Allow extracted semantics tests to run both with and without Yul.
|
2019-06-06 20:19:16 +02:00 |
|
Daniel Kirchner
|
2ec45797b2
|
Update boost to 1.70 for emscripten and cache a proper installation.
|
2019-06-06 18:49:34 +02:00 |
|
Daniel Kirchner
|
226f8bb64d
|
Use imported cmake targets for boost.
|
2019-06-06 18:49:34 +02:00 |
|
Daniel Kirchner
|
a445df63cf
|
Require cmake 3.5.
|
2019-06-06 18:49:25 +02:00 |
|
Daniel Kirchner
|
5370af50e3
|
Attempt to workaround for older cmake versions.
|
2019-06-06 16:16:55 +02:00 |
|
Daniel Kirchner
|
f21d5ab839
|
CMake error for big endian systems.
|
2019-06-06 14:08:27 +02:00 |
|
Mathias L. Baumann
|
44c774af4b
|
Merge pull request #6911 from ethereum/asmCallTrailingComma
AsmParser: Disallow trailing commas in function call arguments.
|
2019-06-06 14:05:11 +02:00 |
|
Daniel Kirchner
|
2dbdddc7e5
|
Fix argument count for require with message and string literals.
|
2019-06-06 13:17:08 +02:00 |
|
Daniel Kirchner
|
6368cd4c82
|
AsmParser: disallow trailing commas in function call arguments.
|
2019-06-06 13:16:27 +02:00 |
|