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
8,613 Commits 348 Branches 121 Tags 100 MiB
5234408ff5
Commit Graph

8613 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Alex Beregszaszi
f2d6226718 Some smaller issues found by Covertiy Scan 2017-08-22 13:55:28 +01:00
Alex Beregszaszi
f38429fef8 Switch stream properties back after temporary modification 2017-08-22 13:55:01 +01:00