aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity
Commit message (Expand)AuthorAgeFilesLines
* Use native shift instructions on ConstantinopleAlex Beregszaszi2018-05-012-4/+19
* Merge pull request #3996 from ethereum/refactorParserchriseth2018-05-012-66/+73
|\
| * Refactor parser.chriseth2018-04-262-66/+73
* | Merge pull request #4018 from ethereum/disable-bytes0chriseth2018-05-012-13/+4
|\ \
| * | Remove unused function smallestTypeForLiteralAlex Beregszaszi2018-04-302-11/+0
| * | Disable FixedBytesType(0) aka bytes0Alex Beregszaszi2018-04-301-2/+4
| |/
* | Merge pull request #3958 from meowingtwurtle/fixedPointTypeschriseth2018-04-302-19/+12
|\ \ | |/ |/|
| * Remove category check in FixedPointType:binaryOperatorResult as commonType ha...Alex Beregszaszi2018-04-211-11/+0
| * Types changes for fixed pointsJason Cobb2018-04-212-13/+17
* | Add virtual destructor in LValue class.Alexander Arlt2018-04-251-0/+1
* | Merge pull request #3981 from ethereum/years-suffixchriseth2018-04-241-0/+16
|\ \
| * | The "year" denomination is deprecatedAlex Beregszaszi2018-04-231-0/+16
* | | Merge pull request #3970 from elopio/test/docstring-tag-endAlex Beregszaszi2018-04-241-1/+1
|\ \ \
| * | | docstring: add missing spaceLeo Arias2018-04-241-1/+1
| | |/ | |/|
* | | Merge pull request #3976 from ethereum/emptyTupleComponentchriseth2018-04-231-0/+13
|\ \ \ | |_|/ |/| |
| * | Treats inline array as an error.Erik Kundt2018-04-231-0/+2
| * | Turns it into warning (error for 0.5.0) and adds Changelog entry.Erik Kundt2018-04-231-1/+8
| * | Prevents null type from being used in tuple.Erik Kundt2018-04-221-0/+4
| |/
* / Turn deprecated warnings for sha3/suicide into errors (experimental 0.5.0)Alex Beregszaszi2018-04-211-2/+10
|/
* Make literals an error for tight packing (experimental 0.5.0)Alex Beregszaszi2018-04-201-8/+18
* Merge pull request #3943 from ethereum/smt_remove_branch_warningchriseth2018-04-202-10/+10
|\
| * [SMTChecker] Remove 'information is erase' message for if-elseLeonardo Alt2018-04-192-10/+10
* | Merge pull request #3941 from ethereum/bytes-contractchriseth2018-04-191-1/+0
|\ \
| * | Disallow explicit conversion of bytesXX to contractAlex Beregszaszi2018-04-191-1/+0
| |/
* / Improve error message for failed member lookup.chriseth2018-04-191-11/+16
|/
* Merge pull request #3923 from ethereum/warnConstructorAlex Beregszaszi2018-04-191-1/+6
|\
| * Warn about functions named "constructor".chriseth2018-04-191-1/+6
* | Merge pull request #3922 from ethereum/smt_sol_unimplementedassertAlex Beregszaszi2018-04-191-2/+2
|\ \ | |/ |/|
| * [SMTChecker] Using solUnimplementedAssert instead of solAssert when applicableLeonardo Alt2018-04-181-2/+2
* | Fix name clashes between constructor and fallback function.chriseth2018-04-181-47/+45
|/
* [SMTChecker] Integration with CVC4Leonardo Alt2018-04-177-22/+310
* Merge pull request #3868 from ethereum/bytescleanupchriseth2018-04-162-12/+10
|\
| * Remove redundant cleanup for abi.encode.Alex Beregszaszi2018-04-161-2/+1
| * Properly force-clean for shortening bytesXX conversions.chriseth2018-04-161-10/+9
* | Merge pull request #3793 from ethereum/rationalNumberLimitchriseth2018-04-161-20/+160
|\ \ | |/ |/|
| * Limits rational numbers to 4096 bits.Erik Kundt2018-04-161-20/+160
* | Merge pull request #3880 from ethereum/addressMemberDocAndWarnchriseth2018-04-161-1/+2
|\ \
| * | Improve documentation and warning about accessing contract members inherited ...Daniel Kirchner2018-04-141-1/+2
| |/
* | Merge pull request #3875 from ethereum/constructorSelfRefchriseth2018-04-141-4/+26
|\ \ | |/ |/|
| * Stricter check for member access to "this" in constructor.Daniel Kirchner2018-04-131-4/+26
* | Uses short string representation of TypePointerErik Kundt2018-04-132-9/+9
* | Merge pull request #3364 from ethereum/revertWithReasonchriseth2018-04-1312-27/+107
|\ \
| * | Use error signature for revert data.chriseth2018-04-123-20/+24
| * | Only forward returndata if EVM version supports it.chriseth2018-04-122-1/+3
| * | Bubble up error messages.chriseth2018-04-125-11/+26
| * | Allow error string for ``require``.chriseth2018-04-122-0/+27
| * | Code generator for revert with reason string.chriseth2018-04-121-1/+18
| * | Register overload for ``revert()`` that can receive a reason string.chriseth2018-04-122-1/+4
| * | Allow function overloads involving MagicVariableDeclarations.chriseth2018-04-124-7/+18
| * | Use FunctionTypePointer (adds ``const``).chriseth2018-04-122-7/+8
| |/
* | Merge pull request #2980 from ethereum/abi-apichriseth2018-04-136-14/+195
|\ \
| * | Allow struct encoding with new encoder.chriseth2018-04-121-7/+18
| * | Check partial function parameters if rest is arbitrary.chriseth2018-04-121-3/+14
| * | Add abi.encode, abi.encodePacked, abi.encodeWithSelector and abi.encodeWithSi...Alex Beregszaszi2018-04-125-4/+163
* | | Fix internal compiler error when parsing ``var`` declaration without identifier.Daniel Kirchner2018-04-121-2/+4
| |/ |/|
* | Merge pull request #3848 from ethereum/constantDivisionByZerochriseth2018-04-123-0/+47
|\ \ | |/ |/|
| * Error on invalid arithmetic with constant expressions.Daniel Kirchner2018-04-123-0/+47
* | Properly cope with constructor headers.chriseth2018-04-121-3/+6
* | Warn if modifiers are applied to functions without implementation.chriseth2018-04-122-4/+11
* | Fix state variable parsing.chriseth2018-04-121-0/+8
* | Merge pull request #3863 from ethereum/fixGasEstimationchriseth2018-04-121-1/+8
|\ \ | |/ |/|
| * Correctly ignore costs of fallback for other functions.chriseth2018-04-121-1/+8
* | Fix ConstantEvaluator to correctly handle single element tuples.Daniel Kirchner2018-04-122-0/+7
|/
* Merge pull request #3309 from ethereum/limit-errorschriseth2018-04-114-78/+123
|\
| * Do not abort excessive warnings, just ignore them.Alex Beregszaszi2018-04-062-15/+38
| * Ignore warnings when limited errors to 256Alex Beregszaszi2018-04-061-3/+10
| * reindentAlex Beregszaszi2018-04-061-70/+69
| * Catch FatalError in CompilerStack::analysis to cover all the analysis testsAlex Beregszaszi2018-04-062-11/+11
| * Limit the number of errors output in a single run to 256Alex Beregszaszi2018-04-062-0/+16
* | Fix bug in typechecking when comparing rational literalsJason Cobb2018-04-111-3/+3
* | Error when using no parentheses in modifier-style constructor calls.Daniel Kirchner2018-04-106-18/+45
* | Merge pull request #3821 from ethereum/warn-constructor-overridechriseth2018-04-105-50/+91
|\ \
| * | Use the most derived contract as main location in case of diamond inheritance.Daniel Kirchner2018-04-091-3/+18
| * | Move constructor argument override check to TypeChecker and reuse annotations...Daniel Kirchner2018-04-097-93/+76
| * | Allow duplicated constructor calls, if no arguments; support for multiple inh...Daniel Kirchner2018-04-091-20/+30
| * | Error on duplicated super constructor callsFederico Bond2018-04-092-0/+33
* | | Fixed typoshydai2018-04-101-6/+6
|/ /
* / Static Analyzer: Fix non-deterministic order of unused variable warnings.Daniel Kirchner2018-04-072-8/+10
|/
* Merge pull request #3831 from ethereum/memory-suffixchriseth2018-04-053-3/+15
|\
| * Allow ``memory`` suffix for internal elementary type parsing.chriseth2018-04-053-3/+15
* | Merge pull request #3829 from ethereum/smt_remove_ufchriseth2018-04-056-10/+20
|\ \ | |/ |/|
| * [SMTChecker] Removing usage of UFs to access SSA indicesLeonardo Alt2018-04-056-10/+20
* | Merge pull request #3824 from ethereum/baseArgumentsEmptyParenthesisDaniel Kirchner2018-04-056-35/+56
|\ \ | |/ |/|
| * Error when using empty parenthesis for base class constructors that require a...Daniel Kirchner2018-04-056-35/+56
* | Merge pull request #3745 from ethereum/fixRecursionAlex Beregszaszi2018-04-053-30/+28
|\ \
| * | Generalize cycle detection.chriseth2018-04-033-35/+28
| * | Fix detection of recursive structs.chriseth2018-04-031-0/+5
* | | More specific push implementation.chriseth2018-04-043-13/+71
* | | Create empty dynamic memory arrays more efficiently.chriseth2018-04-042-8/+29
| |/ |/|
* | Set isConstructor to false unconditionally and update to true later for const...Daniel Kirchner2018-04-041-6/+4
* | Set header.isConstructor for old style constructors in parseFunctionHeader as...Daniel Kirchner2018-04-042-6/+16
* | Constructors are defined using the ``constructor`` keyword.Daniel Kirchner2018-04-044-8/+39
* | Merge pull request #3693 from ethereum/optimizeMLOADAlex Beregszaszi2018-04-033-25/+45
|\ \ | |/ |/|
| * Optimize across MLOAD if MSIZE is not used.chriseth2018-04-033-25/+45
* | Merge pull request #3699 from ethereum/interfaceExternalVisibilityAlex Beregszaszi2018-04-032-12/+13
|\ \
| * | Makes visibility warning more concise.Erik Kundt2018-04-031-2/+4
| * | Defaults to external visibility for interfaces.bitshift2018-04-032-12/+11
* | | Fix: Treat empty base constructor argument list as not provided.chriseth2018-04-031-3/+5
| |/ |/|
* | 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
|\ \
| * | 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 funct...chriseth2018-03-294-4/+21
| |/ |/|
* | Merge pull request #3775 from federicobond/improve-error-fractional-shiftchriseth2018-03-281-1/+1
|\ \ | |/ |/|
| * 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
|\ \
| * | Introduce inContractKind helper on FunctionDefinitionAlex Beregszaszi2018-03-263-11/+14
| * | Allow overriding external functions in interfaces with public in an implement...Alex Beregszaszi2018-03-261-0/+15
| |/
* | Merge pull request #3686 from ethereum/doNotIncludeItnernalchriseth2018-03-273-6/+28
|\ \
| * | 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 being called.chriseth2018-03-141-0/+3
| * | Merge pull request #3722 from ethereum/fixModsAlex Beregszaszi2018-03-153-5/+16
| |\ \
| | * | 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
|\
| * 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.Daniel Kirchner2018-03-071-2/+2
* | | Merge pull request #3527 from ethereum/warnLooseAsmAlex Beregszaszi2018-03-076-10/+63
|\ \ \
| * | | 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().Daniel Kirchner2018-03-071-0/+1
* | | Merge pull request #2966 from ethereum/useStaticCallAlex Beregszaszi2018-03-072-2/+11
|\ \ \ | |/ / |/| |
| * | Use STATICCALL for pure function calls if EVM version supports it and 0.5.0 i...chriseth2018-03-062-2/+11
* | | Merge pull request #3549 from ethereum/fixmultidimAlex Beregszaszi2018-03-062-6/+26
|\ \ \ | |/ / |/| |
| * | 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 removing it ...Daniel Kirchner2018-03-063-16/+22
* | | | Merge pull request #3640 from AnthonyBroadCrawford/spanning-multiline-message...chriseth2018-03-061-2/+2
|\ \ \ \
| * | | | Improved messaging when an error spans multiple lines and updated change log ...Anthony Broad-Crawford2018-03-061-2/+2
* | | | | Merge pull request #3599 from ethereum/sendAllGasOnByzantiumchriseth2018-03-061-10/+13
|\ \ \ \ \
| * | | | | Do not retain any gas in external calls (except if EVM version is set to home...chriseth2018-03-061-10/+13
* | | | | | Merge pull request #3643 from ethereum/gasleftchriseth2018-03-064-5/+21
|\ \ \ \ \ \ | |/ / / / / |/| | / / / | | |/ / / | |/| | |
| * | | | 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.chriseth2018-03-051-0/+1
* | | | Merge pull request #3642 from leonardoalt/fix_z3-46chriseth2018-03-051-0/+1
|\ \ \ \ | |/ / / |/| | |
| * | | 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
|\ \ \ | |/ / |/| |
| * | 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
|\ \ | |/ |/|
| * Suggest expressions of the form '0x1234 * 1 day' instead of hex numbers with ...Daniel Kirchner2018-03-021-2/+4
| * Deprecate using unit denominations in combination with hex numbers. Closes #3...Daniel Kirchner2018-03-011-0/+15
* | 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...Alex Beregszaszi2018-03-011-2/+18
| |/
* | 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
|\
| * 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)Alex Beregszaszi2018-02-271-6/+13
* | Merge pull request #3476 from ethereum/scopingchriseth2018-02-288-71/+236
|\ \ | |/ |/|
| * 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
|\
| * 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.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 wit...chriseth2018-02-201-6/+6
* Merge pull request #3135 from federicobond/formatter-instancechriseth2018-02-202-50/+43
|\
| * 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 cl...Emilio Almansi2018-02-191-0/+3
* | Minor improvement: check sourcesAlexander Arlt2018-02-171-1/+5
|/
* 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.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
|\ \ | |/ |/|
| * 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 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 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.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 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 errorsAlex Beregszaszi2017-12-181-2/+2
* | | Merge pull request #3304 from leonardoalt/smt_checkerchriseth2017-12-183-8/+55
|\ \ \
| * | | [SMTChecker] Helper functions to add an expression to the solver conjoined wi...Leonardo Alt2017-12-142-5/+19
| * | | [SMTChecker] Keep track of current path conditionsLeonardo Alt2017-12-143-8/+41
| | |/ | |/|
* | | Favour if over switch in ABI coder.chriseth2017-12-151-14/+14
| |/ |/|
generated by cgit (git 2.34.1) at 2024-11-18 19:16:19 +0800