 chriseth
|
762f7ac250
|
Suggest correct version for pragma and complain about pre-release version.
|
2016-10-25 13:45:50 +02:00 |
|
 chriseth
|
2f7c847ce4
|
Merge pull request #1279 from ethereum/semver-helper
Export major/minor/patch helpers on SemVerVersion
|
2016-10-25 13:20:08 +02:00 |
|
 Alex Beregszaszi
|
7a988555c3
|
Export major/minor/patch helpers on SemVerVersion
|
2016-10-25 12:13:41 +01:00 |
|
|
chriseth
|
e00a4b47c0
|
Merge pull request #1264 from ethereum/988
State variable under contract's name
|
2016-10-25 12:50:24 +02:00 |
|
 Yoichi Hirai
|
59f6c18c2b
|
analysis: determine if a member access on a contract is an l-value
|
2016-10-24 19:31:57 +02:00 |
|
|
chriseth
|
f25aa0c68b
|
More checks for missing mobile type.
|
2016-10-24 16:45:25 +02:00 |
|
|
Yoichi Hirai
|
5245a3cf74
|
codegen: refactor common code
|
2016-10-24 16:34:23 +02:00 |
|
|
Yoichi Hirai
|
acba7b92e5
|
codegen: if a member access has been resolved as a variable, follow that
This fixes at least the first example in #988
|
2016-10-24 16:34:23 +02:00 |
|
|
Yoichi Hirai
|
7cee39fc17
|
codegen: skip contract L for L.Foo where Foo is a type
Fixes #1116
|
2016-10-24 15:30:26 +02:00 |
|
|
chriseth
|
2b00804d1d
|
Fix crash in throw.
|
2016-10-24 14:32:49 +02:00 |
|
|
chriseth
|
cb1fcaf6f6
|
Merge pull request #1240 from ethereum/1151
ast: super contract type does not contain native members
|
2016-10-24 11:45:54 +02:00 |
|
|
Yoichi Hirai
|
9d9380d30e
|
ast: add a null check
|
2016-10-21 13:01:45 +02:00 |
|
|
Yoichi Hirai
|
83e8fdecc5
|
ast: ContractDefinition::inheritableMembers contains enums as well as structs
This fixes #1131
|
2016-10-21 13:01:45 +02:00 |
|
|
Alex Beregszaszi
|
7b0fb5d06b
|
Support variable references within modifiers for inline assembly
|
2016-10-20 23:45:13 +01:00 |
|
|
Yoichi Hirai
|
7887045a48
|
ast: simplifications suggested by @chriseth
|
2016-10-20 16:09:52 +02:00 |
|
|
Yoichi Hirai
|
ff9039b2a8
|
When a contract type is super, its members do not contain the functions of itself
Fixes #1151
|
2016-10-20 16:09:52 +02:00 |
|
|
Alex Beregszaszi
|
0e33b63468
|
Allow warnings for inline assembly block
|
2016-10-20 13:25:28 +01:00 |
|
|
Alex Beregszaszi
|
c3330faf21
|
Issue warnings if stack is not balanced after inline assembly block
|
2016-10-20 13:25:28 +01:00 |
|
|
Alex Beregszaszi
|
0dd75ac100
|
Use warning function in TypeChecker
|
2016-10-20 13:25:28 +01:00 |
|
|
Alex Beregszaszi
|
7ac27c957e
|
Use >> (SAR) to denote constant shifts
|
2016-10-20 00:03:09 +01:00 |
|
|
Alex Beregszaszi
|
33250eef9e
|
Reject negative shifts within constants
|
2016-10-20 00:03:09 +01:00 |
|
 RJ
