aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* Fixes for invalid cleanups for small types.chriseth2016-05-204-23/+15
|
* Merge pull request #565 from VoR0220/fixedDataTypechriseth2016-05-201-14/+28
|\ | | | | Fixed data typename fixes and documentation
| * updated docsVoR02202016-05-191-4/+13
| | | | | | | | | | | | types reference
| * explicit conversion and loosening of binary operations on integer and fixed ↵VoR02202016-05-191-24/+11
| | | | | | | | | | | | point types...still other problems fixed some spaces and deleted lines from failing test
| * 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.
| * Allow access to functions in inline assembly.chriseth2016-05-124-19/+30
| |
* | fix: error: call of overloaded ‘list(int, <brace-enclosed initializer ↵moneroexample2016-05-171-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 ↵chriseth2016-05-116-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.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 ↵VoR02202016-05-102-99/+138
| | | | | | | | rationals and fixed point types one final tweak check for null types
* updated algorithm for bit finding...now to figure out literal valueVoR02202016-05-105-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 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, ↵VoR02202016-05-103-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 ResolutionVoR02202016-05-103-12/+10
| | | | | | minor fixes current attempts at binary fixup
* 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 ↵RJ Catalano2016-05-104-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 typesRJ Catalano2016-05-101-9/+4
|
* fixed problem with var...probably a conversion problem for fixed in size ↵RJ Catalano2016-05-102-3/+3
| | | | | | | | capabilities adding fixed type tests Removing bitshift and regrouping fixed type tests together
generated by cgit (git 2.34.1) at 2024-11-17 09:05:15 +0800