aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity
Commit message (Expand)AuthorAgeFilesLines
* 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 SemVerVersionAlex Beregszaszi2016-10-251-0/+6
* | Merge pull request #1264 from ethereum/988chriseth2016-10-253-9/+21
|\ \ | |/ |/|
| * 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
* | 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
* Fix crash in throw.chriseth2016-10-241-1/+1
* Merge pull request #1240 from ethereum/1151chriseth2016-10-241-1/+5
|\
| * ast: simplifications suggested by @chrisethYoichi Hirai2016-10-201-7/+4
| * When a contract type is super, its members do not contain the functions of it...Yoichi Hirai2016-10-201-1/+8
* | ast: add a null checkYoichi Hirai2016-10-211-0/+1
* | ast: ContractDefinition::inheritableMembers contains enums as well as structsYoichi Hirai2016-10-211-0/+3
* | 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 pus...Yoichi Hirai2016-10-181-0/+1
* Check if a fixedBytes fits an integer typeYoichi Hirai2016-10-141-1/+5
* Merge pull request #1169 from ethereum/inline-assembly-tagsAlex Beregszaszi2016-10-121-1/+3
|\
| * 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
|\ \
| * | Chack for non-version pragmasYoichi Hirai2016-10-111-1/+10
| * | formal: ignore pragmas during Why3 code generationYoichi Hirai2016-10-112-0/+6
| |/
* / Fix pragma keyword checkYoichi Hirai2016-10-111-1/+1
|/
* Merge pull request #1189 from NicolaiSoeborg/developchriseth2016-10-111-2/+2
|\
| * Fix: HexLiteral must be even number of nibblesNicolai2016-10-111-1/+1
| * 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::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
|\ \
| * | 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
* | toFormalType reports errors by an exceptionYoichi Hirai2016-09-102-21/+71
* | Translate mapping types into Why3 arrays when keys are integersYoichi Hirai2016-09-101-0/+14
* | Merge pull request #1047 from pirapira/address-in-preludechriseth2016-09-091-0/+9
|\ \
| * | Add Address module in the WhyML preludeYoichi Hirai2016-09-081-0/+9
* | | 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 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 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
|\ \ \
| * | | 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 functionAlex Beregszaszi2016-09-062-1/+2
| |/ / /
* | | | Merge pull request #1011 from walter-weinmann/wwe_grammarchriseth2016-09-061-3/+3
|\ \ \ \
| * | | | Considering comment from @chriseth regarding FunctionCall.walter-weinmann2016-09-061-3/+1
| * | | | Considering comments from @chriseth regarding ExpressionStatement and Functio...walter-weinmann2016-09-061-4/+6
| * | | | 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).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
|\ \ \ \
| * | | | 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.chriseth2016-09-021-2/+15
* | | | | Merge pull request #1006 from ethereum/nenewaccountgaschriseth2016-09-061-1/+3
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | Do not pay new account gas.chriseth2016-09-051-1/+3
| | |/ / | |/| |
* | | | Merge pull request #1005 from ethereum/modifierbodyYoichi Hirai2016-09-062-3/+4
|\ \ \ \
| * | | | 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
|\ \ \ \ | |/ / / |/| | |
| * | | 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
|\ \
| * | 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 ABIAlex Beregszaszi2016-08-271-1/+9
* | | Merge pull request #941 from chriseth/versionStringBob Summerwill2016-08-271-4/+2
|\ \ \ | |/ / |/| |
| * | 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
|\ \ \ | |/ / |/| |
| * | 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.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 --interfaceDimitry2016-08-174-85/+1
* | | Merge pull request #839 from chriseth/checkcodechriseth2016-08-171-0/+7
|\ \ \
| * | | Make function calls throw if target does not have code.chriseth2016-08-171-0/+7
| |/ /
* | | Merge pull request #888 from chriseth/throwOnDivZerochriseth2016-08-171-3/+10
|\ \ \
| * | | 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
|\ \ \ | |/ / |/| |
| * | Require modifiers to contain "_".chriseth2016-08-162-1/+29
* | | Merge pull request #838 from chriseth/ecrecoverchriseth2016-08-171-5/+38
|\ \ \
| * | | 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
* | | Reserved keywords update (#833)Alex Beregszaszi2016-08-161-2/+6
* | | Provide inline assembly to the code generator. (#840)chriseth2016-08-165-1/+87
* | | Throw if contract creation fails.chriseth2016-08-161-0/+3
|/ /
* | Merge pull request #844 from Denton-L/remove-afterchriseth2016-08-124-9/+5
|\ \
| * | 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
| * | 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
|\|
| * 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 i...Nicolai2016-07-191-7/+6
| * Remove "in", extra semicolons, forced function param. Added "throw". Changes ...Nicolai2016-07-191-9/+9
| * 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.chriseth2016-08-092-3/+3
* | | Merge pull request #826 from axic/utf8-checkchriseth2016-08-102-1/+12
|\ \ \
| * | | 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 calculationAlex Beregszaszi2016-08-061-2/+2
* | | Merge pull request #834 from chriseth/devcorecleanupchriseth2016-08-081-1/+1
|\ \ \
| * | | 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
* | Bugfix: Allocate empty array.chriseth2016-07-282-3/+7
* | Merge pull request #731 from Denton-L/move-tokenchriseth2016-07-211-2/+2
|\ \
| * | 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
|\ \
| * | 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.chriseth2016-06-092-16/+88
* | Merge pull request #641 from axic/patch/shift-parserchriseth2016-06-092-1/+3
|\ \ | |/ |/|
| * 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
* Fixes for invalid cleanups for small types.chriseth2016-05-204-23/+15
* Merge pull request #565 from VoR0220/fixedDataTypechriseth2016-05-201-14/+28
|\
| * updated docsVoR02202016-05-191-4/+13
| * explicit conversion and loosening of binary operations on integer and fixed p...VoR02202016-05-191-24/+11
| * current debugging infoVoR02202016-05-191-2/+20
* | Refactor compiler to avoid weird swap of contextschriseth2016-05-204-871/+999
|/
* Merge pull request #545 from chriseth/accessFunLabelschriseth2016-05-184-19/+30
|\
| * Allow access to functions in inline assembly.chriseth2016-05-124-19/+30
* | fix: error: call of overloaded ‘list(int, <brace-enclosed initializer list>...moneroexample2016-05-171-1/+1
|/
* Remove unused tests and add asserts for not implemented parts in code generat...chriseth2016-05-116-15/+19
* Simplify interface of RationalNumber.chriseth2016-05-115-24/+25
* Special case for moving sign bit to fractional part.chriseth2016-05-111-5/+10
* Cleanup.chriseth2016-05-111-14/+19
* Disallow explicit fixed->enum, but allow bytes->fixed.chriseth2016-05-111-1/+1
* Some cleanup.chriseth2016-05-112-60/+32
* Replace "unsigned int" by "unsigned".chriseth2016-05-111-9/+9
* Prefer mobileType() to check rational range.chriseth2016-05-113-26/+23
* reorganized tests and fixed mobile types and implicit conversions of rational...VoR02202016-05-102-99/+138
* updated algorithm for bit finding...now to figure out literal valueVoR02202016-05-105-140/+100
* changed algorithm for finding bitsVoR02202016-05-101-29/+37
* much better way of doing modulusVoR02202016-05-101-8/+2
* added bytes conversion tests, resolved that, converted to binary scaling, ref...VoR02202016-05-103-61/+69
* fixing modulus and Solidity Name and Type ResolutionVoR02202016-05-103-12/+10
* rational renamingVoR02202016-05-102-4/+4
* changed names for Rational Constants and categoriesVoR02202016-05-106-49/+53
* currently what we haveVoR02202016-05-101-4/+8
* got exponents up and working with their inverse, changed a few of the tests.....RJ Catalano2016-05-104-52/+53
* size capabilities functioning properly for fixed typesRJ Catalano2016-05-101-9/+4
* fixed problem with var...probably a conversion problem for fixed in size capa...RJ Catalano2016-05-102-3/+3
* fix for token bug, also quick fix for the wei and secondsRJ Catalano2016-05-101-1/+1
* Rational implemented...trying to figure out exponentialRJ Catalano2016-05-101-52/+15
* initial work for fixed types...potentially needing a constant literal type fo...RJ Catalano2016-05-1010-104/+535
* Allow calling internal functions of libraries.chriseth2016-05-044-59/+116
* Remove non-determinism in missing code queue.chriseth2016-05-034-37/+95
* Windows fix.chriseth2016-04-211-1/+1
* Source location for inline assembly.chriseth2016-04-207-69/+149