aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity
Commit message (Collapse)AuthorAgeFilesLines
* Optimize across MLOAD if MSIZE is not used.chriseth2018-04-033-25/+45
|
* Set default fixed point decimal places to 18Jason Cobb2018-03-311-2/+2
|
* Merge pull request #3790 from ethereum/empty-structschriseth2018-03-302-0/+16
|\ | | | | Disallow empty structs
| * Still allow empty structs for non-0.5.0 modeAlex Beregszaszi2018-03-271-1/+8
| |
| * Disallow empty structsAlex Beregszaszi2018-03-272-0/+9
| |
* | Prevent encoding of weird types and support packed encoding of external ↵chriseth2018-03-294-4/+21
| | | | | | | | function types.
* | Merge pull request #3775 from federicobond/improve-error-fractional-shiftchriseth2018-03-281-1/+1
|\ \ | |/ |/| Improve error message when attempting to shift by fractional number
| * Improve error message when trying to shift by fractional numberFederico Bond2018-03-221-1/+1
| |
* | Merge pull request #3681 from ethereum/interface-externalchriseth2018-03-273-0/+18
|\ \ | | | | | | Allow overriding external functions in interfaces with public in a child
| * | Introduce inContractKind helper on FunctionDefinitionAlex Beregszaszi2018-03-263-11/+14
| | |
| * | Allow overriding external functions in interfaces with public in an ↵Alex Beregszaszi2018-03-261-0/+15
| |/ | | | | | | implementing contract
* | Merge pull request #3686 from ethereum/doNotIncludeItnernalchriseth2018-03-273-6/+28
|\ \ | | | | | | Do not include internal functions only used by constructor
| * | Add runtimeOnly option to pushCombinedFunctionEntryLabelAlex Beregszaszi2018-03-273-8/+8
| | |
| * | Use shortcut for internal function calls to avoid runtime reference.chriseth2018-03-271-1/+23
| |/
* | Changes deprecation and adjusts tests.bitshift2018-03-272-20/+24
| |
* | Moves blockhash function to global level.bitshift2018-03-272-9/+21
|/
* Decode dynamic data.chriseth2018-03-214-18/+48
|
* Move dynamic type removal out of the type system.chriseth2018-03-214-18/+37
|
* Simple size check for old ABI decoder.chriseth2018-03-213-32/+97
|
* Move the old ABI decoder code.chriseth2018-03-204-105/+106
|
* Merge branch 'develop' into externalFunctionsInLibrarieschriseth2018-03-155-12/+22
|\
| * Merge pull request #3725 from ethereum/blockhashNoCallchriseth2018-03-151-0/+3
| |\ | | | | | | Allow ``block.blockhash`` without it being called.
| | * Allow ``block.blockhash`` without being called.chriseth2018-03-141-0/+3
| | |
| * | Merge pull request #3722 from ethereum/fixModsAlex Beregszaszi2018-03-153-5/+16
| |\ \ | | | | | | | | Fix modifier lookup in libraries.
| | * | Bugfix in virtual lookup for modifiers in libraries.chriseth2018-03-133-5/+16
| | |/
| * / DocStringParser: Fix error message for empty parameter description.Daniel Kirchner2018-03-141-7/+3
| |/
* / Make external library functions accessible.chriseth2018-03-142-2/+3
|/
* [SMTChecker_Bool] Fix PR review comments: method renaming and solAssertLeonardo Alt2018-03-133-16/+17
|
* [SMTChecker_Bool] Fix PR comments; Add support to gt, ge, lt, le. and tests.Leonardo Alt2018-03-1310-41/+85
|
* [SMTChecker] Support to Bool variablesLeonardo Alt2018-03-136-8/+107
|
* Support constantinople in evm-versionAlex Beregszaszi2018-03-131-1/+1
|
* Properly skip cleanup if only enlarging storage array.chriseth2018-03-091-2/+2
|
* Merge pull request #3611 from ethereum/warn-using-address-overloadAlex Beregszaszi2018-03-071-0/+14
|\ | | | | Warn if using address overloads on contracts
| * Assert that address members are not present on contract types in 0.5.0.chriseth2018-03-051-0/+4
| |
| * Warn if using address overloads on contractsAlex Beregszaszi2018-03-051-0/+10
| |
* | Merge pull request #3664 from ethereum/literalsHexUnitSmallFixchriseth2018-03-071-2/+2
|\ \ | | | | | | Use double quotes for suggestion about hex literals and denominations.
| * | Use double quotes for suggestion about hex literals and denominations.Daniel Kirchner2018-03-071-2/+2
| | |
* | | Merge pull request #3527 from ethereum/warnLooseAsmAlex Beregszaszi2018-03-076-10/+63
|\ \ \ | | | | | | | | Warn about using loose assembly.
| * | | Warn about using loose inline assembly features as experimental 0.5.0 feature.chriseth2018-03-076-10/+63
| |/ /
* | | Merge pull request #3663 from ethereum/gasleftEmscriptenchriseth2018-03-071-0/+1
|\ \ \ | |/ / |/| | Add gasleft to FunctionType::richIdentifier().
| * | Add gasleft to FunctionType::richIdentifier().Daniel Kirchner2018-03-071-0/+1
| | |
* | | Merge pull request #2966 from ethereum/useStaticCallAlex Beregszaszi2018-03-072-2/+11
|\ \ \ | |/ / |/| | Use STATICCALL for pure function calls.
| * | Use STATICCALL for pure function calls if EVM version supports it and 0.5.0 ↵chriseth2018-03-062-2/+11
| | | | | | | | | | | | is activated.
* | | Merge pull request #3549 from ethereum/fixmultidimAlex Beregszaszi2018-03-062-6/+26
|\ \ \ | |/ / |/| | Properly detect which array and struct types are unsupported by the old ABI encoder.
| * | Fix multi-dimensional arrays in the ABI.chriseth2018-03-012-6/+26
| | |
* | | Merge pull request #3652 from ethereum/gasleft_v2chriseth2018-03-063-16/+22
|\ \ \ | | | | | | | | Use StaticAnalyzer to deprecate msg.gas instead of conditionally remo…
| * | | Use StaticAnalyzer to deprecate msg.gas instead of conditionally removing it ↵Daniel Kirchner2018-03-063-16/+22
| | | | | | | | | | | | | | | | in MagicType.
* | | | Merge pull request #3640 from ↵chriseth2018-03-061-2/+2
|\ \ \ \ | | | | | | | | | | | | | | | | | | | | AnthonyBroadCrawford/spanning-multiline-message-fix moved spanning multi lines message to appear on some lane vs new line…
| * | | | Improved messaging when an error spans multiple lines and updated change log ↵Anthony Broad-Crawford2018-03-061-2/+2
| | | | | | | | | | | | | | | | | | | | file.
* | | | | Merge pull request #3599 from ethereum/sendAllGasOnByzantiumchriseth2018-03-061-10/+13
|\ \ \ \ \ | | | | | | | | | | | | Send all gas on byzantium
| * | | | | Do not retain any gas in external calls (except if EVM version is set to ↵chriseth2018-03-061-10/+13
| | | | | | | | | | | | | | | | | | | | | | | | homestead).
* | | | | | Merge pull request #3643 from ethereum/gasleftchriseth2018-03-064-5/+21
|\ \ \ \ \ \ | |/ / / / / |/| | / / / | | |/ / / | |/| | | Move msg.gas to global function gasleft(). Closes #2971.
| * | | | Style improvements.Daniel Kirchner2018-03-062-4/+7
| | | | |
| * | | | Move msg.gas to global function gasleft(). Closes #2971.Daniel Kirchner2018-03-054-6/+19
| |/ / /
* | | | Merge pull request #3600 from ethereum/version050IsAnalysisOnlychriseth2018-03-061-0/+1
|\ \ \ \ | |_|_|/ |/| | | Do not warn about 0.5.0 experimental pragma.
| * | | Do not warn about 0.5.0 experimental pragma.chriseth2018-03-051-0/+1
| | | |
* | | | Merge pull request #3642 from leonardoalt/fix_z3-46chriseth2018-03-051-0/+1
|\ \ \ \ | |/ / / |/| | | Add z3 performance option
| * | | This z3 option is necessary for good solving performanceLeonardo Alt2018-03-041-0/+1
| |/ /
* | | Merge pull request #3569 from ethereum/evmVersionchriseth2018-03-0519-66/+231
|\ \ \ | |/ / |/| | EVM version
| * | Use EVM version in gas meter and optimizer.chriseth2018-03-057-23/+30
| | |
| * | Only warn for shift instructions if not using constantinopleAlex Beregszaszi2018-03-022-9/+10
| | |
| * | Add constantinople.chriseth2018-03-021-3/+5
| | |
| * | Add TangerineWhistle.chriseth2018-03-021-15/+24
| | |
| * | Provide EVM version to assembly analysis.chriseth2018-03-027-14/+37
| | |
| * | Use EVM version in type checker.chriseth2018-03-022-2/+9
| | |
| * | Provide target EVM version in CompilerContext.chriseth2018-03-024-9/+19
| | |
| * | Store EVM version in settings.chriseth2018-03-021-0/+1
| | |
| * | Add ability to set the target EVM version.chriseth2018-03-024-9/+114
| |/
* | Merge pull request #3628 from ethereum/literalsHexUnitchriseth2018-03-021-0/+17
|\ \ | |/ |/| Deprecate using unit denominations in combination with hex numbers.
| * Suggest expressions of the form '0x1234 * 1 day' instead of hex numbers with ↵Daniel Kirchner2018-03-021-2/+4
| | | | | | | | unit denominations.
| * Deprecate using unit denominations in combination with hex numbers. Closes ↵Daniel Kirchner2018-03-011-0/+15
| | | | | | | | #3574.
* | Merge pull request #3624 from ethereum/jsonio-libraries-hexAlex Beregszaszi2018-03-011-2/+18
|\ \ | | | | | | Ensure that library addresses supplied are of correct length and hex prefixed
| * | Ensure that library addresses supplied are of correct length and hex ↵Alex Beregszaszi2018-03-011-2/+18
| |/ | | | | | | prefixed in JSONIO
* | Fix PR commentsLeonardo Alt2018-03-013-12/+0
| |
* | Fix PR commentsLeonardo Alt2018-03-016-23/+37
| |
* | Supported types listed in SSAVariableLeonardo Alt2018-03-014-3/+20
| |
* | Integer min and max values placed under SymbolicIntVar instead of SMTCheckerLeonardo Alt2018-03-014-19/+9
| |
* | [SMTChecker] A little refactoring on SSA varsLeonardo Alt2018-03-018-54/+395
|/
* Merge pull request #3617 from ethereum/jsonio-librarieschriseth2018-03-011-3/+19
|\ | | | | Add more comprehensive tests and checks for libraries in JSONIO
| * Properly validate invalid hex characters in JSONIO librariesAlex Beregszaszi2018-02-281-2/+14
| |
| * Add more comprehensive tests and checks for libraries in JSONIOAlex Beregszaszi2018-02-281-1/+5
| |
* | Merge pull request #3613 from ethereum/require-visibilitychriseth2018-02-281-6/+13
|\ \ | |/ |/| Issue error if no visibility is specified (on 0.5.0)
| * Issue error if no visibility is specified (on 0.5.0)Alex Beregszaszi2018-02-271-6/+13
| |
* | Merge pull request #3476 from ethereum/scopingchriseth2018-02-288-71/+236
|\ \ | |/ |/| C99/C++ scoping rules
| * Only active variables at the point of their declaration.chriseth2018-02-276-30/+84
| |
| * Enable C99-scoping with the 0.5.0-experimental pragma.chriseth2018-02-275-38/+53
| |
| * Blocks and for loops can be scopes.chriseth2018-02-276-6/+78
| |
| * Scopes do not have to be declarations.chriseth2018-02-274-24/+47
| |
| * Make all lookups recursive by default.chriseth2018-02-272-10/+11
| |
* | Remove ROL/ROR as they are not part of EIP145 anymoreAlex Beregszaszi2018-02-271-3/+1
| |
* | Warn on using shift instructionsAlex Beregszaszi2018-02-271-0/+16
|/
* Turn throw into a syntax error for 0.5.0Alex Beregszaszi2018-02-271-4/+12
|
* Merge pull request #3589 from ethereum/identifiersAlex Beregszaszi2018-02-272-42/+63
|\ | | | | Clean up type identifiers
| * Use new escaping helpers for type identifiersAlex Beregszaszi2018-02-272-20/+9
| |
| * Rename Types::identifier to Types::richIdentifierAlex Beregszaszi2018-02-272-35/+41
| |
| * Add helpers escapeIdentifier to TypesAlex Beregszaszi2018-02-272-1/+27
| |
* | Fix: Function types for getters should not have storage pointers.chriseth2018-02-261-1/+4
| |
* | Simplify FunctionType constructors.chriseth2018-02-261-42/+14
|/
* Warn about using events without emit.chriseth2018-02-222-1/+13
|
* Introduce emit statement.chriseth2018-02-2214-2/+120
|
* Do not warn about analysis-only experimental features.chriseth2018-02-221-2/+4
|
* Add assertion for boolean literals in Julia-modeAlex Beregszaszi2018-02-221-0/+5
|
* Raise error on oversized number literals in assemblyAlex Beregszaszi2018-02-221-0/+8
|
* Merge pull request #3554 from ethereum/reuseScannerOrNotchriseth2018-02-215-6/+10
|\ | | | | Expect end of string at end of top-level block for assembly parser.
| * Expect end of string at end of top-level block for assembly parser.chriseth2018-02-215-6/+10
| |
* | Add new JSON API for better abstraction and for supporting strict JSON parsingAlexander Arlt2018-02-211-4/+3
|/
* Fix shadowing for imports with aliases.chriseth2018-02-201-2/+3
|
* Properly warn about the use of constants in inline assembly in connection ↵chriseth2018-02-201-6/+6
| | | | with ``_offset`` and ``_slot``.
* Merge pull request #3135 from federicobond/formatter-instancechriseth2018-02-202-50/+43
|\ | | | | Convert static SourceReferenceFormatter functions to member ones
| * Fix scannerFromSourceName use-after-free.chriseth2018-02-191-3/+3
| |
| * Convert static SourceReferenceFormatter functions to member onesFederico Bond2018-02-192-49/+42
| |
* | Added property _documentation_ to Function, Event, and Modifier definition ↵Emilio Almansi2018-02-191-0/+3
| | | | | | | | classes.
* | Minor improvement: check sourcesAlexander Arlt2018-02-171-1/+5
|/ | | | | - returns error, if "sources" is an array, an empty object or not defined - Added new test-cases in test/libsolidity/StandardCompiler.cpp
* Make addmod and mulmod revert if the last argument is zero.chriseth2018-02-151-1/+5
|
* Disallow uninitialized storage pointers as experimental 0.5.0 feature.chriseth2018-02-151-1/+5
|
* Merge pull request #3498 from ethereum/allowthisfselectorchriseth2018-02-143-0/+41
|\ | | | | Allow `this.f.selector` to be pure.
| * Allow `this.f.selector` to be pure.chriseth2018-02-133-0/+41
| |
* | Fix: remove reference.chriseth2018-02-131-2/+4
| |
* | Minor changes.chriseth2018-02-131-2/+1
| |
* | Restructure code for alternative identifier suggestionsBalajiganapathi S2018-02-133-19/+6
| |
* | Move string distance function to utils and format error messageBalajiganapathi S2018-02-133-48/+6
| |
* | Suggest alternatives when identifier not found.Balajiganapathi S2018-02-135-2/+95
| |
* | Merge pull request #3349 from federicobond/number-improvAlex Beregszaszi2018-02-132-2/+20
|\ \ | |/ |/| Avoid output messages size blow-up using huge bignums literals
| * Always use shortened literal number representation.chriseth2018-02-132-9/+9
| |
| * Avoid output messages size blow-up using huge bignums literalsFederico Bond2018-02-132-3/+21
| |
* | Deprecate the var keyword (and mark it an error as experimental 0.5.0 feature)Jimmy Vogel2018-02-132-0/+16
|/
* Fix segfault with undeclared array typesFederico Bond2018-02-121-0/+5
|
* Merge pull request #3360 from federicobond/nonfatal-reference-errorsAlex Beregszaszi2018-02-041-13/+20
|\ | | | | Replace some fatal errors when resolving references with normal ones
| * Replace some fatal errors when resolving references with normal onesFederico Bond2018-02-031-13/+20
| |
* | Issue warning for using public visibility for interface functionsAlex Beregszaszi2018-02-011-0/+2
| |
* | Prevent libraries from being called.chriseth2018-01-195-6/+87
|/
* Disallow non-functional instructions in parseExpression earlyAlex Beregszaszi2018-01-101-2/+5
|
* Show restricted instruction warning before argument mismatch issueAlex Beregszaszi2018-01-081-11/+11
|
* Support strict assembly mode in AssemblyStackAlex Beregszaszi2018-01-062-1/+3
|
* Split inline assembly into loose and strict flavours.chriseth2018-01-0610-34/+73
|
* Simplify parseElementaryOperation in regards to special instructionsAlex Beregszaszi2018-01-062-11/+18
|
* Merge pull request #3382 from ethereum/julia-identifier-parserchriseth2018-01-061-1/+7
|\ | | | | Support some restricted tokens (return, byte, address) as identifier in Julia
| * Support some restricted tokens (return, byte, address) as identifiers in JuliaAlex Beregszaszi2018-01-051-1/+7
| |
* | Properly support library file names containing a colon (such as URLs).Alex Beregszaszi2018-01-051-1/+1
|/
* [SMTChecker] Variables are merged after branches (ite variables)Leonardo Alt2018-01-052-13/+37
|
* Reset source location after using inline assembly.chriseth2018-01-041-0/+3
|
* Merge pull request #3297 from ethereum/separate_expression_and_statementAlex Beregszaszi2018-01-0411-50/+104
|\ | | | | Separate expression and statement
| * Separate expression and statement.chriseth2017-12-1311-50/+104
| |
* | Merge pull request #3369 from ethereum/jsonio-colonAlex Beregszaszi2018-01-041-1/+1
|\ \ | | | | | | Properly handle colons in file names within jsonio
| * | Properly handle colons in file names within jsonioAlex Beregszaszi2018-01-031-1/+1
| | |
* | | Improve error message for wrong struct initialization (#3359)Federico Bond2018-01-041-1/+5
|/ /
* | [SMTChecker] Fix typo in the code (satisifable->satisfiable)Leonardo Alt2017-12-192-8/+8
| |
* | Merge pull request #3342 from ethereum/jsonio-sourcelocationAlex Beregszaszi2017-12-181-2/+2
|\ \ | | | | | | Populate the sourceLocation field properly in standard JSON on errors
| * | Populate the sourceLocation field properly in standard JSON on errorsAlex Beregszaszi2017-12-181-2/+2
| | |
* | | Merge pull request #3304 from leonardoalt/smt_checkerchriseth2017-12-183-8/+55
|\ \ \ | | | | | | | | [SMTChecker] Keep track of current path conditions
| * | | [SMTChecker] Helper functions to add an expression to the solver conjoined ↵Leonardo Alt2017-12-142-5/+19
| | | | | | | | | | | | | | | | with or implied by the current path conditions
| * | | [SMTChecker] Keep track of current path conditionsLeonardo Alt2017-12-143-8/+41
| | |/ | |/|
* | | Favour if over switch in ABI coder.chriseth2017-12-151-14/+14
| |/ |/|
* | Merge pull request #3232 from ethereum/simplifyConstantchriseth2017-12-144-48/+66
|\ \ | |/ |/| Simplify ConstantEvaluator.
| * Re-use `commonType`chriseth2017-12-121-1/+1
| |
| * Simplify ConstantEvaluator.chriseth2017-12-123-41/+61
| |
| * Reduce the types of errors outputted by ConstantEvaluatorAlex Beregszaszi2017-12-121-8/+6
| |
| * Improve error message for constant evaluatorAlex Beregszaszi2017-12-122-2/+2
| |
* | Merge pull request #3310 from ethereum/limitDeclYoichi Hirai2017-12-122-14/+17
|\ \ | | | | | | Limit number of secondary source locations.
| * | Limit number of secondary source locations.chriseth2017-12-122-14/+17
| |/
* | Merge pull request #3183 from federicobond/fix-event-parsingYoichi Hirai2017-12-121-9/+5
|\ \ | |/ |/| Fix event parsing. Refs #3175
| * Fix event parsing. Refs #3175Federico Bond2017-11-231-9/+5
| |
* | Fix struct encoding warning for libraries.chriseth2017-12-111-0/+1
| |
* | Suggest the experimental ABI encoder if using structs as function parametersAlex Beregszaszi2017-12-111-0/+10
| |
* | Suggest the "if" statement too instead of jumpsAlex Beregszaszi2017-12-061-1/+1
| |
* | Warn for assembly labels tooAlex Beregszaszi2017-12-061-2/+3
| |
* | Split Instruction and FunctionalInstruction in JuliaAlex Beregszaszi2017-12-055-13/+19
| |
* | Merge pull request #3032 from ethereum/divisionchriseth2017-12-055-41/+164
|\ \ | | | | | | Division and unary operators for SMT checker
| * | Fix expression creation problems.chriseth2017-11-301-19/+30
| | |
| * | Fix signed division.chriseth2017-11-302-2/+20
| | |
| * | Unary operators and division.chriseth2017-11-305-61/+155
| | |
* | | Merge pull request #3265 from ethereum/rename_args_to_paramschriseth2017-12-045-11/+11
|\ \ \ | | | | | | | | Rename arguments to parameters.
| * | | Rename arguments to paramaters and returns to returnVariables.chriseth2017-12-015-11/+11
| |/ /
* / / Include missing forward declarations in AsmDataForwardAlex Beregszaszi2017-11-301-0/+3
|/ /
* | Simplify target selection codeAlex Beregszaszi2017-11-301-18/+9
| |
* | Rename target selection to use the word artifactAlex Beregszaszi2017-11-301-32/+32
| |
* | Add workaround for bytecode/deployedBytecode selectionAlex Beregszaszi2017-11-301-2/+20
| |
* | Limit output according to the selected targets in StandardCompilerAlex Beregszaszi2017-11-301-20/+32
| |
* | Add target selection helpers to StandardCompilerAlex Beregszaszi2017-11-301-0/+56
| |
* | Cleanup and overflow checks for data pointers.chriseth2017-11-304-23/+47
| |
* | ABI decoder.chriseth2017-11-306-4/+503
| |
* | Merge pull request #3220 from ethereum/IuliaIfchriseth2017-11-2711-5/+52
|\ \ | | | | | | If statement for Iulia / Inline Assembly
| * | Use if statement in abi functions.chriseth2017-11-221-3/+3
| | |
| * | If statement for Iulia / inline assembly.chriseth2017-11-2210-2/+49
| | |
* | | Explain IntIntFun and merge assertion.chriseth2017-11-241-3/+7
| | |
* | | Introduce sorts for smt expressions.chriseth2017-11-223-48/+37
|/ /
* | Fix problem with non-value-typed variables.chriseth2017-11-222-14/+16
| |
* | For loop.chriseth2017-11-222-0/+43
| |
* | Fix boolean constants.chriseth2017-11-221-2/+7
| |
* | Check for conditions being constant.chriseth2017-11-224-27/+102
| |
* | Tests.chriseth2017-11-221-5/+0
| |
* | Track usage of variables.chriseth2017-11-224-70/+215
| |
* | Handle branches.chriseth2017-11-222-54/+88
| |
* | Improve cyclic constant error messageAlex Beregszaszi2017-11-221-1/+1
| |
* | Detect cyclic constant definitionsBalajiganapathi S2017-11-222-8/+15
| |
* | Allow constant integer variables as array lengths.Balajiganapathi S2017-11-222-0/+19
| |
* | Show checksummed address always (prepend with 0)Alex Beregszaszi2017-11-171-2/+5
| |
* | Do not try to display checksummed address for too-short/long address literalsAlex Beregszaszi2017-11-173-3/+5
| |
* | Improves address literal checksum error messagewadeAlexC2017-11-173-3/+13
| |
* | Merge pull request #3209 from ethereum/unimplemented-msgschriseth2017-11-162-3/+3
|\ \ | | | | | | Add explanation to unimplemented assertions
| * | Add explanation to unimplemented assertionsAlex Beregszaszi2017-11-162-3/+3
| | |
* | | Merge pull request #3194 from kseo/print-using-forAlex Beregszaszi2017-11-162-0/+14
|\ \ \ | |/ / |/| | Print using for directive in ASTPrinter
| * | Print using for directive in ASTPrinterKwang Yul Seo2017-11-162-0/+14
| | |
* | | Merge pull request #3206 from kseo/outdated-commentAlex Beregszaszi2017-11-164-4/+4
|\ \ \ | |/ / |/| | Update outdated comments
| * | Update outdated commentsKwang Yul Seo2017-11-154-4/+4
| | | | | | | | | | | | _errors -> _errorReporter.
* | | Merge pull request #3189 from kseo/unusedAlex Beregszaszi2017-11-161-4/+0
|\ \ \ | |/ / |/| | Remove unused method
| * | Remove unused methodKwang Yul Seo2017-11-121-4/+0
| |/ | | | | | | The body of Function::functionIdentifier is missing and is not used.
* | Fix a typoKwang Yul Seo2017-11-141-1/+1
| | | | | | | | | | A semicolon was mistakenly inserted where a string concatenation operator was meant.
* | Remove a redundant checkKwang Yul Seo2017-11-131-1/+1
|/ | | | m_type can't be FunctionType::Kind::DelegateCall.
* Merge pull request #3092 from rivenhk/b_2885chriseth2017-10-231-0/+15
|\ | | | | added formatting when source snippets is too long
| * updated formatting when source snippets is too longrivenhk2017-10-191-3/+3
| |
| * updating formatting when source snippets is too longrivenhk2017-10-181-5/+5
| |
| * added formatting when source snippets is too longrivenhk2017-10-181-0/+15
| |
* | Merge pull request #3030 from ethereum/smt-variable-typeschriseth2017-10-202-1/+16
|\ \ | | | | | | SMT enforce variable types
| * | SMT enforce variable typesAlex Beregszaszi2017-10-052-1/+16
| | |
* | | More detailed errors for invalid array lengths (such as division by zero).Alex Beregszaszi2017-10-201-3/+20
| | |
* | | Merge pull request #3101 from ethereum/compilerstack-headerchriseth2017-10-192-27/+41
|\ \ \ | | | | | | | | Remove the reliance on empty contract name equals "last contract" in CompilerStack
| * | | Simplify contract lookup in CompileStackAlex Beregszaszi2017-10-191-5/+10
| | | |
| * | | Implement CompilerStack.lastContractName()Alex Beregszaszi2017-10-192-10/+19
| | | |
| * | | Always require a contract/sourceName in CompilerStackAlex Beregszaszi2017-10-191-14/+14
| | | |
* | | | Merge pull request #3108 from ethereum/remove-callcodechriseth2017-10-191-4/+12
|\ \ \ \ | | | | | | | | | | Turn usage of callcode into an error as experimental 0.5.0 feature
| * | | | Turn usage of callcode into an error as experimental 0.5.0 featureAlex Beregszaszi2017-10-191-4/+12
| |/ / /
* / / / Remove unused variable in Z3Alex Beregszaszi2017-10-191-1/+1
|/ / /
* | | Merge pull request #2925 from ethereum/tuple-value-checkchriseth2017-10-181-0/+6
|\ \ \ | | | | | | | | Validate each tuple literal
| * | | Only check tuples for valid rational numbers if they have more than one element.chriseth2017-10-181-1/+1
| | | |
| * | | Validate each tuple literalAlex Beregszaszi2017-10-181-0/+6
| | |/ | |/|
* | | Do not accept truncated function selectors.chriseth2017-10-181-7/+4
| | |
* | | Catch exception in Z3.chriseth2017-10-181-18/+27
| | | | | | | | | | | | | | | Note: This exception might not be the result of resource limitation, it might also hint towards usage error.
* | | Remove duplicate >= in Z3Alex Beregszaszi2017-10-181-2/+1
| | |
* | | Missing forward declaration.chriseth2017-10-181-0/+1
| | |
* | | Rename variables in SMT checker.chriseth2017-10-182-11/+11
|/ /
* | Allocate one byte per memory byte array element instead of 32.chriseth2017-10-171-2/+9
| |
* | Improve Z3 message in cmakeAlex Beregszaszi2017-10-131-2/+2
| |
* | Force interface functions as external (0.5.0)Alex Beregszaszi2017-10-061-2/+10
| |
* | Remove obsolete createTypeError in ASTAlex Beregszaszi2017-10-063-12/+1
| |
* | Use the proper error reporting interface in ConstantEvaluatorAlex Beregszaszi2017-10-063-7/+13
| |
* | Require location keyword for local variables (0.5.0)Alex Beregszaszi2017-10-061-5/+13
| |
* | Merge pull request #2981 from ethereum/no-address-overloadchriseth2017-10-051-2/+5
|\ \ | | | | | | Do not add members of address to contracts in experimental 0.5.0
| * | Do not add members of address to contracts in experimental 0.5.0Alex Beregszaszi2017-10-051-2/+5
| | |
* | | Merge pull request #3020 from ethereum/smt-functioncallAlex Beregszaszi2017-10-051-0/+10
|\ \ \ | |_|/ |/| | SMT should not crash on special function calls (typecast)
| * | SMT should not crash on typecast/structsAlex Beregszaszi2017-10-051-0/+10
| | |
* | | Merge pull request #2982 from ethereum/encoderFixesAlex Beregszaszi2017-10-052-25/+18
|\ \ \ | |_|/ |/| | ABI encoder fixes and test.
| * | Rename "compacted" to "fromStack".chriseth2017-10-042-22/+18
| | |
| * | ABI encoder fixes and test.chriseth2017-09-271-5/+2
| | |
* | | Merge pull request #3029 from ethereum/tanwisgasAlex Beregszaszi2017-10-051-0/+3
|\ \ \ | | | | | | | | Send all gas for 0.5.0.
| * | | Send all gas for 0.5.0.chriseth2017-10-051-0/+3
| | |/ | |/|
* | | Merge pull request #2968 from ethereum/calldataencodedsizechriseth2017-10-051-0/+3
|\ \ \ | | | | | | | | Add some asserts about calldata encoded size.
| * | | Add some asserts about calldata encoded size.chriseth2017-10-041-0/+3
| | | |
* | | | Merge pull request #2901 from ethereum/compiler-nameschriseth2017-10-053-1/+40
|\ \ \ \ | | | | | | | | | | Provide optional list of contract names to CompilerStack.compile
| * | | | Restrict contracts compiled via outputSelection (but not the individual ↵Alex Beregszaszi2017-10-051-0/+19
| | | | | | | | | | | | | | | | | | | | output details)
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-10 15:59:07 +0800