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
Alex Beregszaszi
97169e58ae
Merge pull request #2734 from ethereum/reject-create-interface
...
Reject the creation of interface with the new statement
2017-08-22 12:11:37 +01:00
chriseth
628b54ce35
Reduce max recursion depth.
2017-08-22 12:44:23 +02:00
chriseth
692e4c57e8
Check recursion depth in assembly parser.
2017-08-22 12:44:22 +02:00
chriseth
97cb571ba4
Tests for recursion in JULIA.
2017-08-22 12:43:44 +02:00
chriseth
f874fc28d1
Merge pull request #2772 from ethereum/cppcheck
...
Improvements found by Cppcheck (const/static functions and explicit constructors)
2017-08-22 12:43:19 +02:00
chriseth
7b0046a9aa
Check inheritance specifier arguments for interfaces.
2017-08-22 11:39:50 +01:00
Alex Beregszaszi
9897c56b2c
Mark a lot of functions static (where possible)
2017-08-22 10:51:46 +01:00
Alex Beregszaszi
2a5772cff7
Mark appropriate constructors explicit
2017-08-22 10:51:46 +01:00
Alex Beregszaszi
3cf2426e1a
Make vector+vector template more readable
2017-08-22 10:51:46 +01:00
Alex Beregszaszi
e2cfc9ee92
Mark a lot of functions const (where possible)
2017-08-22 10:51:46 +01:00