|
48f2028911
|
Support shifting constants
|
2016-10-20 00:03:09 +01:00 |
|
|
Alex Beregszaszi
|
d18e56661d
|
Disallow unsupported RValues in inline assembly
|
2016-10-19 20:44:15 +01:00 |
|
|
Alex Beregszaszi
|
9616470f67
|
Disallow magic variables in inline assembly
|
2016-10-19 20:44:15 +01:00 |
|
|
Alex Beregszaszi
|
fdd1108c1c
|
Omit non-convertible bound functions
|
2016-10-19 10:41:04 +01:00 |
|
|
Alex Beregszaszi
|
003359a0b6
|
Ensure that bound functions cannot be defined without self type
|
2016-10-19 10:41:04 +01:00 |
|
|
Yoichi Hirai
|
d2470a3e39
|
super's size on stack is zero, because the expression compiler does not push an address.
This is different from `this`, which is translated to `ADDRESS` instruction.
|
2016-10-18 14:17:49 +02:00 |
|
|
Yoichi Hirai
|
8e11bac8de
|
Check if a fixedBytes fits an integer type
before looking up the size of the integer type.
Fixes #1150.
|
2016-10-13 20:17:13 +02:00 |
|
|
Alex Beregszaszi
|
48ac970677
|
Merge pull request #1169 from ethereum/inline-assembly-tags
Fix assignment after tags in inline assembly
|
2016-10-12 00:00:28 +01:00 |
|
|
chriseth
|
821fe6e916
|
Merge pull request #1181 from ethereum/formal_ignore_pragma
formal: ignore pragmas during Why3 code generation
|
2016-10-11 16:29:32 +02:00 |
|
|
Alex Beregszaszi
|
d0791fb365
|
Fix assignment after tags in inline assembly
|
2016-10-11 12:28:49 +01:00 |
|
|
Yoichi Hirai
|
ab1f4632aa
|
Chack for non-version pragmas
|
2016-10-11 00:07:11 +02:00 |
|
|
Yoichi Hirai
|
092e5829d8
|
formal: ignore pragmas during Why3 code generation
Fixes #1177
|
2016-10-11 00:01:29 +02:00 |
|
|
Yoichi Hirai
|
7ae68e1e47
|
Fix pragma keyword check
Fixes #1192
|
2016-10-11 00:00:22 +02:00 |
|
|
chriseth
|
d3f410d8a8
|
Merge pull request #1189 from NicolaiSoeborg/develop
Add HexLiteral to grammar, fixes #1186
|
2016-10-10 23:41:55 +02:00 |
|
 Nicolai
|
e923a5e190
|
Fix: HexLiteral must be even number of nibbles
solc even allow 0 nibbles:
bytes a = hex"";
|
2016-10-10 23:08:44 +02:00 |
|
|
chriseth
|
0b1d449057
|
Merge pull request #1168 from ethereum/rename-dev-sha3
Rename dev::sha3 to dev::keccak256
|
2016-10-10 21:23:27 +02:00 |
|
|
Nicolai
|
f6195c0a46
|
Add HexLiteral to grammar, fixes #1186
|
2016-10-10 19:42:42 +02:00 |
|
|
Alex Beregszaszi
|
ae0477744c
|
Support address in inline assembly
|
2016-10-06 22:05:01 +01:00 |
|
|
Alex Beregszaszi
|
34df80c502
|
Add alias keccak256() for sha3()
|
2016-10-06 16:34:41 +02:00 |
|
|
Alex Beregszaszi
|
aefb6e5fcf
|
Rename dev::sha3 to dev::keccak256
|
2016-10-06 14:53:40 +01:00 |
|
|
Alex Beregszaszi
|
6afdee5958
|
Support both suicide/selfdestruct in inline assembly
|
2016-10-06 12:44:33 +01:00 |
|
|
chriseth
|
212e016091
|
Merge pull request #1104 from ethereum/fixmemcosts
Fix memory resize costs during call
|
2016-09-17 12:30:41 +02:00 |
|
|
chriseth
|
5a45990458
|
Access output memory area so that we do not pay for resize during call.
|
2016-09-17 11:29:54 +02:00 |
|
|
chriseth
|
727c6fac85
|
Allow value transfer to library functions.
|
2016-09-17 11:29:27 +02:00 |
|
|
chriseth
|
031fd568cc
|
Fix crash for TypeName[k].
|
2016-09-15 18:16:34 +02:00 |
|
|
Yoichi Hirai
|
4337e70cca
|
Prepare for leaky exceptions
Now toFormalType() reports errors by exceptions, they will be
sometimes leaked to the wider context. This commits adds a catch.
|
2016-09-09 20:15:13 +02:00 |
|
|
Yoichi Hirai
|
ac7c6ae7d2
|
toFormalType reports errors by an exception
This allows error reporting without passing `ASTNode` to `toFormalType()`
|
2016-09-09 20:15:08 +02:00 |
|
|
Yoichi Hirai
|
c861cf579d
|
Translate mapping types into Why3 arrays when keys are integers
Even when the keys are signed the translation is supposed to work
because Why3 arrays allow negative indices.
|
2016-09-09 19:11:15 +02:00 |
|
|
chriseth
|
2c4e9ece07
|
Merge pull request #1047 from pirapira/address-in-prelude
formal verification: Add Address module in the WhyML prelude
|
2016-09-09 17:34:52 +02:00 |
|