cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
14,139 Commits 348 Branches 121 Tags 100 MiB
869d69d293
Commit Graph

14139 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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