chriseth
157b5f1ae9
Cleanup of SHA3.h
2017-08-25 12:13:26 +02:00
chriseth
012d9f7906
Merge pull request #2803 from ethereum/incrementVersion
...
Set version to 0.4.17
2017-08-24 23:38:51 +02:00
chriseth
8e37f56bad
Set version to 0.4.17
2017-08-24 22:41:41 +02:00
chriseth
dd67e5966f
Merge pull request #2800 from ethereum/updateVersion
...
Describe experimental features.
2017-08-24 18:38:32 +02:00
chriseth
29ba351a73
Describe experimental features.
2017-08-24 18:37:52 +02:00
chriseth
c5b81f53ce
Merge pull request #2797 from ethereum/updateVersion
...
Prepare 0.4.16 release.
2017-08-24 18:32:02 +02:00
chriseth
0878eaad46
Prepare 0.4.16 release.
2017-08-24 18:31:37 +02:00
chriseth
71294b2872
Merge pull request #2798 from ethereum/statemutability
...
Rename statemutability to stateMutability in ABI/AST
2017-08-24 18:27:08 +02:00
chriseth
5fbe3af12e
Merge pull request #2799 from designium/patch-2
...
Update on the example for BlindAction
2017-08-24 18:10:12 +02:00
Chim Kan
efe9d55ab2
Update on the example for BlindAction
...
In the Mist app, the Blind Action contract cannot compile because it cannot accept implicit conversion of integer to byte32. I just added the conversion method byte32 in line 470 for bid.blindedBid.
2017-08-24 12:03:27 -04:00
Alex Beregszaszi
deeac7e2e0
Rename statemutability to stateMutability in ABI/AST
2017-08-24 15:23:00 +01:00
Alex Beregszaszi
d3fd6a8800
Merge pull request #2745 from ethereum/statemutability-pure
...
Introduce pure specifier on functions
2017-08-24 14:53:13 +01:00
Alex Beregszaszi
f646247dfb
Consider pure as constant for the AST JSON (to aid static analyzers)
2017-08-24 14:13:34 +01:00
Alex Beregszaszi
23c791e4df
Add pure to grammar
2017-08-24 13:46:18 +01:00
Alex Beregszaszi
504e6285f3
Add pure to ABI spec
2017-08-24 13:46:18 +01:00
Alex Beregszaszi
93e6e83093
Document pure functions
2017-08-24 13:46:18 +01:00
Alex Beregszaszi
e9a9a07d94
Add ABI test for pure function
2017-08-24 13:46:18 +01:00
Alex Beregszaszi
5668377c72
Introduce pure specifier on functions
2017-08-24 13:46:18 +01:00
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