aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity
Commit message (Collapse)AuthorAgeFilesLines
* delete for function typeschriseth2016-11-162-0/+8
|
* codegen: add a compilation mode and a runtime context to CompilerContextYoichi Hirai2016-11-164-6/+23
|
* Added function types to the grammar.chriseth2016-11-161-1/+4
|
* Implement uninitialized storage functions.chriseth2016-11-162-11/+17
|
* Bugfix in code generator.chriseth2016-11-161-1/+1
|
* Change alignment.chriseth2016-11-164-31/+43
|
* Changelog entry and small fixes.chriseth2016-11-162-5/+8
|
* External functions in storage.chriseth2016-11-163-18/+49
|
* Fix some type checks and tests for internal / external function parameters.chriseth2016-11-161-3/+3
|
* Function type state variables.chriseth2016-11-162-31/+68
|
* Code generator for function types.chriseth2016-11-164-2/+46
|
* Function types.chriseth2016-11-1614-39/+241
|
* Move InterfaceHandler from string to JSONAlex Beregszaszi2016-11-156-39/+37
|
* Rename ErrorTag to invalidJumpLabel in inline assemblyAlex Beregszaszi2016-11-151-1/+1
|
* Support ErrorTag as a jump label in inline assemblyAlex Beregszaszi2016-11-151-1/+5
|
* Merge pull request #1375 from ethereum/inline-assembly-stack-heightchriseth2016-11-151-7/+9
|\ | | | | Fix inline assembly stack warnings when using variables
| * Fix inline assembly stack warnings when using variablesAlex Beregszaszi2016-11-151-7/+9
| |
* | Do not include a trailing new line in the ABI JSON outputAlex Beregszaszi2016-11-151-1/+4
|/
* Unimplemented features moved to their own exception (#1361)Rhett Aultman2016-11-157-17/+24
| | | | | | | | | | | | | | | | | | Unimplemented features moved to their own exception InternalCompilerError is an exception that really should be reserved for actual internal errors of the compiler. Unimplemented features can now use either solUnimplemented( ) or, if it should be conditional, then solUnimplementedAssert( ). * Revert some unimplemented exceptions, add handlers The jsonCompiler and CommandLineInterface needed handlers for the new UnimplementedFeatureException, and some cases I had moved on to the new exception were better treated as real internal compiler errors. * Standardize on "Unimplemented feature" message
* Merge pull request #1367 from asinyagin/developchriseth2016-11-151-2/+2
|\ | | | | Print canonical names of structs and enums in AST
| * Print canonical names of structs and enums in ASTAlex Sinyagin2016-11-141-2/+2
| |
* | Merge pull request #1372 from ethereum/invalid_enum_as_external_retchriseth2016-11-151-2/+2
|\ \ | | | | | | Invalid enum as external ret
| * | codegen: overflow checking also during conversion from enumsYoichi Hirai2016-11-151-2/+2
| |/
* / codegen: add a missing `break;`Yoichi Hirai2016-11-141-0/+1
|/
* Merge pull request #1365 from walter-weinmann/developchriseth2016-11-141-1/+1
|\ | | | | #1362: As it stands currently, the >>> operator will not be implemented.
| * #1362: As it stands currently, the >>> operator will not be implemented.Walter Weinmann2016-11-141-1/+1
| |
* | codegen: move the enum overflow checking closer to the conversion into enumsYoichi Hirai2016-11-141-8/+16
| |
* | ast, codegen: disallow conversion between different enum typesYoichi Hirai2016-11-122-2/+2
| |
* | codegen: shorten the overflow checking when converting into enumsYoichi Hirai2016-11-121-1/+2
| |
* | parsing: ban empty enum definition.Yoichi Hirai2016-11-121-0/+2
| |
* | codegen: check the value range after converting something to an enum elementYoichi Hirai2016-11-121-0/+8
| |
* | ast: add EnumType::numberOfMembers()Yoichi Hirai2016-11-122-1/+7
|/
* Merge pull request #1355 from ethereum/chriseth-patch-2chriseth2016-11-121-3/+3
|\ | | | | Fix semicolons
| * Fix semicolonschriseth2016-11-111-3/+3
| |
* | Type checker: move the burden of computing mobile type to commonTypeYoichi Hirai2016-11-112-6/+6
|/ | | | This solves #621
* Add support for do/while loopsRhett Aultman2016-11-108-9/+59
| | | | | | | This commit adds support for a standard do <statement> while <expr>; form of statement. While loops were already being supported; supporting a do/while loop mostly involves reusing code from while loops but putting the conditional checking last.
* add payable to ASTyann3002016-11-031-1/+2
|
* Clear all value types prior to storing.chriseth2016-10-311-7/+1
|
* ast: ban signed EXP, fixing #1246Yoichi Hirai2016-10-251-1/+4
|
* Suggest correct version for pragma and complain about pre-release version.chriseth2016-10-252-7/+28
|
* Merge pull request #1279 from ethereum/semver-helperchriseth2016-10-251-0/+6
|\ | | | | Export major/minor/patch helpers on SemVerVersion
| * Export major/minor/patch helpers on SemVerVersionAlex Beregszaszi2016-10-251-0/+6
| |
* | Merge pull request #1264 from ethereum/988chriseth2016-10-253-9/+21
|\ \ | |/ |/| State variable under contract's name
| * analysis: determine if a member access on a contract is an l-valueYoichi Hirai2016-10-251-0/+5
| |
| * codegen: refactor common codeYoichi Hirai2016-10-242-20/+15
| |
| * codegen: if a member access has been resolved as a variable, follow thatYoichi Hirai2016-10-241-0/+12
| | | | | | | | This fixes at least the first example in #988
* | More checks for missing mobile type.chriseth2016-10-244-11/+44
|/
* codegen: skip contract L for L.Foo where Foo is a typeYoichi Hirai2016-10-241-1/+6
| | | | Fixes #1116
* Fix crash in throw.chriseth2016-10-241-1/+1
|
* Merge pull request #1240 from ethereum/1151chriseth2016-10-241-1/+5
|\ | | | | ast: super contract type does not contain native members
| * ast: simplifications suggested by @chrisethYoichi Hirai2016-10-201-7/+4
| |
| * When a contract type is super, its members do not contain the functions of ↵Yoichi Hirai2016-10-201-1/+8
| | | | | | | | | | | | itself Fixes #1151
* | ast: add a null checkYoichi Hirai2016-10-211-0/+1
| |
* | ast: ContractDefinition::inheritableMembers contains enums as well as structsYoichi Hirai2016-10-211-0/+3
| | | | | | | | This fixes #1131
* | Support variable references within modifiers for inline assemblyAlex Beregszaszi2016-10-211-1/+1
| |
* | Allow warnings for inline assembly blockAlex Beregszaszi2016-10-201-1/+1
| |
* | Issue warnings if stack is not balanced after inline assembly blockAlex Beregszaszi2016-10-201-2/+24
| |
* | Use warning function in TypeCheckerAlex Beregszaszi2016-10-201-5/+4
|/
* Use >> (SAR) to denote constant shiftsAlex Beregszaszi2016-10-201-1/+3
|
* Reject negative shifts within constantsAlex Beregszaszi2016-10-201-4/+8
|
* Support shifting constantsRJ2016-10-201-0/+22
|
* Disallow unsupported RValues in inline assemblyAlex Beregszaszi2016-10-201-4/+2
|
* Disallow magic variables in inline assemblyAlex Beregszaszi2016-10-201-0/+4
|
* Omit non-convertible bound functionsAlex Beregszaszi2016-10-191-1/+2
|
* Ensure that bound functions cannot be defined without self typeAlex Beregszaszi2016-10-192-2/+11
|
* `super`'s size on stack is zero, because the expression compiler does not ↵Yoichi Hirai2016-10-181-0/+1
| | | | | | push an address. This is different from `this`, which is translated to `ADDRESS` instruction.
* Check if a fixedBytes fits an integer typeYoichi Hirai2016-10-141-1/+5
| | | | | | before looking up the size of the integer type. Fixes #1150.
* Merge pull request #1169 from ethereum/inline-assembly-tagsAlex Beregszaszi2016-10-121-1/+3
|\ | | | | Fix assignment after tags in inline assembly
| * Fix assignment after tags in inline assemblyAlex Beregszaszi2016-10-111-1/+3
| |
* | Merge pull request #1181 from ethereum/formal_ignore_pragmachriseth2016-10-112-0/+15
|\ \ | | | | | | formal: ignore pragmas during Why3 code generation
| * | Chack for non-version pragmasYoichi Hirai2016-10-111-1/+10
| | |
| * | formal: ignore pragmas during Why3 code generationYoichi Hirai2016-10-112-0/+6
| |/ | | | | | | Fixes #1177
* / Fix pragma keyword checkYoichi Hirai2016-10-111-1/+1
|/ | | | Fixes #1192
* Merge pull request #1189 from NicolaiSoeborg/developchriseth2016-10-111-2/+2
|\ | | | | Add HexLiteral to grammar, fixes #1186
| * Fix: HexLiteral must be even number of nibblesNicolai2016-10-111-1/+1
| | | | | | | | | | solc even allow 0 nibbles: bytes a = hex"";
| * Add HexLiteral to grammar, fixes #1186Nicolai2016-10-111-2/+2
| |
* | Merge pull request #1168 from ethereum/rename-dev-sha3chriseth2016-10-115-5/+5
|\ \ | | | | | | Rename dev::sha3 to dev::keccak256
| * | Rename dev::sha3 to dev::keccak256Alex Beregszaszi2016-10-065-5/+5
| | |
* | | Support address in inline assemblyAlex Beregszaszi2016-10-071-0/+3
| | |
* | | Add alias keccak256() for sha3()Alex Beregszaszi2016-10-061-0/+2
| | |
* | | Support both suicide/selfdestruct in inline assemblyAlex Beregszaszi2016-10-061-2/+5
|/ /
* | Merge pull request #1104 from ethereum/fixmemcostschriseth2016-09-171-4/+13
|\ \ | | | | | | Fix memory resize costs during call
| * | Access output memory area so that we do not pay for resize during call.chriseth2016-09-171-4/+13
| | |
* | | Allow value transfer to library functions.chriseth2016-09-171-1/+3
|/ /
* | Fix crash for TypeName[k].chriseth2016-09-161-1/+1
| |
* | Prepare for leaky exceptionsYoichi Hirai2016-09-101-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 exceptionYoichi Hirai2016-09-102-21/+71
| | | | | | | | This allows error reporting without passing `ASTNode` to `toFormalType()`
* | Translate mapping types into Why3 arrays when keys are integersYoichi Hirai2016-09-101-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-preludechriseth2016-09-091-0/+9
|\ \ | | | | | | formal verification: Add Address module in the WhyML prelude
| * | Add Address module in the WhyML preludeYoichi Hirai2016-09-081-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.chriseth2016-09-081-3/+5
|/ /
* | Merge pull request #1041 from pirapira/typo_and_whitespacechriseth2016-09-082-2/+2
|\ \ | | | | | | Fix a typo and a whitespace inconsistency
| * | Fix a typo and whitespacesYoichi Hirai2016-09-072-2/+2
| | |
* | | Merge pull request #1044 from pirapira/todo_item_to_issuechriseth2016-09-081-1/+1
|\ \ \ | | | | | | | | Append an issue id #1043 to a @todo comment about it
| * | | Append an issue id #1043 to a @todo comment about itYoichi Hirai2016-09-071-1/+1
| |/ /
* | | Include assert for selfType on bound functions to avoid crashAlex Beregszaszi2016-09-071-1/+2
| | |
* | | Constructor must be internal or publicAlex Beregszaszi2016-09-061-0/+2
| | |
* | | Reject constant constructorsAlex Beregszaszi2016-09-061-2/+6
| | |
* | | Merge pull request #1016 from ethereum/reservedchriseth2016-09-062-1/+12
|\ \ \ | | | | | | | | Report the usage of reserved keywords more nicely
| * | | Raise proper error on reserved keywordsAlex Beregszaszi2016-09-061-1/+11
| | | |
| * | | Introduce isReservedKeyword()Alex Beregszaszi2016-09-061-0/+1
| | | |
* | | | Merge pull request #1014 from ethereum/strict-fallbackchriseth2016-09-062-1/+2
|\ \ \ \ | | | | | | | | | | Reject constant modifier on the fallback function
| * | | | Reject constant modifier on the fallback functionAlex Beregszaszi2016-09-062-1/+2
| |/ / /
* | | | Merge pull request #1011 from walter-weinmann/wwe_grammarchriseth2016-09-061-3/+3
|\ \ \ \ | | | | | | | | | | Changes related to issues #984, #989, #999, #1001 and #1004.
| * | | | Considering comment from @chriseth regarding FunctionCall.walter-weinmann2016-09-061-3/+1
| | | | |
| * | | | Considering comments from @chriseth regarding ExpressionStatement and ↵walter-weinmann2016-09-061-4/+6
| | | | | | | | | | | | | | | | | | | | FunctionCall.
| * | | | Changes related to issues #984, #989, #999, #1001 and #1004.walter-weinmann2016-09-061-4/+4
| | | | |
* | | | | Merge pull request #1008 from ethereum/stipendwithsendchriseth2016-09-061-1/+6
|\ \ \ \ \ | | | | | | | | | | | | Provide gas stipend manually for send(0).
| * | | | | Provide gas stipend manually for send(0).chriseth2016-09-061-1/+6
| | |/ / / | |/| | |
* / | | | Reserve view and pure as keywordsAlex Beregszaszi2016-09-061-0/+2
|/ / / /
* | | | Merge pull request #665 from axic/feature/accept-etherchriseth2016-09-069-44/+133
|\ \ \ \ | | | | | | | | | | BREAKING: Add payable modifier
| * | | | Test and fixes for payable fallback in ABI.chriseth2016-09-061-0/+1
| | | | |
| * | | | Tests for payable / private combination.chriseth2016-09-061-2/+2
| | | | |
| * | | | Make constant and payable mutually exclusive.chriseth2016-09-061-0/+2
| | | | |
| * | | | Change function type to include and propagate payable and constant modifier.chriseth2016-09-065-28/+78
| | | | |
| * | | | Merged in changes from chriseth/payableAlex Beregszaszi2016-09-064-33/+37
| | | | |
| * | | | Do not include the payable keyword for constructorsAlex Beregszaszi2016-09-061-1/+0
| | | | |
| * | | | Support payable keyword for functionsAlex Beregszaszi2016-09-067-1/+34
| |/ / /
* | | | Merge pull request #995 from chriseth/fixutf8astjsonchriseth2016-09-061-2/+15
|\ \ \ \ | | | | | | | | | | Do not emit non-utf8 strings for ast json.
| * | | | Do not emit non-utf8 strings for ast json.chriseth2016-09-021-2/+15
| | | | |
* | | | | Merge pull request #1006 from ethereum/nenewaccountgaschriseth2016-09-061-1/+3
|\ \ \ \ \ | |_|/ / / |/| | | | Do not pay new account gas.
| * | | | Do not pay new account gas.chriseth2016-09-051-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/modifierbodyYoichi Hirai2016-09-062-3/+4
|\ \ \ \ | | | | | | | | | | Require ";" after "_"
| * | | | Update grammar.txt to reflect the change.chriseth2016-09-051-2/+3
| | | | |
| * | | | Require ";" after "_"chriseth2016-09-051-1/+1
| |/ / /
* | | | Merge pull request #993 from chriseth/fixshacrashchriseth2016-09-061-0/+8
|\ \ \ \ | |/ / / |/| | | Guard encoding crashes with assertions.
| * | | Improve error message.chriseth2016-09-051-1/+1
| | | |
| * | | Guard encoding crashes with assertions.chriseth2016-09-021-0/+8
| |/ /
* / / Do not use internal types for event parameters.chriseth2016-09-021-1/+2
|/ /
* | Merge pull request #935 from chriseth/pragmachriseth2016-09-0116-7/+566
|\ \ | | | | | | Version pragma
| * | Use version string (including prerelease) for pragma matching.chriseth2016-09-011-2/+3
| | |
| * | Version pragma.chriseth2016-09-0116-7/+565
| | |
* | | fix CompilerStack::absolutePathDimitry2016-09-011-1/+1
|/ /
* | Make fallback function throw by default.chriseth2016-08-302-4/+3
| |
* | Merge pull request #664 from axic/feature/interface-fallbackchriseth2016-08-301-1/+9
|\ \ | | | | | | Introduce fallback entry in the ABI
| * | Introduce fallback entry in the ABIAlex Beregszaszi2016-08-271-1/+9
| | |
* | | Merge pull request #941 from chriseth/versionStringBob Summerwill2016-08-271-4/+2
|\ \ \ | |/ / |/| | Version string
| * | Make versioning semver compatible and force commit hash availability.chriseth2016-08-261-4/+2
| | |
* | | Merge pull request #897 from Denton-L/remove-standardchriseth2016-08-272-30/+8
|\ \ \ | |/ / |/| | BREAKING: Remove standard contracts
| * | Remove standard contractsDenton Liu2016-08-192-30/+8
| | |
* | | Disallow fallback function to return values.chriseth2016-08-261-0/+2
| | |
* | | Merge pull request #921 from chriseth/astjsoncleanupchriseth2016-08-232-36/+35
|\ \ \ | | | | | | | | JSON AST: Some attribute cleanup. Add linearized base contracts.
| * | | JSON AST: Some attribute cleanup. Add linearized base contracts.chriseth2016-08-192-36/+35
| |/ /
* / / Fix crash when using json compiler with exponentiation.chriseth2016-08-201-2/+7
|/ /
* | Rename root AST JSON node to SourceUnitAlex Sinyagin2016-08-181-1/+1
| |
* | Do not add children to EnumValue and PlaceholderStatement elements in JSON ASTAlex Sinyagin2016-08-181-4/+2
| |
* | Use the full names for JSON AST nodesAlex Sinyagin2016-08-181-11/+11
| |
* | Move creation of the root element of JSON AST to the SourceUnit visitorAlex Sinyagin2016-08-182-5/+18
| |
* | Add ast json converter for PlaceholderStatementAlex Sinyagin2016-08-182-0/+13
| |
* | Add ast json converter for ArrayTypeNameAlex Sinyagin2016-08-182-0/+13
| |
* | Add ast json converter for ModifierInvocation and EventDefinitionAlex Sinyagin2016-08-182-0/+26
| |
* | Add ast json converter for ModifierDefinitionAlex Sinyagin2016-08-182-0/+13
| |
* | Add ast json converter for EnumValueAlex Sinyagin2016-08-182-0/+13
| |
* | Add ast json converter for EnumDefinitionAlex Sinyagin2016-08-182-0/+13
| |
* | Add ast json converter for UsingForDirectiveAlex Sinyagin2016-08-182-1/+14
| |
* | Add a ast json converter for InheritanceSpecifierAlex Sinyagin2016-08-182-0/+13
| |
* | Merge pull request #918 from winsvega/solremove4chriseth2016-08-174-85/+1
|\ \ | | | | | | remove solidity --interface
| * | remove solidity --interfaceDimitry2016-08-174-85/+1
| | |
* | | Merge pull request #839 from chriseth/checkcodechriseth2016-08-171-0/+7
|\ \ \ | | | | | | | | BREAKING: Make function calls throw if target does not have code.
| * | | Make function calls throw if target does not have code.chriseth2016-08-171-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/throwOnDivZerochriseth2016-08-171-3/+10
|\ \ \ | | | | | | | | Throw on division by zero.
| * | | Throw on division by zero.chriseth2016-08-171-3/+10
| | | |
* | | | BREAKING: return only exits current function/modifierchriseth2016-08-172-35/+45
| |/ / |/| |
* | | Merge pull request #836 from chriseth/unusedunderscorechriseth2016-08-172-1/+29
|\ \ \ | |/ / |/| | BREAKING: Require modifiers to contain "_".
| * | Require modifiers to contain "_".chriseth2016-08-162-1/+29
| | |
* | | Merge pull request #838 from chriseth/ecrecoverchriseth2016-08-171-5/+38
|\ \ \ | | | | | | | | Make ecrecover return zero for malformed input.
| * | | Actually better to return zero on error.chriseth2016-08-161-2/+0
| | | |
| * | | Make ecrecover throw for malformed input.chriseth2016-08-161-5/+40
| |/ /
* | | Introduce hex literals (#832)Alex Beregszaszi2016-08-163-0/+37
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Introduce hex keyword token * Support hex literals * Include tests for hex literals * Document hex literals
* | | Reserved keywords update (#833)Alex Beregszaszi2016-08-161-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)chriseth2016-08-165-1/+87
| | | | | | | | | | | | | | | | | | * Directly usable inline assembly. * Add missing header.
* | | Throw if contract creation fails.chriseth2016-08-161-0/+3
|/ /
* | Merge pull request #844 from Denton-L/remove-afterchriseth2016-08-124-9/+5
|\ \ | | | | | | BREAKING: Remove after
| * | Remove after from grammar.txtDenton Liu2016-08-111-1/+1
| | |
| * | Remove After from Types.cppDenton Liu2016-08-111-3/+2
| | |
| * | Revert "Change After to a deprecated token"Denton Liu2016-08-111-5/+1
| | | | | | | | | | | | This reverts commit 91c97f73b50fc87662b5490b2fe6de1c6ef376c7.
| * | Change After to a deprecated tokenDenton Liu2016-08-111-1/+5
| | |
| * | Remove After from ExpressionCompilerDenton Liu2016-08-111-3/+0
| | |
| * | Remove after from Token.hDenton Liu2016-08-111-2/+2
| | |
* | | Fix Mapping and InlineAssembly in JSON ASTAlex Sinyagin2016-08-121-0/+2
| | |
* | | Fix JSON AST structureAlex Sinyagin2016-08-121-0/+1
|/ /
* | Merge pull request #722 from NicolaiSoeborg/developchriseth2016-08-113-29/+83
|\| | | | | Fixes to grammar.txt [WIP]
| * Add syntax for fallback functionsNicolai2016-08-091-1/+1
| |
| * Split ElementaryTypeName into smaller rulesNicolai2016-08-021-5/+11
| |
| * Remove ambiguity from EventDefinition. Fix SourceUnitNicolai2016-08-021-9/+9
| |
| * Remove 'reduce/reduce conflicts' with comma operatorNicolai2016-07-311-1/+1
| |
| * Fix reduce/reduce conflicts w/ multiple FunctionCall in ExpressionNicolai2016-07-301-1/+1
| |
| * Remove TypeParameterListNicolai2016-07-301-4/+4
| |
| * Fixes to expressionNicolai2016-07-271-10/+9
| |
| * Added wildcard to UsingForDeclarationNicolai2016-07-271-3/+3
| |
| * Imports => ImportDirectiveNicolai2016-07-271-5/+6
| |
| * Remove assignment as expr. Add functionCall as primaryExpressionNicolai2016-07-261-6/+6
| |
| * Fix missing seperator from commit 8b450dd8Nicolai2016-07-261-1/+1
| |
| * Added PlaceholderStatementNicolai2016-07-251-1/+2
| |
| * Add StorageLocationNicolai2016-07-251-2/+3
| |
| * Allow function to call modifiersNicolai2016-07-251-1/+1
| |
| * Order expression according to PR 732Nicolai2016-07-231-9/+18
| |
| * New regex for StringLiteralNicolai2016-07-231-1/+2
| |
| * Begin fixing expression syntaxNicolai2016-07-231-14/+18
| |
| * Added UsingDeclarationNicolai2016-07-211-2/+5
| |
| * Extend EventDefinitionNicolai2016-07-211-1/+3
| |
| * Fix missing 'ether' from NumberUnit. Extend StringLiteral syntaxNicolai2016-07-201-5/+3
| |
| * Added missing (u)fixed typesNicolai2016-07-201-2/+5
| |
| * Extend NumberLiteral with unitsNicolai2016-07-201-2/+2
| |
| * Added importsNicolai2016-07-201-1/+6
| |
| * Add EventDefinitionNicolai2016-07-201-1/+3
| |
| * NumberLiteral: Allow 0x prefixNicolai2016-07-201-1/+1
| |
| * Allow function returns to be unnamedNicolai2016-07-201-1/+3
| |
| * Fix StructDef. Add BoolLiteral. Def NumLiteral, StringLiteral and Identifier.Nicolai2016-07-201-3/+8
| |
| * Fix missing quotes in ElementaryTypeNameNicolai2016-07-201-5/+5
| |
| * Added ElementaryTypeName, removed explicit recursionNicolai2016-07-201-1/+8
| |
| * Add forStmt to Stmt, removes BasicBinaryOperation, throw expr, explicit rec ↵Nicolai2016-07-191-7/+6
| | | | | | | | in ArrTypeName
| * Remove "in", extra semicolons, forced function param. Added "throw". Changes ↵Nicolai2016-07-191-9/+9
| | | | | | | | FunctionCall & IndexAccess
| * grammar.txt: Fixes to EnumDef and ArrayTypeNameNicolai2016-07-191-2/+2
| |
| * grammer.txt: inheritable => internalNicolai2016-07-191-2/+2
| |
| * Grammar: tab => spacesNicolai Søborg2016-07-151-5/+5
| |
| * Typos + added missing grammar rulesNicolai2016-07-151-3/+9
| |
| * Remove the remains of "expresison"Nicolai2016-07-152-2/+2
| |
* | Merge pull request #794 from chriseth/fixastsourcechriseth2016-08-102-3/+3
|\ \ | | | | | | Fix segfault in ast output.
| * | Fix segfault in ast output.chriseth2016-08-092-3/+3
| | |
* | | Merge pull request #826 from axic/utf8-checkchriseth2016-08-102-1/+12
|\ \ \ | | | | | | | | AST printer: do not output invalid UTF8 sequences
| * | | Remove dev::utf8 namespaceAlex Beregszaszi2016-08-091-1/+1
| | | |
| * | | Use size_t in dev::utf8::validate()Alex Beregszaszi2016-08-091-1/+1
| | | |
| * | | Use utf8::validate in StringLiteral::toStringAlex Beregszaszi2016-08-091-0/+6
| | | |
| * | | Move LiteralString::toString from the headerAlex Beregszaszi2016-08-092-1/+6
| | | |
* | | | Rename libevmasm.chriseth2016-08-101-1/+1
|/ / /
* | | Merge pull request #828 from axic/identity-gas-fixchriseth2016-08-091-2/+2
|\ \ \ | |/ / |/| | Fix identity precompile gas calculation
| * | Fix identity precompile gas calculationAlex Beregszaszi2016-08-061-2/+2
| | |
* | | Merge pull request #834 from chriseth/devcorecleanupchriseth2016-08-081-1/+1
|\ \ \ | | | | | | | | Some cleanup regarding libdevcore. Also rename to avoid conflicts.
| * | | Correct library usage.chriseth2016-08-081-1/+1
| |/ /
* / / Do not install headers.chriseth2016-08-051-1/+0
|/ /
* | Rename addUnicodeChar to addUnicodeAsUTF8Alex Beregszaszi2016-08-052-3/+3
| |
* | Support Unicode escape characters in string literals ('\uUUUU')Alex Beregszaszi2016-08-052-0/+45
| | | | | | | | Fixes #638
* | Bugfix: Allocate empty array.chriseth2016-07-282-3/+7
| |
* | Merge pull request #731 from Denton-L/move-tokenchriseth2016-07-211-2/+2
|\ \ | | | | | | Move `in` as a keyword to reserved word section
| * | Fix isCompareOp()Denton Liu2016-07-211-1/+1
| | |
| * | Move `in` as a keyword to reserved word sectionDenton Liu2016-07-211-1/+1
| |/
* | Source location as part of AST.chriseth2016-07-214-58/+210
| |
* | Merge pull request #720 from chriseth/formalStatechriseth2016-07-212-48/+169
|\ \ | | | | | | Formal Verification: Handle external effects.
| * | Handle external effects.chriseth2016-07-132-48/+169
| |/
* / Provide formal version in json output.chriseth2016-07-192-3/+6
|/
* Only warn about unused return in low-level functions.chriseth2016-06-261-6/+15
|
* Warn about unused return values.chriseth2016-06-262-0/+20
|
* Merge pull request #640 from chriseth/globalPathschriseth2016-06-102-16/+88
|\ | | | | Allow remappings to change depending on the context.
| * Allow remappings to change depending on the context.chriseth2016-06-092-16/+88
| |
* | Merge pull request #641 from axic/patch/shift-parserchriseth2016-06-092-1/+3
|\ \ | |/ |/| Trivial shift parser fixes
| * Include SHR case in ExpressionCompiler::appendShiftOperatorCodeAlex Beregszaszi2016-06-081-0/+2
| |
| * Fix Token::isBitOp to exclude shift operatorsAlex Beregszaszi2016-06-081-1/+1
| |
* | Disallow implementation of abstract function by constructor of derived class.chriseth2016-06-072-1/+7
|/
* Inaccessible dynamic typeschriseth2016-06-022-17/+29
|
generated by cgit (git 2.34.1) at 2024-11-14 03:56:28 +0800