Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | More checks for missing mobile type. | chriseth | 2016-10-24 | 4 | -11/+44 |
| | |||||
* | codegen: skip contract L for L.Foo where Foo is a type | Yoichi Hirai | 2016-10-24 | 1 | -1/+6 |
| | | | | Fixes #1116 | ||||
* | Fix crash in throw. | chriseth | 2016-10-24 | 1 | -1/+1 |
| | |||||
* | Merge pull request #1240 from ethereum/1151 | chriseth | 2016-10-24 | 1 | -1/+5 |
|\ | | | | | ast: super contract type does not contain native members | ||||
| * | ast: simplifications suggested by @chriseth | Yoichi Hirai | 2016-10-20 | 1 | -7/+4 |
| | | |||||
| * | When a contract type is super, its members do not contain the functions of ↵ | Yoichi Hirai | 2016-10-20 | 1 | -1/+8 |
| | | | | | | | | | | | | itself Fixes #1151 | ||||
* | | ast: add a null check | Yoichi Hirai | 2016-10-21 | 1 | -0/+1 |
| | | |||||
* | | ast: ContractDefinition::inheritableMembers contains enums as well as structs | Yoichi Hirai | 2016-10-21 | 1 | -0/+3 |
| | | | | | | | | This fixes #1131 | ||||
* | | Support variable references within modifiers for inline assembly | Alex Beregszaszi | 2016-10-21 | 1 | -1/+1 |
| | | |||||
* | | Allow warnings for inline assembly block | Alex Beregszaszi | 2016-10-20 | 1 | -1/+1 |
| | | |||||
* | | Issue warnings if stack is not balanced after inline assembly block | Alex Beregszaszi | 2016-10-20 | 1 | -2/+24 |
| | | |||||
* | | Use warning function in TypeChecker | Alex Beregszaszi | 2016-10-20 | 1 | -5/+4 |
|/ | |||||
* | Use >> (SAR) to denote constant shifts | Alex Beregszaszi | 2016-10-20 | 1 | -1/+3 |
| | |||||
* | Reject negative shifts within constants | Alex Beregszaszi | 2016-10-20 | 1 | -4/+8 |
| | |||||
* | Support shifting constants | RJ | 2016-10-20 | 1 | -0/+22 |
| | |||||
* | Disallow unsupported RValues in inline assembly | Alex Beregszaszi | 2016-10-20 | 1 | -4/+2 |
| | |||||
* | Disallow magic variables in inline assembly | Alex Beregszaszi | 2016-10-20 | 1 | -0/+4 |
| | |||||
* | Omit non-convertible bound functions | Alex Beregszaszi | 2016-10-19 | 1 | -1/+2 |
| | |||||
* | Ensure that bound functions cannot be defined without self type | Alex Beregszaszi | 2016-10-19 | 2 | -2/+11 |
| | |||||
* | `super`'s size on stack is zero, because the expression compiler does not ↵ | Yoichi Hirai | 2016-10-18 | 1 | -0/+1 |
| | | | | | | push an address. This is different from `this`, which is translated to `ADDRESS` instruction. | ||||
* | Check if a fixedBytes fits an integer type | Yoichi Hirai | 2016-10-14 | 1 | -1/+5 |
| | | | | | | before looking up the size of the integer type. Fixes #1150. | ||||
* | Merge pull request #1169 from ethereum/inline-assembly-tags | Alex Beregszaszi | 2016-10-12 | 1 | -1/+3 |
|\ | | | | | Fix assignment after tags in inline assembly | ||||
| * | Fix assignment after tags in inline assembly | Alex Beregszaszi | 2016-10-11 | 1 | -1/+3 |
| | | |||||
* | | Merge pull request #1181 from ethereum/formal_ignore_pragma | chriseth | 2016-10-11 | 2 | -0/+15 |
|\ \ | | | | | | | formal: ignore pragmas during Why3 code generation | ||||
| * | | Chack for non-version pragmas | Yoichi Hirai | 2016-10-11 | 1 | -1/+10 |
| | | | |||||
| * | | formal: ignore pragmas during Why3 code generation | Yoichi Hirai | 2016-10-11 | 2 | -0/+6 |
| |/ | | | | | | | Fixes #1177 | ||||
* / | Fix pragma keyword check | Yoichi Hirai | 2016-10-11 | 1 | -1/+1 |
|/ | | | | Fixes #1192 | ||||
* | Merge pull request #1189 from NicolaiSoeborg/develop | chriseth | 2016-10-11 | 1 | -2/+2 |
|\ | | | | | Add HexLiteral to grammar, fixes #1186 | ||||
| * | Fix: HexLiteral must be even number of nibbles | Nicolai | 2016-10-11 | 1 | -1/+1 |
| | | | | | | | | | | solc even allow 0 nibbles: bytes a = hex""; | ||||
| * | Add HexLiteral to grammar, fixes #1186 | Nicolai | 2016-10-11 | 1 | -2/+2 |
| | | |||||
* | | Merge pull request #1168 from ethereum/rename-dev-sha3 | chriseth | 2016-10-11 | 5 | -5/+5 |
|\ \ | | | | | | | Rename dev::sha3 to dev::keccak256 | ||||
| * | | Rename dev::sha3 to dev::keccak256 | Alex Beregszaszi | 2016-10-06 | 5 | -5/+5 |
| | | | |||||
* | | | Support address in inline assembly | Alex Beregszaszi | 2016-10-07 | 1 | -0/+3 |
| | | | |||||
* | | | Add alias keccak256() for sha3() | Alex Beregszaszi | 2016-10-06 | 1 | -0/+2 |
| | | | |||||
* | | | Support both suicide/selfdestruct in inline assembly | Alex Beregszaszi | 2016-10-06 | 1 | -2/+5 |
|/ / | |||||
* | | Merge pull request #1104 from ethereum/fixmemcosts | chriseth | 2016-09-17 | 1 | -4/+13 |
|\ \ | | | | | | | Fix memory resize costs during call | ||||
| * | | Access output memory area so that we do not pay for resize during call. | chriseth | 2016-09-17 | 1 | -4/+13 |
| | | | |||||
* | | | Allow value transfer to library functions. | chriseth | 2016-09-17 | 1 | -1/+3 |
|/ / | |||||
* | | Fix crash for TypeName[k]. | chriseth | 2016-09-16 | 1 | -1/+1 |
| | | |||||
* | | Prepare for leaky exceptions | Yoichi Hirai | 2016-09-10 | 1 | -0/+4 |
| | | | | | | | | | | Now toFormalType() reports errors by exceptions, they will be sometimes leaked to the wider context. This commits adds a catch. | ||||
* | | toFormalType reports errors by an exception | Yoichi Hirai | 2016-09-10 | 2 | -21/+71 |
| | | | | | | | | This allows error reporting without passing `ASTNode` to `toFormalType()` | ||||
* | | Translate mapping types into Why3 arrays when keys are integers | Yoichi Hirai | 2016-09-10 | 1 | -0/+14 |
| | | | | | | | | | | Even when the keys are signed the translation is supposed to work because Why3 arrays allow negative indices. | ||||
* | | Merge pull request #1047 from pirapira/address-in-prelude | chriseth | 2016-09-09 | 1 | -0/+9 |
|\ \ | | | | | | | formal verification: Add Address module in the WhyML prelude | ||||
| * | | Add Address module in the WhyML prelude | Yoichi Hirai | 2016-09-08 | 1 | -0/+9 |
| | | | | | | | | | | | | | | | | | | In the `--formal` output, this commit adds a module called `Address`, which defines the address type as unsigned integer type bounded at 2^160-1. | ||||
* | | | Fix problem with release version string. | chriseth | 2016-09-08 | 1 | -3/+5 |
|/ / | |||||
* | | Merge pull request #1041 from pirapira/typo_and_whitespace | chriseth | 2016-09-08 | 2 | -2/+2 |
|\ \ | | | | | | | Fix a typo and a whitespace inconsistency | ||||
| * | | Fix a typo and whitespaces | Yoichi Hirai | 2016-09-07 | 2 | -2/+2 |
| | | | |||||
* | | | Merge pull request #1044 from pirapira/todo_item_to_issue | chriseth | 2016-09-08 | 1 | -1/+1 |
|\ \ \ | | | | | | | | | Append an issue id #1043 to a @todo comment about it | ||||
| * | | | Append an issue id #1043 to a @todo comment about it | Yoichi Hirai | 2016-09-07 | 1 | -1/+1 |
| |/ / | |||||
* | | | Include assert for selfType on bound functions to avoid crash | Alex Beregszaszi | 2016-09-07 | 1 | -1/+2 |
| | | | |||||
* | | | Constructor must be internal or public | Alex Beregszaszi | 2016-09-06 | 1 | -0/+2 |
| | | | |||||
* | | | Reject constant constructors | Alex Beregszaszi | 2016-09-06 | 1 | -2/+6 |
| | | | |||||
* | | | Merge pull request #1016 from ethereum/reserved | chriseth | 2016-09-06 | 2 | -1/+12 |
|\ \ \ | | | | | | | | | Report the usage of reserved keywords more nicely | ||||
| * | | | Raise proper error on reserved keywords | Alex Beregszaszi | 2016-09-06 | 1 | -1/+11 |
| | | | | |||||
| * | | | Introduce isReservedKeyword() | Alex Beregszaszi | 2016-09-06 | 1 | -0/+1 |
| | | | | |||||
* | | | | Merge pull request #1014 from ethereum/strict-fallback | chriseth | 2016-09-06 | 2 | -1/+2 |
|\ \ \ \ | | | | | | | | | | | Reject constant modifier on the fallback function | ||||
| * | | | | Reject constant modifier on the fallback function | Alex Beregszaszi | 2016-09-06 | 2 | -1/+2 |
| |/ / / | |||||
* | | | | Merge pull request #1011 from walter-weinmann/wwe_grammar | chriseth | 2016-09-06 | 1 | -3/+3 |
|\ \ \ \ | | | | | | | | | | | Changes related to issues #984, #989, #999, #1001 and #1004. | ||||
| * | | | | Considering comment from @chriseth regarding FunctionCall. | walter-weinmann | 2016-09-06 | 1 | -3/+1 |
| | | | | | |||||
| * | | | | Considering comments from @chriseth regarding ExpressionStatement and ↵ | walter-weinmann | 2016-09-06 | 1 | -4/+6 |
| | | | | | | | | | | | | | | | | | | | | FunctionCall. | ||||
| * | | | | Changes related to issues #984, #989, #999, #1001 and #1004. | walter-weinmann | 2016-09-06 | 1 | -4/+4 |
| | | | | | |||||
* | | | | | Merge pull request #1008 from ethereum/stipendwithsend | chriseth | 2016-09-06 | 1 | -1/+6 |
|\ \ \ \ \ | | | | | | | | | | | | | Provide gas stipend manually for send(0). | ||||
| * | | | | | Provide gas stipend manually for send(0). | chriseth | 2016-09-06 | 1 | -1/+6 |
| | |/ / / | |/| | | | |||||
* / | | | | Reserve view and pure as keywords | Alex Beregszaszi | 2016-09-06 | 1 | -0/+2 |
|/ / / / | |||||
* | | | | Merge pull request #665 from axic/feature/accept-ether | chriseth | 2016-09-06 | 9 | -44/+133 |
|\ \ \ \ | | | | | | | | | | | BREAKING: Add payable modifier | ||||
| * | | | | Test and fixes for payable fallback in ABI. | chriseth | 2016-09-06 | 1 | -0/+1 |
| | | | | | |||||
| * | | | | Tests for payable / private combination. | chriseth | 2016-09-06 | 1 | -2/+2 |
| | | | | | |||||
| * | | | | Make constant and payable mutually exclusive. | chriseth | 2016-09-06 | 1 | -0/+2 |
| | | | | | |||||
| * | | | | Change function type to include and propagate payable and constant modifier. | chriseth | 2016-09-06 | 5 | -28/+78 |
| | | | | | |||||
| * | | | | Merged in changes from chriseth/payable | Alex Beregszaszi | 2016-09-06 | 4 | -33/+37 |
| | | | | | |||||
| * | | | | Do not include the payable keyword for constructors | Alex Beregszaszi | 2016-09-06 | 1 | -1/+0 |
| | | | | | |||||
| * | | | | Support payable keyword for functions | Alex Beregszaszi | 2016-09-06 | 7 | -1/+34 |
| |/ / / | |||||
* | | | | Merge pull request #995 from chriseth/fixutf8astjson | chriseth | 2016-09-06 | 1 | -2/+15 |
|\ \ \ \ | | | | | | | | | | | Do not emit non-utf8 strings for ast json. | ||||
| * | | | | Do not emit non-utf8 strings for ast json. | chriseth | 2016-09-02 | 1 | -2/+15 |
| | | | | | |||||
* | | | | | Merge pull request #1006 from ethereum/nenewaccountgas | chriseth | 2016-09-06 | 1 | -1/+3 |
|\ \ \ \ \ | |_|/ / / |/| | | | | Do not pay new account gas. | ||||
| * | | | | Do not pay new account gas. | chriseth | 2016-09-05 | 1 | -1/+3 |
| | |/ / | |/| | | | | | | | | | | | | | | If we checked that the target contract exists, we do not have to pay the "new account gas". | ||||
* | | | | Merge pull request #1005 from ethereum/modifierbody | Yoichi Hirai | 2016-09-06 | 2 | -3/+4 |
|\ \ \ \ | | | | | | | | | | | Require ";" after "_" | ||||
| * | | | | Update grammar.txt to reflect the change. | chriseth | 2016-09-05 | 1 | -2/+3 |
| | | | | | |||||
| * | | | | Require ";" after "_" | chriseth | 2016-09-05 | 1 | -1/+1 |
| |/ / / | |||||
* | | | | Merge pull request #993 from chriseth/fixshacrash | chriseth | 2016-09-06 | 1 | -0/+8 |
|\ \ \ \ | |/ / / |/| | | | Guard encoding crashes with assertions. | ||||
| * | | | Improve error message. | chriseth | 2016-09-05 | 1 | -1/+1 |
| | | | | |||||
| * | | | Guard encoding crashes with assertions. | chriseth | 2016-09-02 | 1 | -0/+8 |
| |/ / | |||||
* / / | Do not use internal types for event parameters. | chriseth | 2016-09-02 | 1 | -1/+2 |
|/ / | |||||
* | | Merge pull request #935 from chriseth/pragma | chriseth | 2016-09-01 | 16 | -7/+566 |
|\ \ | | | | | | | Version pragma | ||||
| * | | Use version string (including prerelease) for pragma matching. | chriseth | 2016-09-01 | 1 | -2/+3 |
| | | | |||||
| * | | Version pragma. | chriseth | 2016-09-01 | 16 | -7/+565 |
| | | | |||||
* | | | fix CompilerStack::absolutePath | Dimitry | 2016-09-01 | 1 | -1/+1 |
|/ / | |||||
* | | Make fallback function throw by default. | chriseth | 2016-08-30 | 2 | -4/+3 |
| | | |||||
* | | Merge pull request #664 from axic/feature/interface-fallback | chriseth | 2016-08-30 | 1 | -1/+9 |
|\ \ | | | | | | | Introduce fallback entry in the ABI | ||||
| * | | Introduce fallback entry in the ABI | Alex Beregszaszi | 2016-08-27 | 1 | -1/+9 |
| | | | |||||
* | | | Merge pull request #941 from chriseth/versionString | Bob Summerwill | 2016-08-27 | 1 | -4/+2 |
|\ \ \ | |/ / |/| | | Version string | ||||
| * | | Make versioning semver compatible and force commit hash availability. | chriseth | 2016-08-26 | 1 | -4/+2 |
| | | | |||||
* | | | Merge pull request #897 from Denton-L/remove-standard | chriseth | 2016-08-27 | 2 | -30/+8 |
|\ \ \ | |/ / |/| | | BREAKING: Remove standard contracts | ||||
| * | | Remove standard contracts | Denton Liu | 2016-08-19 | 2 | -30/+8 |
| | | | |||||
* | | | Disallow fallback function to return values. | chriseth | 2016-08-26 | 1 | -0/+2 |
| | | | |||||
* | | | Merge pull request #921 from chriseth/astjsoncleanup | chriseth | 2016-08-23 | 2 | -36/+35 |
|\ \ \ | | | | | | | | | JSON AST: Some attribute cleanup. Add linearized base contracts. | ||||
| * | | | JSON AST: Some attribute cleanup. Add linearized base contracts. | chriseth | 2016-08-19 | 2 | -36/+35 |
| |/ / | |||||
* / / | Fix crash when using json compiler with exponentiation. | chriseth | 2016-08-20 | 1 | -2/+7 |
|/ / | |||||
* | | Rename root AST JSON node to SourceUnit | Alex Sinyagin | 2016-08-18 | 1 | -1/+1 |
| | | |||||
* | | Do not add children to EnumValue and PlaceholderStatement elements in JSON AST | Alex Sinyagin | 2016-08-18 | 1 | -4/+2 |
| | | |||||
* | | Use the full names for JSON AST nodes | Alex Sinyagin | 2016-08-18 | 1 | -11/+11 |
| | | |||||
* | | Move creation of the root element of JSON AST to the SourceUnit visitor | Alex Sinyagin | 2016-08-18 | 2 | -5/+18 |
| | | |||||
* | | Add ast json converter for PlaceholderStatement | Alex Sinyagin | 2016-08-18 | 2 | -0/+13 |
| | | |||||
* | | Add ast json converter for ArrayTypeName | Alex Sinyagin | 2016-08-18 | 2 | -0/+13 |
| | | |||||
* | | Add ast json converter for ModifierInvocation and EventDefinition | Alex Sinyagin | 2016-08-18 | 2 | -0/+26 |
| | | |||||
* | | Add ast json converter for ModifierDefinition | Alex Sinyagin | 2016-08-18 | 2 | -0/+13 |
| | | |||||
* | | Add ast json converter for EnumValue | Alex Sinyagin | 2016-08-18 | 2 | -0/+13 |
| | | |||||
* | | Add ast json converter for EnumDefinition | Alex Sinyagin | 2016-08-18 | 2 | -0/+13 |
| | | |||||
* | | Add ast json converter for UsingForDirective | Alex Sinyagin | 2016-08-18 | 2 | -1/+14 |
| | | |||||
* | | Add a ast json converter for InheritanceSpecifier | Alex Sinyagin | 2016-08-18 | 2 | -0/+13 |
| | | |||||
* | | Merge pull request #918 from winsvega/solremove4 | chriseth | 2016-08-17 | 4 | -85/+1 |
|\ \ | | | | | | | remove solidity --interface | ||||
| * | | remove solidity --interface | Dimitry | 2016-08-17 | 4 | -85/+1 |
| | | | |||||
* | | | Merge pull request #839 from chriseth/checkcode | chriseth | 2016-08-17 | 1 | -0/+7 |
|\ \ \ | | | | | | | | | BREAKING: Make function calls throw if target does not have code. | ||||
| * | | | Make function calls throw if target does not have code. | chriseth | 2016-08-17 | 1 | -0/+7 |
| |/ / | | | | | | | | | | | | | Low-level calls still just execute and will actually report "success". This allows `x.call.value(y)()` for x being a non-contract account. | ||||
* | | | Merge pull request #888 from chriseth/throwOnDivZero | chriseth | 2016-08-17 | 1 | -3/+10 |
|\ \ \ | | | | | | | | | Throw on division by zero. | ||||
| * | | | Throw on division by zero. | chriseth | 2016-08-17 | 1 | -3/+10 |
| | | | | |||||
* | | | | BREAKING: return only exits current function/modifier | chriseth | 2016-08-17 | 2 | -35/+45 |
| |/ / |/| | | |||||
* | | | Merge pull request #836 from chriseth/unusedunderscore | chriseth | 2016-08-17 | 2 | -1/+29 |
|\ \ \ | |/ / |/| | | BREAKING: Require modifiers to contain "_". | ||||
| * | | Require modifiers to contain "_". | chriseth | 2016-08-16 | 2 | -1/+29 |
| | | | |||||
* | | | Merge pull request #838 from chriseth/ecrecover | chriseth | 2016-08-17 | 1 | -5/+38 |
|\ \ \ | | | | | | | | | Make ecrecover return zero for malformed input. | ||||
| * | | | Actually better to return zero on error. | chriseth | 2016-08-16 | 1 | -2/+0 |
| | | | | |||||
| * | | | Make ecrecover throw for malformed input. | chriseth | 2016-08-16 | 1 | -5/+40 |
| |/ / | |||||
* | | | Introduce hex literals (#832) | Alex Beregszaszi | 2016-08-16 | 3 | -0/+37 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Introduce hex keyword token * Support hex literals * Include tests for hex literals * Document hex literals | ||||
* | | | Reserved keywords update (#833) | Alex Beregszaszi | 2016-08-16 | 1 | -2/+6 |
| | | | | | | | | | | | | | | | | | | | | | | | | * Reserve abstract, interface and payable keywords * Keywords as and using aren't reserved anymore - they're used * Reserve the static keyword | ||||
* | | | Provide inline assembly to the code generator. (#840) | chriseth | 2016-08-16 | 5 | -1/+87 |
| | | | | | | | | | | | | | | | | | | * Directly usable inline assembly. * Add missing header. | ||||
* | | | Throw if contract creation fails. | chriseth | 2016-08-16 | 1 | -0/+3 |
|/ / | |||||
* | | Merge pull request #844 from Denton-L/remove-after | chriseth | 2016-08-12 | 4 | -9/+5 |
|\ \ | | | | | | | BREAKING: Remove after | ||||
| * | | Remove after from grammar.txt | Denton Liu | 2016-08-11 | 1 | -1/+1 |
| | | | |||||
| * | | Remove After from Types.cpp | Denton Liu | 2016-08-11 | 1 | -3/+2 |
| | | | |||||
| * | | Revert "Change After to a deprecated token" | Denton Liu | 2016-08-11 | 1 | -5/+1 |
| | | | | | | | | | | | | This reverts commit 91c97f73b50fc87662b5490b2fe6de1c6ef376c7. | ||||
| * | | Change After to a deprecated token | Denton Liu | 2016-08-11 | 1 | -1/+5 |
| | | | |||||
| * | | Remove After from ExpressionCompiler | Denton Liu | 2016-08-11 | 1 | -3/+0 |
| | | | |||||
| * | | Remove after from Token.h | Denton Liu | 2016-08-11 | 1 | -2/+2 |
| | | | |||||
* | | | Fix Mapping and InlineAssembly in JSON AST | Alex Sinyagin | 2016-08-12 | 1 | -0/+2 |
| | | | |||||
* | | | Fix JSON AST structure | Alex Sinyagin | 2016-08-12 | 1 | -0/+1 |
|/ / | |||||
* | | Merge pull request #722 from NicolaiSoeborg/develop | chriseth | 2016-08-11 | 3 | -29/+83 |
|\| | | | | | Fixes to grammar.txt [WIP] | ||||
| * | Add syntax for fallback functions | Nicolai | 2016-08-09 | 1 | -1/+1 |
| | | |||||
| * | Split ElementaryTypeName into smaller rules | Nicolai | 2016-08-02 | 1 | -5/+11 |
| | | |||||
| * | Remove ambiguity from EventDefinition. Fix SourceUnit | Nicolai | 2016-08-02 | 1 | -9/+9 |
| | | |||||
| * | Remove 'reduce/reduce conflicts' with comma operator | Nicolai | 2016-07-31 | 1 | -1/+1 |
| | | |||||
| * | Fix reduce/reduce conflicts w/ multiple FunctionCall in Expression | Nicolai | 2016-07-30 | 1 | -1/+1 |
| | | |||||
| * | Remove TypeParameterList | Nicolai | 2016-07-30 | 1 | -4/+4 |
| | | |||||
| * | Fixes to expression | Nicolai | 2016-07-27 | 1 | -10/+9 |
| | | |||||
| * | Added wildcard to UsingForDeclaration | Nicolai | 2016-07-27 | 1 | -3/+3 |
| | | |||||
| * | Imports => ImportDirective | Nicolai | 2016-07-27 | 1 | -5/+6 |
| | | |||||
| * | Remove assignment as expr. Add functionCall as primaryExpression | Nicolai | 2016-07-26 | 1 | -6/+6 |
| | | |||||
| * | Fix missing seperator from commit 8b450dd8 | Nicolai | 2016-07-26 | 1 | -1/+1 |
| | | |||||
| * | Added PlaceholderStatement | Nicolai | 2016-07-25 | 1 | -1/+2 |
| | | |||||
| * | Add StorageLocation | Nicolai | 2016-07-25 | 1 | -2/+3 |
| | | |||||
| * | Allow function to call modifiers | Nicolai | 2016-07-25 | 1 | -1/+1 |
| | | |||||
| * | Order expression according to PR 732 | Nicolai | 2016-07-23 | 1 | -9/+18 |
| | | |||||
| * | New regex for StringLiteral | Nicolai | 2016-07-23 | 1 | -1/+2 |
| | | |||||
| * | Begin fixing expression syntax | Nicolai | 2016-07-23 | 1 | -14/+18 |
| | | |||||
| * | Added UsingDeclaration | Nicolai | 2016-07-21 | 1 | -2/+5 |
| | | |||||
| * | Extend EventDefinition | Nicolai | 2016-07-21 | 1 | -1/+3 |
| | | |||||
| * | Fix missing 'ether' from NumberUnit. Extend StringLiteral syntax | Nicolai | 2016-07-20 | 1 | -5/+3 |
| | | |||||
| * | Added missing (u)fixed types | Nicolai | 2016-07-20 | 1 | -2/+5 |
| | | |||||
| * | Extend NumberLiteral with units | Nicolai | 2016-07-20 | 1 | -2/+2 |
| | | |||||
| * | Added imports | Nicolai | 2016-07-20 | 1 | -1/+6 |
| | | |||||
| * | Add EventDefinition | Nicolai | 2016-07-20 | 1 | -1/+3 |
| | | |||||
| * | NumberLiteral: Allow 0x prefix | Nicolai | 2016-07-20 | 1 | -1/+1 |
| | | |||||
| * | Allow function returns to be unnamed | Nicolai | 2016-07-20 | 1 | -1/+3 |
| | | |||||
| * | Fix StructDef. Add BoolLiteral. Def NumLiteral, StringLiteral and Identifier. | Nicolai | 2016-07-20 | 1 | -3/+8 |
| | | |||||
| * | Fix missing quotes in ElementaryTypeName | Nicolai | 2016-07-20 | 1 | -5/+5 |
| | | |||||
| * | Added ElementaryTypeName, removed explicit recursion | Nicolai | 2016-07-20 | 1 | -1/+8 |
| | | |||||
| * | Add forStmt to Stmt, removes BasicBinaryOperation, throw expr, explicit rec ↵ | Nicolai | 2016-07-19 | 1 | -7/+6 |
| | | | | | | | | in ArrTypeName | ||||
| * | Remove "in", extra semicolons, forced function param. Added "throw". Changes ↵ | Nicolai | 2016-07-19 | 1 | -9/+9 |
| | | | | | | | | FunctionCall & IndexAccess | ||||
| * | grammar.txt: Fixes to EnumDef and ArrayTypeName | Nicolai | 2016-07-19 | 1 | -2/+2 |
| | | |||||
| * | grammer.txt: inheritable => internal | Nicolai | 2016-07-19 | 1 | -2/+2 |
| | | |||||
| * | Grammar: tab => spaces | Nicolai Søborg | 2016-07-15 | 1 | -5/+5 |
| | | |||||
| * | Typos + added missing grammar rules | Nicolai | 2016-07-15 | 1 | -3/+9 |
| | | |||||
| * | Remove the remains of "expresison" | Nicolai | 2016-07-15 | 2 | -2/+2 |
| | | |||||
* | | Merge pull request #794 from chriseth/fixastsource | chriseth | 2016-08-10 | 2 | -3/+3 |
|\ \ | | | | | | | Fix segfault in ast output. | ||||
| * | | Fix segfault in ast output. | chriseth | 2016-08-09 | 2 | -3/+3 |
| | | | |||||
* | | | Merge pull request #826 from axic/utf8-check | chriseth | 2016-08-10 | 2 | -1/+12 |
|\ \ \ | | | | | | | | | AST printer: do not output invalid UTF8 sequences | ||||
| * | | | Remove dev::utf8 namespace | Alex Beregszaszi | 2016-08-09 | 1 | -1/+1 |
| | | | | |||||
| * | | | Use size_t in dev::utf8::validate() | Alex Beregszaszi | 2016-08-09 | 1 | -1/+1 |
| | | | | |||||
| * | | | Use utf8::validate in StringLiteral::toString | Alex Beregszaszi | 2016-08-09 | 1 | -0/+6 |
| | | | | |||||
| * | | | Move LiteralString::toString from the header | Alex Beregszaszi | 2016-08-09 | 2 | -1/+6 |
| | | | | |||||
* | | | | Rename libevmasm. | chriseth | 2016-08-10 | 1 | -1/+1 |
|/ / / | |||||
* | | | Merge pull request #828 from axic/identity-gas-fix | chriseth | 2016-08-09 | 1 | -2/+2 |
|\ \ \ | |/ / |/| | | Fix identity precompile gas calculation | ||||
| * | | Fix identity precompile gas calculation | Alex Beregszaszi | 2016-08-06 | 1 | -2/+2 |
| | | | |||||
* | | | Merge pull request #834 from chriseth/devcorecleanup | chriseth | 2016-08-08 | 1 | -1/+1 |
|\ \ \ | | | | | | | | | Some cleanup regarding libdevcore. Also rename to avoid conflicts. | ||||
| * | | | Correct library usage. | chriseth | 2016-08-08 | 1 | -1/+1 |
| |/ / | |||||
* / / | Do not install headers. | chriseth | 2016-08-05 | 1 | -1/+0 |
|/ / | |||||
* | | Rename addUnicodeChar to addUnicodeAsUTF8 | Alex Beregszaszi | 2016-08-05 | 2 | -3/+3 |
| | | |||||
* | | Support Unicode escape characters in string literals ('\uUUUU') | Alex Beregszaszi | 2016-08-05 | 2 | -0/+45 |
| | | | | | | | | Fixes #638 | ||||
* | | Bugfix: Allocate empty array. | chriseth | 2016-07-28 | 2 | -3/+7 |
| | | |||||
* | | Merge pull request #731 from Denton-L/move-token | chriseth | 2016-07-21 | 1 | -2/+2 |
|\ \ | | | | | | | Move `in` as a keyword to reserved word section | ||||
| * | | Fix isCompareOp() | Denton Liu | 2016-07-21 | 1 | -1/+1 |
| | | | |||||
| * | | Move `in` as a keyword to reserved word section | Denton Liu | 2016-07-21 | 1 | -1/+1 |
| |/ | |||||
* | | Source location as part of AST. | chriseth | 2016-07-21 | 4 | -58/+210 |
| | | |||||
* | | Merge pull request #720 from chriseth/formalState | chriseth | 2016-07-21 | 2 | -48/+169 |
|\ \ | | | | | | | Formal Verification: Handle external effects. | ||||
| * | | Handle external effects. | chriseth | 2016-07-13 | 2 | -48/+169 |
| |/ | |||||
* / | Provide formal version in json output. | chriseth | 2016-07-19 | 2 | -3/+6 |
|/ | |||||
* | Only warn about unused return in low-level functions. | chriseth | 2016-06-26 | 1 | -6/+15 |
| | |||||
* | Warn about unused return values. | chriseth | 2016-06-26 | 2 | -0/+20 |
| | |||||
* | Merge pull request #640 from chriseth/globalPaths | chriseth | 2016-06-10 | 2 | -16/+88 |
|\ | | | | | Allow remappings to change depending on the context. | ||||
| * | Allow remappings to change depending on the context. | chriseth | 2016-06-09 | 2 | -16/+88 |
| | | |||||
* | | Merge pull request #641 from axic/patch/shift-parser | chriseth | 2016-06-09 | 2 | -1/+3 |
|\ \ | |/ |/| | Trivial shift parser fixes | ||||
| * | Include SHR case in ExpressionCompiler::appendShiftOperatorCode | Alex Beregszaszi | 2016-06-08 | 1 | -0/+2 |
| | | |||||
| * | Fix Token::isBitOp to exclude shift operators | Alex Beregszaszi | 2016-06-08 | 1 | -1/+1 |
| | | |||||
* | | Disallow implementation of abstract function by constructor of derived class. | chriseth | 2016-06-07 | 2 | -1/+7 |
|/ | |||||
* | Inaccessible dynamic types | chriseth | 2016-06-02 | 2 | -17/+29 |
| | |||||
* | Fixes for invalid cleanups for small types. | chriseth | 2016-05-20 | 4 | -23/+15 |
| | |||||
* | Merge pull request #565 from VoR0220/fixedDataType | chriseth | 2016-05-20 | 1 | -14/+28 |
|\ | | | | | Fixed data typename fixes and documentation | ||||
| * | updated docs | VoR0220 | 2016-05-19 | 1 | -4/+13 |
| | | | | | | | | | | | | types reference | ||||
| * | explicit conversion and loosening of binary operations on integer and fixed ↵ | VoR0220 | 2016-05-19 | 1 | -24/+11 |
| | | | | | | | | | | | | point types...still other problems fixed some spaces and deleted lines from failing test | ||||
| * | current debugging info | VoR0220 | 2016-05-19 | 1 | -2/+20 |
| | | |||||
* | | Refactor compiler to avoid weird swap of contexts | chriseth | 2016-05-20 | 4 | -871/+999 |
|/ | |||||
* | Merge pull request #545 from chriseth/accessFunLabels | chriseth | 2016-05-18 | 4 | -19/+30 |
|\ | | | | | Allow access to functions in inline assembly. | ||||
| * | Allow access to functions in inline assembly. | chriseth | 2016-05-12 | 4 | -19/+30 |
| | | |||||
* | | fix: error: call of overloaded ‘list(int, <brace-enclosed initializer ↵ | moneroexample | 2016-05-17 | 1 | -1/+1 |
|/ | | | | | | | | | | | | | | | | list>)’ Issue: https://github.com/ethereum/solidity/issues/574 Compilation of webthree-umbrella on Arch with gcc 6.1 results in the following error: /home/mwo/webthree-umbrella/solidity/libsolidity/analysis/NameAndTypeResolver.cpp:299:51: error: call of overloaded ‘list(int, <brace-enclosed initializer list>)’ is ambiguous list<list<ContractDefinition const*>> input(1, {}); This can be overcome by explicitly specifying initial value, for example: list<list<ContractDefinition const*>> input(1, list<ContractDefinition const*>{}) | ||||
* | Remove unused tests and add asserts for not implemented parts in code ↵ | chriseth | 2016-05-11 | 6 | -15/+19 |
| | | | | | | | | | | | | generation. quick fix on christian's rational change so that ubuntu will stop yelling be more specific with rational declaration for Windows sake rational in namespace correction for windows | ||||
* | Simplify interface of RationalNumber. | chriseth | 2016-05-11 | 5 | -24/+25 |
| | |||||
* | Special case for moving sign bit to fractional part. | chriseth | 2016-05-11 | 1 | -5/+10 |
| | |||||
* | Cleanup. | chriseth | 2016-05-11 | 1 | -14/+19 |
| | |||||
* | Disallow explicit fixed->enum, but allow bytes->fixed. | chriseth | 2016-05-11 | 1 | -1/+1 |
| | |||||
* | Some cleanup. | chriseth | 2016-05-11 | 2 | -60/+32 |
| | |||||
* | Replace "unsigned int" by "unsigned". | chriseth | 2016-05-11 | 1 | -9/+9 |
| | |||||
* | Prefer mobileType() to check rational range. | chriseth | 2016-05-11 | 3 | -26/+23 |
| | |||||
* | reorganized tests and fixed mobile types and implicit conversions of ↵ | VoR0220 | 2016-05-10 | 2 | -99/+138 |
| | | | | | | | | rationals and fixed point types one final tweak check for null types | ||||
* | updated algorithm for bit finding...now to figure out literal value | VoR0220 | 2016-05-10 | 5 | -140/+100 |
| | | | | | | | | | | | | tiny fixups changed location of the check got rid of extra space and fixed a couple of things added binary results bits change back literal value | ||||
* | changed algorithm for finding bits | VoR0220 | 2016-05-10 | 1 | -29/+37 |
| | |||||
* | much better way of doing modulus | VoR0220 | 2016-05-10 | 1 | -8/+2 |
| | |||||
* | added bytes conversion tests, resolved that, converted to binary scaling, ↵ | VoR0220 | 2016-05-10 | 3 | -61/+69 |
| | | | | | | | | | | | | refactored the find algo to prevent large numbers and take into account integer bytes think we're good on solidity type name resolution now removed couts updates to documentation and more removed couts along with literal value implementation forgot semicolons | ||||
* | fixing modulus and Solidity Name and Type Resolution | VoR0220 | 2016-05-10 | 3 | -12/+10 |
| | | | | | | minor fixes current attempts at binary fixup | ||||
* | rational renaming | VoR0220 | 2016-05-10 | 2 | -4/+4 |
| | |||||
* | changed names for Rational Constants and categories | VoR0220 | 2016-05-10 | 6 | -49/+53 |
| | |||||
* | currently what we have | VoR0220 | 2016-05-10 | 1 | -4/+8 |
| | |||||
* | got exponents up and working with their inverse, changed a few of the ↵ | RJ Catalano | 2016-05-10 | 4 | -52/+53 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | tests....something is working that likely shouldn't be slight changes to how to flip the rational negative around...still trying to figure it out tests added updated tests odd differences in trying soltest from solc binary, let me know if you can replicate test not working for odd reason fixed test problem with fixed literals...still need a way to log this error broken up the tests, added some, changed some things in types and began compiler work moar tests and prepping for rebuilding much of the types.cpp file further fixing infinite loop still happening but it's somewhere in the fixedPoint methodd fractional bits needed algo improved! Eliminated 2 errors Corrected problems with the previous commit. No infinite loops. Actually appear to have corrected an error | ||||
* | size capabilities functioning properly for fixed types | RJ Catalano | 2016-05-10 | 1 | -9/+4 |
| | |||||
* | fixed problem with var...probably a conversion problem for fixed in size ↵ | RJ Catalano | 2016-05-10 | 2 | -3/+3 |
| | | | | | | | | capabilities adding fixed type tests Removing bitshift and regrouping fixed type tests together | ||||
* | fix for token bug, also quick fix for the wei and seconds | RJ Catalano | 2016-05-10 | 1 | -1/+1 |
| | |||||
* | Rational implemented...trying to figure out exponential | RJ Catalano | 2016-05-10 | 1 | -52/+15 |
| | |||||
* | initial work for fixed types...potentially needing a constant literal type ↵ | RJ Catalano | 2016-05-10 | 10 | -104/+535 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | for this notation Rational implemented...trying to figure out exponential fix for token bug, also quick fix for the wei and seconds fixed problem with var...probably a conversion problem for fixed in size capabilities adding fixed type tests Removing bitshift and regrouping fixed type tests together size capabilities functioning properly for fixed types got exponents up and working with their inverse, changed a few of the tests....something is working that likely shouldn't be slight changes to how to flip the rational negative around...still trying to figure it out tests added updated tests odd differences in trying soltest from solc binary, let me know if you can replicate test not working for odd reason fixed test problem with fixed literals...still need a way to log this error broken up the tests, added some, changed some things in types and began compiler work moar tests and prepping for rebuilding much of the types.cpp file further fixing initial work for fixed types...potentially needing a constant literal type for this | ||||
* | Allow calling internal functions of libraries. | chriseth | 2016-05-04 | 4 | -59/+116 |
| | | | | | | | | | | | | Internal functions of libraries can be called as if the library were a base contract of the calling contract. As the calling convention for internal functions is to not create a new call context, the code of these functions will be pulled into the context of the caller, duplicating their code. This might pull in code of further internal or even private functions. The use case for such functions is to allow libraries which can operate on memory types such that these types can also be modified in place. | ||||
* | Remove non-determinism in missing code queue. | chriseth | 2016-05-03 | 4 | -37/+95 |
| | |||||
* | Windows fix. | chriseth | 2016-04-21 | 1 | -1/+1 |
| | |||||
* | Source location for inline assembly. | chriseth | 2016-04-20 | 7 | -69/+149 |
| | |||||
* | Bugfix: static arrays in constructor arguments | chriseth | 2016-04-16 | 1 | -1/+1 |
| | |||||
* | Fix for bug about deleting dynamic array of structs. | chriseth | 2016-04-15 | 1 | -1/+1 |
| | |||||
* | Merge pull request #496 from chriseth/removelog | Bob Summerwill | 2016-04-12 | 4 | -3/+1 |
|\ | | | | | Remove log.h from solidity. | ||||
| * | Remove log.h from solidity. | chriseth | 2016-04-12 | 4 | -3/+1 |
| | | |||||
* | | Make solidity independent from ethcore. | chriseth | 2016-04-07 | 4 | -14/+8 |
|/ | |||||
* | Merge pull request #475 from chriseth/byteasm | chriseth | 2016-04-06 | 1 | -0/+4 |
|\ | | | | | Allow "byte" in inline assembly. | ||||
| * | Allow "byte" in inline assembly. | chriseth | 2016-04-06 | 1 | -0/+4 |
| | | |||||
* | | reduce unnecessary solidity:: namespace | Dimitry | 2016-04-04 | 9 | -539/+539 |
| | | |||||
* | | return instructionInfo style | Dimitry | 2016-04-04 | 1 | -2/+2 |
| | | |||||
* | | enable solidity test | Dimitry | 2016-04-04 | 1 | -1/+1 |
| | |