aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* Move more parser tests to syntax testsAlex Beregszaszi2018-05-2255-642/+458
|
* Fix source location assertion in isoltestAlex Beregszaszi2018-05-161-2/+2
|
* Tidy up tests to always have closing braces on the proper lineAlex Beregszaszi2018-05-164-38/+76
|
* Split warning for multi arguments for hash functionsAlex Beregszaszi2018-05-167-18/+36
|
* Add test for single non-bytes argument.chriseth2018-05-161-0/+12
|
* Adjust tests.chriseth2018-05-1611-10/+28
|
* Add test for forwarding length check.chriseth2018-05-161-0/+45
|
* Merge pull request #4145 from ethereum/more-parser-test-moveschriseth2018-05-1612-132/+102
|\ | | | | Move couple of parser tests to syntax tests.
| * Move couple of parser tests to syntax tests.Alex Beregszaszi2018-05-1612-132/+102
| |
* | Add tests for multi variable declaration statement.chriseth2018-05-169-0/+107
|/
* Merge pull request #4139 from ethereum/abiEncodeIsPurechriseth2018-05-151-0/+7
|\ | | | | ABI encoding functions are pure and should be usable in constants.
| * ABI encoding functions are pure and should be usable in constants.chriseth2018-05-151-0/+7
| |
* | Merge pull request #3947 from ethereum/smt_storagechriseth2018-05-151-0/+76
|\ \ | |/ |/| [SMTChecker] Support to integer and Bool storage vars
| * Testing state vars that are declared after functions that use themLeonardo Alt2018-05-151-4/+3
| |
| * [SMTChecker] Declaring all state vars before any function is visitedLeonardo Alt2018-05-151-0/+11
| |
| * [SMTChecker] Support to integer and Bool storage varsLeonardo Alt2018-05-151-0/+66
| |
* | Merge pull request #4062 from ethereum/revert-variablechriseth2018-05-151-0/+40
|\ \ | |/ |/| Fix revert with reason coming from a string variable
| * Fix revert with reason coming from a string variableAlex Beregszaszi2018-05-091-0/+40
| |
* | Add test for default location.Daniel Kirchner2018-05-151-0/+19
| |
* | Add control flow analyzer and test for uninitialized storage returns.Daniel Kirchner2018-05-1522-0/+375
| |
* | Merge pull request #4093 from ethereum/prepareDropConstantKeywordchriseth2018-05-1413-114/+95
|\ \ | | | | | | Prepare drop constant keyword.
| * | Remove "view"'s in end-to-end tests that will result in errors in 0.5.0.Daniel Kirchner2018-05-111-7/+7
| | |
| * | Replace constant with view in the tests.Daniel Kirchner2018-05-0913-107/+88
| |/
* / Fix link error when using boost shared librarymingchuan2018-05-111-1/+1
|/
* Merge pull request #4104 from ethereum/parserErrorSourceLocationsAlex Beregszaszi2018-05-0931-57/+57
|\ | | | | Proper source locations for parser errors.
| * Update test expectations.Daniel Kirchner2018-05-0931-57/+57
| |
* | Add more tests for right shifts.Daniel Kirchner2018-05-091-0/+157
|/
* Introduce Julia filter to encapsulate top level Block as a ↵Alex Beregszaszi2018-05-091-0/+87
| | | | FunctionDefinition (wasm specific)
* Merge pull request #4054 from ethereum/token-nameschriseth2018-05-0920-37/+37
|\ | | | | Improve parser error messages
| * Update parser test expectationsAlex Beregszaszi2018-05-0420-37/+37
| |
* | Test with high path complexity.chriseth2018-05-091-0/+40
| |
* | New tests for wildcard assignments.chriseth2018-05-085-0/+66
| |
* | Remove deprecated syntax from a testchriseth2018-05-081-1/+1
| |
* | Extract tests.chriseth2018-05-086-74/+47
| |
* | Merge pull request #3256 from ethereum/fullInlinerchriseth2018-05-071-11/+155
|\ \ | | | | | | Full inliner
| * | Fix test case strings.chriseth2018-05-021-102/+102
| | |
| * | Test the removal of the result variable.chriseth2018-05-021-0/+30
| | |
| * | Tests.chriseth2018-05-021-11/+125
| | |
* | | Merge pull request #4063 from ethereum/emit-non-eventchriseth2018-05-041-0/+10
|\ \ \ | |_|/ |/| | Show proper error when trying to emit a non-event
| * | Show proper error when trying to emit a non-eventAlex Beregszaszi2018-05-041-0/+10
| | |
* | | Simplify expectIdentifierToken by using expectTokenAlex Beregszaszi2018-05-049-10/+10
|/ /
* | Merge pull request #4053 from ethereum/parser-syntax-testschriseth2018-05-0330-319/+183
|\ \ | |/ |/| Move some parser tests to syntax tests
| * Move some parser tests to syntax testsAlex Beregszaszi2018-05-0330-319/+183
| |
* | Merge pull request #3797 from ethereum/shift-constantinoplechriseth2018-05-021-3/+2
|\ \ | | | | | | Use native shift instructions on Constantinople
| * | Update source location test expectationsAlex Beregszaszi2018-05-011-3/+2
| |/
* | Revert "BREAKING: Bool variables should not allow arithmetic comparison"chriseth2018-05-022-53/+29
| |
* | Merge pull request #4003 from ethereum/bool_vars_comparisonchriseth2018-05-022-29/+53
|\ \ | | | | | | BREAKING: Bool variables should not allow arithmetic comparison
| * | Add syntax tests and Changelog entryLeonardo Alt2018-04-271-0/+53
| | |
| * | Bool variables should not allow arithmetic comparisonLeonardo Alt2018-04-271-29/+0
| | |
* | | Add virtual destructors on base classes.Alexander Arlt2018-05-022-0/+2
| |/ |/|
* | Add syntax tests for bytesMAlex Beregszaszi2018-04-305-0/+62
|/
* Merge pull request #3981 from ethereum/years-suffixchriseth2018-04-247-19/+35
|\ | | | | The "year" denomination is deprecated
| * The "year" denomination is deprecatedAlex Beregszaszi2018-04-233-0/+13
| |
| * Add more denomination testsAlex Beregszaszi2018-04-232-0/+11
| |
| * Extract subdenomination testsAlex Beregszaszi2018-04-233-19/+11
| |
* | Merge pull request #3970 from elopio/test/docstring-tag-endAlex Beregszaszi2018-04-242-0/+6
|\ \ | | | | | | docstring: add missing space
| * | docstring: add missing spaceLeo Arias2018-04-242-0/+6
| | |
* | | Merge pull request #3976 from ethereum/emptyTupleComponentchriseth2018-04-237-0/+78
|\ \ \ | |_|/ |/| | Empty tuple components should not be possible
| * | Treats inline array as an error.Erik Kundt2018-04-231-3/+1
| | |
| * | Turns it into warning (error for 0.5.0) and adds Changelog entry.Erik Kundt2018-04-238-15/+45
| | |
| * | Prevents null type from being used in tuple.Erik Kundt2018-04-225-0/+50
| |/
* | Turn deprecated warnings for sha3/suicide into errors (experimental 0.5.0)Alex Beregszaszi2018-04-212-1/+14
| |
* | Extract syntax testsAlex Beregszaszi2018-04-212-26/+13
|/
* Update tight packing test casesAlex Beregszaszi2018-04-201-3/+14
|
* Make literals an error for tight packing (experimental 0.5.0)Alex Beregszaszi2018-04-201-0/+26
|
* Remove unnecessary masking of the result of known short instructionsAlex Beregszaszi2018-04-202-0/+89
|
* Merge pull request #3941 from ethereum/bytes-contractchriseth2018-04-191-0/+7
|\ | | | | Disallow explicit conversion of bytesXX to contract
| * Disallow explicit conversion of bytesXX to contractAlex Beregszaszi2018-04-191-0/+7
| |
* | Merge pull request #3932 from ethereum/betterErrorForFailedLookupchriseth2018-04-195-15/+34
|\ \ | | | | | | Better error for failed lookup
| * | Improve error message for failed member lookup.chriseth2018-04-193-0/+24
| | |
| * | Extract tests.chriseth2018-04-192-15/+10
| |/
* | Merge pull request #3928 from ethereum/removeZeppelinPatchesAlex Beregszaszi2018-04-191-7/+0
|\ \ | |/ |/| Remove Zeppelin patches.
| * Remove Zeppelin patches.chriseth2018-04-191-7/+0
| |
* | Warn about functions named "constructor".chriseth2018-04-191-0/+5
| |
* | Fix name clashes between constructor and fallback function.chriseth2018-04-184-2/+14
| |
* | Extract tests.chriseth2018-04-1826-182/+197
|/
* Merge pull request #3868 from ethereum/bytescleanupchriseth2018-04-161-0/+23
|\ | | | | Properly force-clean for shortening bytesXX conversions.
| * Tests for bytes cleanup.chriseth2018-04-161-0/+23
| |
* | Merge pull request #3793 from ethereum/rationalNumberLimitchriseth2018-04-169-0/+136
|\ \ | |/ |/| Rational number limit
| * Limits rational numbers to 4096 bits.Erik Kundt2018-04-169-0/+136
| |
* | Merge pull request #3875 from ethereum/constructorSelfRefchriseth2018-04-143-0/+50
|\ \ | |/ |/| Stricter check for "this" in constructor.
| * Stricter check for member access to "this" in constructor.Daniel Kirchner2018-04-133-0/+50
| |
* | Adds unit test that covers long typeDescription and renames suite. Erik Kundt2018-04-132-1/+29
| |
* | Separates tests for legacy and compact output.Erik Kundt2018-04-132-231/+332
| |
* | Adds type expectations to legacy tests.Erik Kundt2018-04-131-0/+7
| |
* | Uses short string representation of TypePointerErik Kundt2018-04-131-0/+30
| |
* | Merge pull request #3364 from ethereum/revertWithReasonchriseth2018-04-136-22/+260
|\ \ | | | | | | Revert with reason
| * | Remove dead code and clarify throw.chriseth2018-04-131-1/+0
| | |
| * | Update documentation and minor changes.chriseth2018-04-121-1/+0
| | |
| * | Use error signature for revert data.chriseth2018-04-121-9/+14
| | |
| * | Update expectation.chriseth2018-04-121-2/+2
| | |
| * | Adjust expectations in case of homestead VM.chriseth2018-04-121-11/+16
| | |
| * | Adjust tests.chriseth2018-04-123-13/+19
| | |
| * | Update source location tests.chriseth2018-04-121-5/+16
| | |
| * | Tests about error bubbling for create and transfer.chriseth2018-04-121-2/+70
| | |
| * | Bubble up error messages.chriseth2018-04-121-0/+37
| | |
| * | Allow error string for ``require``.chriseth2018-04-121-0/+56
| | |
| * | Tests for revert with reason string.chriseth2018-04-122-1/+53
| |/
* | Merge pull request #2980 from ethereum/abi-apichriseth2018-04-1311-52/+505
|\ \ | | | | | | Add abi.encode and abi.encodePacked
| * | Allow struct encoding with new encoder.chriseth2018-04-125-5/+161
| | |
| * | Check partial function parameters if rest is arbitrary.chriseth2018-04-121-0/+13
| | |
| * | Tests for view and pure.chriseth2018-04-122-0/+44
| | |
| * | Tests.chriseth2018-04-124-102/+218
| | |
| * | Add abi.encode, abi.encodePacked, abi.encodeWithSelector and ↵Alex Beregszaszi2018-04-122-0/+124
| | | | | | | | | | | | abi.encodeWithSignature.
* | | Add additional test for ``var`` for storage variables.Daniel Kirchner2018-04-123-7/+36
| | |
* | | Fix internal compiler error when parsing ``var`` declaration without identifier.Daniel Kirchner2018-04-123-22/+26
| |/ |/|
* | Merge pull request #3848 from ethereum/constantDivisionByZerochriseth2018-04-1214-20/+98
|\ \ | |/ |/| Error on invalid arithmetic with constant expressions.
| * Add test to check ConstantEvaluator for pure non-rational functions.Daniel Kirchner2018-04-121-0/+11
| |
| * Add tests for literal operations as well.Daniel Kirchner2018-04-124-0/+20
| |
| * Error on invalid arithmetic with constant expressions.Daniel Kirchner2018-04-129-20/+67
| |
* | Properly cope with constructor headers.chriseth2018-04-122-0/+15
| |
* | Update expectations.chriseth2018-04-1210-17/+18
| |
* | Extract modifier tests.chriseth2018-04-1215-158/+73
| |
* | Warn if modifiers are applied to functions without implementation.chriseth2018-04-122-0/+23
| |
* | New tests for function state variables.chriseth2018-04-126-0/+61
| |
* | Add expectations.chriseth2018-04-1224-9/+53
| |
* | Extract function type tests.chriseth2018-04-1226-313/+132
| |
* | Merge pull request #3863 from ethereum/fixGasEstimationchriseth2018-04-121-0/+13
|\ \ | |/ |/| Correctly ignore costs of fallback for other functions.
| * Correctly ignore costs of fallback for other functions.chriseth2018-04-121-0/+13
| |
* | Fix ConstantEvaluator to correctly handle single element tuples.Daniel Kirchner2018-04-123-0/+35
| |
* | Syntax Tests: extract array_length_* tests.Daniel Kirchner2018-04-1220-165/+117
|/
* Merge pull request #3580 from ethereum/asm-bitshift-optimchriseth2018-04-112-0/+131
|\ | | | | Add simplification rule for bitwise shifting
| * Ignore shift warnings on constantinople testsAlex Beregszaszi2018-04-101-0/+2
| |
| * Add end to end tests for SHL/SHR/SAR instructions (constantinople only)Alex Beregszaszi2018-04-101-0/+129
| |
* | Fix line numbers for errors.chriseth2018-04-112-512/+512
| |
* | Merge pull request #3309 from ethereum/limit-errorschriseth2018-04-112-0/+1048
|\ \ | | | | | | Limit the number of errors output in a single run to 256
| * | Limit the number of errors output in a single run to 256Alex Beregszaszi2018-04-062-0/+1048
| | |
* | | Fix bug in typechecking when comparing rational literalsJason Cobb2018-04-111-0/+7
| | |
* | | Add source locations to syntax test expectations.Daniel Kirchner2018-04-1054-108/+215
| | |
* | | Error when using no parentheses in modifier-style constructor calls.Daniel Kirchner2018-04-102-2/+5
| | |
* | | Move constructor argument override check to TypeChecker and reuse ↵Daniel Kirchner2018-04-098-7/+19
| | | | | | | | | | | | annotations in ContractCompiler.
* | | Allow duplicated constructor calls, if no arguments; support for multiple ↵Daniel Kirchner2018-04-098-5/+38
| | | | | | | | | | | | | | | | | | inheritance; backwards compatibility. # tmp
* | | Error on duplicated super constructor callsFederico Bond2018-04-093-4/+12
| |/ |/|
* | Common subexpression eliminator.chriseth2018-04-061-0/+102
|/
* Allow ``memory`` suffix for internal elementary type parsing.chriseth2018-04-051-0/+1
|
* Merge pull request #3828 from ethereum/soltestchriseth2018-04-051-1/+3
|\ | | | | Show JSON error if jsonParseStrict failed in soltest
| * Show JSON error if jsonParseStrict failed in soltestAlex Beregszaszi2018-04-051-1/+3
| |
* | Merge pull request #3827 from ethereum/constantinoplechriseth2018-04-051-0/+2
|\ \ | | | | | | Support constantinople in soltest
| * | Support constantinople in soltestAlex Beregszaszi2018-04-051-0/+2
| |/
* | Merge pull request #3824 from ethereum/baseArgumentsEmptyParenthesisDaniel Kirchner2018-04-053-1/+16
|\ \ | | | | | | Error when using empty parentheses for base class constructors that r…
| * | Error when using empty parenthesis for base class constructors that require ↵Daniel Kirchner2018-04-053-1/+16
| | | | | | | | | | | | arguments.
* | | Merge pull request #3745 from ethereum/fixRecursionAlex Beregszaszi2018-04-0514-125/+115
|\ \ \ | | | | | | | | Fix invalid recursion errors for structs
| * | | Extract constant cycle tests.chriseth2018-04-035-32/+32
| | | |
| * | | Fix detection of recursive structs.chriseth2018-04-032-0/+30
| | | |
| * | | Extract recursive struct tests.chriseth2018-04-038-93/+53
| | | |
* | | | Merge pull request #3822 from ethereum/swap-comparisonchriseth2018-04-052-5/+82
|\ \ \ \ | | | | | | | | | | Replace comparison operators with opposites if preceded by SWAP1
| * | | | Add end-to-end test for SwapComparison and CommutativeSwap peephole optimisersAlex Beregszaszi2018-04-051-0/+44
| | | | |
| * | | | Replace comparison operators with opposites if preceded by SWAP1Alex Beregszaszi2018-04-041-5/+38
| | |_|/ | |/| |
* / | | More specific push implementation.chriseth2018-04-042-2/+67
|/ / /
* | | Merge pull request #3808 from ethereum/parserTestschriseth2018-04-048-145/+113
|\ \ \ | | | | | | | | SyntaxTests: extend syntax tests and isoltest to support parser error…
| * | | Adds parsing sub-directory in syntaxTests and moves two example tests from ↵Daniel Kirchner2018-04-043-20/+9
| | | | | | | | | | | | | | | | SolidityParser.cpp to test contracts.
| * | | SyntaxTests: extend syntax tests and isoltest to support parser errors and ↵Daniel Kirchner2018-04-045-125/+104
| | | | | | | | | | | | | | | | compiler exceptions.
* | | | Create empty dynamic memory arrays more efficiently.chriseth2018-04-044-8/+66
| |_|/ |/| |
* | | Merge pull request #3798 from ethereum/commutative-swapAlex Beregszaszi2018-04-041-0/+76
|\ \ \ | | | | | | | | Remove useless SWAP1 in front of commutative operations
| * | | Test multiple instructions with the (non)commutative peephole optimiserAlex Beregszaszi2018-04-041-37/+62
| | | |
| * | | Remove useless SWAP1 in front of commutative operationsAlex Beregszaszi2018-04-041-0/+51
| |/ /
* | | Remove redundant test and enforce success without warnings.Daniel Kirchner2018-04-041-7/+1
| | |
* | | Constructors are defined using the ``constructor`` keyword.Daniel Kirchner2018-04-043-5/+40
|/ /
* | Merge pull request #3693 from ethereum/optimizeMLOADAlex Beregszaszi2018-04-033-10/+84
|\ \ | |/ |/| Optimize across MLOAD if MSIZE is not used.
| * Add memory array init test.chriseth2018-04-031-0/+26
| |
| * Test number of sstore operations.chriseth2018-04-031-7/+33
| |
| * Optimize across MLOAD if MSIZE is not used.chriseth2018-04-032-3/+25
| |
* | Merge pull request #3699 from ethereum/interfaceExternalVisibilityAlex Beregszaszi2018-04-038-48/+39
|\ \ | | | | | | Defaults to external visibility for interfaces.
| * | Makes visibility warning more concise.Erik Kundt2018-04-031-1/+1
| | |
| * | Moves all interface function visibility related tests.Erik Kundt2018-04-036-48/+26
| | |
| * | Defaults to external visibility for interfaces.bitshift2018-04-032-0/+13
| | |
* | | Fix: Treat empty base constructor argument list as not provided.chriseth2018-04-032-0/+16
| |/ |/|
* | Set default fixed point decimal places to 18Jason Cobb2018-03-311-5/+5
| |
* | Update tests for empty structsAlex Beregszaszi2018-03-312-0/+2
| |
* | Merge pull request #3790 from ethereum/empty-structschriseth2018-03-303-1/+12
|\ \ | | | | | | Disallow empty structs
| * | Still allow empty structs for non-0.5.0 modeAlex Beregszaszi2018-03-272-1/+7
| | |
| * | Disallow empty structsAlex Beregszaszi2018-03-272-1/+6
| | |
* | | Prevent encoding of weird types and support packed encoding of external ↵chriseth2018-03-296-0/+87
| | | | | | | | | | | | function types.
* | | Support for error on non-existant or irregular files with command line ↵Anthony Broad-Crawford2018-03-281-1/+1
| |/ |/| | | | | option to ignore
* | Merge pull request #3775 from federicobond/improve-error-fractional-shiftchriseth2018-03-281-0/+10
|\ \ | |/ |/| Improve error message when attempting to shift by fractional number
| * Improve error message when trying to shift by fractional numberFederico Bond2018-03-221-0/+10
| |
* | Merge pull request #3681 from ethereum/interface-externalchriseth2018-03-271-0/+14
|\ \ | | | | | | Allow overriding external functions in interfaces with public in a child
| * | Allow overriding external functions in interfaces with public in an ↵Alex Beregszaszi2018-03-261-0/+14
| |/ | | | | | | implementing contract
* | Merge pull request #3686 from ethereum/doNotIncludeItnernalchriseth2018-03-271-0/+60
|\ \ | | | | | | Do not include internal functions only used by constructor
| * | Test that internal functions only used by constructor are not included in ↵chriseth2018-03-271-0/+60
| |/ | | | | | | runtime context.
* | Merge pull request #3748 from ethereum/extractScopingTestschriseth2018-03-2717-223/+130
|\ \ | | | | | | Extract scoping tests
| * | Extract scoping tests.chriseth2018-03-1617-223/+130
| | |
* | | Changes deprecation and adjusts tests.bitshift2018-03-273-39/+52
| | |
* | | Adds unit tests for moved function.bitshift2018-03-274-5/+49
| |/ |/|
* | Merge pull request #3308 from ethereum/usereturndatacopychriseth2018-03-222-1/+104
|\ \ | | | | | | Use returndatacopy for retrieving dynamically sized outputs.
| * | Tests for returning dynamic data.chriseth2018-03-212-6/+104
| | |
| * | Decode dynamic data.chriseth2018-03-211-0/+5
| | |
* | | Merge pull request #3744 from ethereum/useUsrBinEditorAlex Beregszaszi2018-03-211-0/+2
|\ \ \ | |/ / |/| | Use /usr/bin/editor if exists.
| * | Use /usr/bin/editor if exists.chriseth2018-03-161-0/+2
| |/
* / Only consider files ending with .sol and not starting with ~ in syntax tests.Daniel Kirchner2018-03-163-2/+13
|/
* Only colour error type, not error message in isoltest.Daniel Kirchner2018-03-151-10/+16
|
* Add interactive test tool isoltest.Daniel Kirchner2018-03-152-0/+349
|
* Add formatted printing to SyntaxTest and expand its public interface.Daniel Kirchner2018-03-153-16/+123
|
* Merge branch 'develop' into externalFunctionsInLibrarieschriseth2018-03-1536-36/+145
|\
| * Merge pull request #3734 from ethereum/soltestOptionschriseth2018-03-1533-39/+51
| |\ | | | | | | test: Rename test/TestHelper.* to test/Options.* and add Options::val…
| | * test: Rename test/TestHelper.* to test/Options.* and add Options::validate().Daniel Kirchner2018-03-1433-39/+51
| | |
| * | Merge pull request #3725 from ethereum/blockhashNoCallchriseth2018-03-151-0/+17
| |\ \ | | | | | | | | Allow ``block.blockhash`` without it being called.
| | * | Allow ``block.blockhash`` without being called.chriseth2018-03-141-0/+17
| | | |
| * | | Merge pull request #3722 from ethereum/fixModsAlex Beregszaszi2018-03-152-0/+66
| |\ \ \ | | | | | | | | | | Fix modifier lookup in libraries.
| | * | | Tests.chriseth2018-03-131-0/+52
| | | | |
| | * | | Changelog entry.chriseth2018-03-131-0/+14
| | |/ /
| * | | Merge pull request #3730 from ethereum/docstringBugchriseth2018-03-141-0/+6
| |\ \ \ | | |_|/ | |/| | DocStringParser: Fix error message for empty parameter description.
| | * | DocStringParser: Add Changelog entry and test case for empty descriptions.Daniel Kirchner2018-03-141-0/+6
| | | |
| * | | soltest: force the use of the --testpath option for soltest with an explicit ↵Daniel Kirchner2018-03-141-0/+4
| |/ / | | | | | | | | | error.
| * / Store filenames in static variable to guarantee sufficient lifetime.Daniel Kirchner2018-03-141-1/+5
| |/
* / Make external library functions accessible.chriseth2018-03-142-0/+29
|/
* Minor adjustments.Daniel Kirchner2018-03-131-4/+4
|
* Refactoring; fuse SyntaxTestParser and SyntaxTester to SyntaxTest.Daniel Kirchner2018-03-137-310/+247
|
* Workaround for boost < 1.59.0Daniel Kirchner2018-03-131-0/+13
|
* Infrastructure for extracting syntax tests in separate test files.Daniel Kirchner2018-03-1312-52/+379
|
* [SMTChecker_Bool] Fix PR comments; Add support to gt, ge, lt, le. and tests.Leonardo Alt2018-03-131-0/+40
|
* [SMTChecker] Support to Bool variablesLeonardo Alt2018-03-131-0/+98
|
* Merge pull request #3708 from ethereum/moveTestToolschriseth2018-03-134-8/+28
|\ | | | | Move test tools to the subdirectory test/tools and adjust CMakeLists
| * Move test tools to the subdirectory test/tools and adjust CMakeLists.txt.Daniel Kirchner2018-03-134-8/+28
| |
* | Support constantinople in evm-versionAlex Beregszaszi2018-03-131-0/+2
|/
* Fix test.chriseth2018-03-071-1/+1
|
* Merge pull request #3611 from ethereum/warn-using-address-overloadAlex Beregszaszi2018-03-072-11/+170
|\ | | | | Warn if using address overloads on contracts
| * Warn if using address overloads on contractsAlex Beregszaszi2018-03-052-11/+170
| |
* | Tests for warnings/errors for loose assembly.chriseth2018-03-071-4/+192
| |
* | Warn about using loose inline assembly features as experimental 0.5.0 feature.chriseth2018-03-072-0/+2
| |
* | Merge pull request #2966 from ethereum/useStaticCallAlex Beregszaszi2018-03-071-4/+56
|\ \ | | | | | | Use STATICCALL for pure function calls.
| * | Test for using staticcall for view and pure functions.chriseth2018-03-061-4/+56
| | |
* | | Merge pull request #3549 from ethereum/fixmultidimAlex Beregszaszi2018-03-061-0/+56
|\ \ \ | |/ / |/| | Properly detect which array and struct types are unsupported by the old ABI encoder.
| * | Tests for multi-dimensional arrays.chriseth2018-03-011-0/+56
| | |
* | | Merge pull request #3652 from ethereum/gasleft_v2chriseth2018-03-061-2/+2
|\ \ \ | | | | | | | | Use StaticAnalyzer to deprecate msg.gas instead of conditionally remo…
| * | | Use StaticAnalyzer to deprecate msg.gas instead of conditionally removing it ↵Daniel Kirchner2018-03-061-2/+2
| | | | | | | | | | | | | | | | in MagicType.
* | | | Merge pull request #3643 from ethereum/gasleftchriseth2018-03-064-0/+90
|\| | | | | | | | | | | Move msg.gas to global function gasleft(). Closes #2971.
| * | | Improved gasleft tests.Daniel Kirchner2018-03-062-7/+19
| | | |
| * | | Add test cases for shadowing gasleft with local functions/variables.Daniel Kirchner2018-03-051-0/+19
| | | |
| * | | Remove unstable test case.Daniel Kirchner2018-03-051-19/+0
| | | |
| * | | Move msg.gas to global function gasleft(). Closes #2971.Daniel Kirchner2018-03-054-0/+78
| | | |
* | | | Do not warn about 0.5.0 experimental pragma.chriseth2018-03-051-6/+3
| |_|/ |/| |
* | | Merge pull request #3569 from ethereum/evmVersionchriseth2018-03-0529-158/+391
|\ \ \ | |/ / |/| | EVM version
| * | Use EVM version in gas meter and optimizer.chriseth2018-03-058-124/+190
| | |
| * | Only warn for shift instructions if not using constantinopleAlex Beregszaszi2018-03-021-3/+3
| | |
| * | Add TangerineWhistle.chriseth2018-03-024-9/+15
| | |
| * | CREATE2 test fix.chriseth2018-03-021-1/+1
| | |
| * | Returndatasize and staticcall test fixes.chriseth2018-03-022-10/+10
| | |
| * | Correctly set evm version in testschriseth2018-03-0211-6/+68
| | |
| * | Activate byzantium for testing.chriseth2018-03-021-1/+9
| | |
| * | Provide EVM version to assembly analysis.chriseth2018-03-026-14/+37
| | |
| * | Use EVM version in type checker.chriseth2018-03-023-6/+14
| | |
| * | Test both EVM versions.chriseth2018-03-025-5/+31
| | |
| * | Some tests.chriseth2018-03-022-1/+35
| |/
* | Merge pull request #3633 from ethereum/reserved-keywords-testchriseth2018-03-021-0/+30
|\ \ | | | | | | Parser: Add test case for reserved keywords.
| * | Parser: Add test case for reserved keywords.Daniel Kirchner2018-03-021-0/+30
| |/
* | Merge pull request #3628 from ethereum/literalsHexUnitchriseth2018-03-021-0/+19
|\ \ | |/ |/| Deprecate using unit denominations in combination with hex numbers.
| * Deprecate using unit denominations in combination with hex numbers. Closes ↵Daniel Kirchner2018-03-011-0/+19
| | | | | | | | #3574.
* | Ensure that library addresses supplied are of correct length and hex ↵Alex Beregszaszi2018-03-011-7/+27
|/ | | | prefixed in JSONIO
* Merge pull request #3607 from izgzhen/complain-unknown-paramschriseth2018-03-011-0/+15
|\ | | | | stop allow_guessing for command line option parser
generated by cgit (git 2.34.1) at 2024-11-18 15:19:16 +0800