cerc-io/solidity
11
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
8,415 Commits 348 Branches 121 Tags
65d78f36c1f5b88546261bc005ef952065d34adf
Commit Graph
8415 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Alex Beregszaszi 65d78f36c1 Merge pull request #2794 from nicksavers/patch-2 
Fix link to Russian version on wiki
 2017-08-24 13:45:35 +01:00
chriseth 220259dc75 Merge pull request #2781 from ethereum/compiler-flags 
WIP: CMake: Better handle -fstack-protector flag support
 2017-08-24 13:50:43 +02:00
chriseth 9488661a4a Merge pull request #2793 from ethereum/fixZ3Requirement 
Require libz3-dev for ubuntu PPA builds.
 2017-08-24 12:45:13 +02:00
Paweł Bylica d223b1361b CMake: Better handle -fstack-protector flag support 2017-08-24 12:26:37 +02:00
Nick Savers f67f798887 Fix link to Russian version on wiki 2017-08-24 12:15:26 +02:00
chriseth 6dd7f6284b Require libz3-dev for ubuntu PPA builds. 2017-08-24 12:04:50 +02:00
chriseth 8af6f193bc Merge pull request #2770 from ethereum/recursionInAsm 
Also prevent too much recursion in the assembly parser.
 2017-08-24 11:14:01 +02:00
chriseth 9c74473a9b Merge pull request #2787 from designium/patch-1 
Adding storage into the pointer for Voter delegate
 2017-08-24 10:43:32 +02:00
chriseth 78c2dcacec Merge pull request #2790 from elopio/snap-z3 
Add libz3-dev to the snap build-packages
 2017-08-24 10:41:11 +02:00
chriseth 77f8d6f1e9 Merge pull request #2791 from ethereum/cmake-z3 
CMake: Fix FindZ3
 2017-08-24 10:40:40 +02:00
Paweł Bylica 5831b048c0 CMake: Fix FindZ3 2017-08-24 08:31:51 +02:00
Leo Arias 940ec4b353 Add libz3-dev to the snap build-packages 2017-08-24 06:20:35 +00:00
Chim Kan b5d2a4ecd7 Adding storage into the pointer for Voter delegate 
Hi,

The example from https://github.com/ethereum/solidity/blob/develop/docs/solidity-by-example.rst is not working. 

It keeps giving this error in the Mist program:

     Could not compile source code. 

     Variable is declared as a storage pointer. Use an explicit "storage" keyword to silence this warning.
            Voter delegate = voters[to];
            ^------------^

The solution is just to add the keyword "storage" and then the example works again.
 2017-08-23 20:25:12 -04:00
Alex Beregszaszi 957f23a9f4 Merge pull request #2538 from ethereum/z3Conditions 
z3 conditions
 2017-08-24 00:27:09 +01:00
Alex Beregszaszi ee8fa886cc Merge pull request #2782 from ethereum/externalTests 
Add external tests.
 2017-08-23 23:57:04 +01:00
Alex Beregszaszi a0d515c1a7 Keep REPO_ROOT as absolute path 2017-08-23 23:07:18 +01:00
chriseth e8d1658b58 Add external tests. 2017-08-23 21:11:03 +01:00
Alex Beregszaszi e7832eccf4 Merge pull request #2783 from ethereum/cmake-dead-code 
CMake: Remove unused scripts
 2017-08-23 21:10:21 +01:00
Paweł Bylica b0c78eaee8 Merge pull request #2784 from ethereum/cmake-3.0 
Fix CMake 3.0 compatibility
 2017-08-23 22:09:07 +02:00
Paweł Bylica d57e3d7f72 CMake: Explicitly ask for Boost.System library 2017-08-23 17:59:48 +02:00
Paweł Bylica ee09a06647 CMake: Add back compatibility with CMake 3.0 2017-08-23 17:54:53 +02:00
chriseth cf5e1d6120 Review changes. 2017-08-23 17:37:35 +02:00
chriseth 8853183d06 Changelog entry. 2017-08-23 17:37:35 +02:00
chriseth c93f0434cd Use experimental feature pragma for SMT checker. 2017-08-23 17:37:35 +02:00
chriseth 75f09f2a84 Partial support for if statements. 2017-08-23 17:37:35 +02:00
chriseth 5bfd5d98c1 Format numbers more nicely. 2017-08-23 17:37:35 +02:00
chriseth 1e05ebe50e Refactor Z3 read callback. 2017-08-23 17:37:35 +02:00
chriseth 9ac2ac14c1 Rename read file callback. 2017-08-23 17:37:35 +02:00
chriseth ab5e3a8f6d Introduce native Z3 support. 2017-08-23 17:37:35 +02:00
chriseth 4cea3d4aa4 Insert abstraction layer. 2017-08-23 17:37:35 +02:00
chriseth c9cf24458b Prepare build system for Z3. 2017-08-23 17:37:35 +02:00
Paweł Bylica b9015f0fb6 CMake: Remove unused scripts 2017-08-23 17:25:29 +02:00
chriseth b3f8ed457a Cleanup. 2017-08-23 14:24:30 +02:00
chriseth 39fc798999 Use file to communicate with z3. 2017-08-23 14:24:05 +02:00
chriseth df848859da Rewrite using SMTLIB2 interface. 2017-08-23 14:24:05 +02:00
chriseth 1ece7bf443 z3 conditions 2017-08-23 14:24:04 +02:00
Alex Beregszaszi 3b07c4d38e Merge pull request #2757 from ethereum/cmake 
Static linking
 2017-08-23 12:36:24 +01:00
chriseth c5f11d938f Merge pull request #2656 from ethereum/performance1 
Avoid some Json copy operations.
 2017-08-23 13:26:43 +02:00
Paweł Bylica 09628dee8c docs: Add a note about CMake options 2017-08-22 22:50:25 +02:00
Paweł Bylica 388fc983fa CMake: Cleanup "local" include path 2017-08-22 22:50:25 +02:00
Paweł Bylica 4974ff3962 CMake: Add option to static link solc 2017-08-22 22:50:25 +02:00
Alex Beregszaszi 0ffc5db82b Merge pull request #2762 from ethereum/statemutability-view 
Introduce view state-mutability (keep constant as alias)
 2017-08-22 19:09:35 +01:00
Alex Beregszaszi b1cdf81506 Document view functions 2017-08-22 18:25:46 +01:00
Alex Beregszaszi 70bb1e7478 Update tests for view 2017-08-22 18:24:22 +01:00
Alex Beregszaszi 9e8d2a561f Update grammar with view 2017-08-22 18:24:22 +01:00
Alex Beregszaszi efe4d68a7b Introduce view (and keep constant as an alias) 2017-08-22 18:24:22 +01:00
Paweł Bylica 15fd43f035 CMake: Fix linking with pthread 2017-08-22 16:45:57 +02:00
chriseth 210b4870a8 Merge pull request #2775 from ethereum/coverity 
Fix some issues found by Coverity
 2017-08-22 15:39:50 +02:00
Alex Beregszaszi badb269502 Merge pull request #2776 from ethereum/removeVisitsToAbstractASTNode 
Remove visits to abstract AST class TypeName.
 2017-08-22 14:34:55 +01:00
chriseth 9b6caa3fc4 Remove visits to abstract AST class TypeName. 2017-08-22 15:12:38 +02:00