aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* 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
| * Stop allow_guessing for command line option parserZhen Zhang2018-02-281-0/+15
| |
* | Merge pull request #3617 from ethereum/jsonio-librarieschriseth2018-03-011-0/+133
|\ \ | | | | | | Add more comprehensive tests and checks for libraries in JSONIO
| * | Properly validate invalid hex characters in JSONIO librariesAlex Beregszaszi2018-02-281-0/+23
| | |
| * | Add more comprehensive tests and checks for libraries in JSONIOAlex Beregszaszi2018-02-281-0/+110
| | |
* | | Merge pull request #3615 from ethereum/test-frameworkchriseth2018-02-284-23/+18
|\ \ \ | | | | | | | | Simplify contract compilation in the test framework
| * | | Use compileContract in contract testsAlex Beregszaszi2018-02-283-21/+6
| | | |
| * | | Split compileContract off compileAndRunWithoutCheck in ↵Alex Beregszaszi2018-02-281-2/+12
| |/ / | | | | | | | | | SolidityExecutionFramework
* | | Merge pull request #3613 from ethereum/require-visibilitychriseth2018-02-282-7/+24
|\ \ \ | |/ / |/| | 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-272-7/+24
| | |
* | | Merge pull request #3476 from ethereum/scopingchriseth2018-02-284-16/+302
|\ \ \ | |/ / |/| | C99/C++ scoping rules
| * | Some more scoping tests.chriseth2018-02-272-1/+102
| | |
| * | Only active variables at the point of their declaration.chriseth2018-02-272-3/+92
| | |
| * | Enable C99-scoping with the 0.5.0-experimental pragma.chriseth2018-02-271-2/+45
| | |
| * | Tests for new scoping behaviour.chriseth2018-02-271-0/+44
| | |
| * | Adjust tests.chriseth2018-02-273-14/+23
| | |
* | | Merge pull request #2541 from ethereum/asm-bitshiftAlex Beregszaszi2018-02-271-0/+14
|\ \ \ | | | | | | | | Add bit shifting opcodes (EIP145)
| * | | Add basic test for shift opcodesAlex Beregszaszi2018-02-271-0/+14
| |/ /
* | | Merge pull request #3601 from ethereum/circleParallelAlex Beregszaszi2018-02-271-1/+1
|\ \ \ | |/ / |/| | Parallelize tests on circle.
| * | Run tests in parallel on circle.chriseth2018-02-271-1/+1
| | |
* | | Turn throw into a syntax error for 0.5.0Alex Beregszaszi2018-02-271-1/+10
| |/ |/|
* | Merge pull request #3589 from ethereum/identifiersAlex Beregszaszi2018-02-271-0/+15
|\ \ | |/ |/| Clean up type identifiers
| * Add test for escapeIdentifierAlex Beregszaszi2018-02-271-0/+15
| |
* | Test data location of getter return type.chriseth2018-02-261-0/+20
|/
* Use readStandardInput in the fuzzerAlex Beregszaszi2018-02-231-14/+4
|
* Parser test.chriseth2018-02-221-0/+13
|
* Tests for warnings.chriseth2018-02-221-0/+23
|
* Introduce emit statement.chriseth2018-02-222-0/+130
|
* Do not warn about analysis-only experimental features.chriseth2018-02-221-6/+1
|
* Raise error on oversized number literals in assemblyAlex Beregszaszi2018-02-222-0/+2
|
* Merge pull request #3555 from ethereum/libraryTestCallInputchriseth2018-02-221-2/+2
|\ | | | | Provide proper input for test call.
| * Provide proper input for test call.chriseth2018-02-211-2/+2
| |
* | Merge pull request #3554 from ethereum/reuseScannerOrNotchriseth2018-02-213-2/+7
|\ \ | | | | | | 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-213-2/+7
| | |
* | | Add new JSON API for better abstraction and for supporting strict JSON parsingAlexander Arlt2018-02-219-27/+194
| |/ |/|
* | Provide input for two optimizer tests.chriseth2018-02-211-2/+2
|/
* Test aliasing in shadowing.chriseth2018-02-201-1/+22
|
* Test ``_offset`` for constants in inline assembly.chriseth2018-02-201-0/+15
|
* Merge pull request #3135 from federicobond/formatter-instancechriseth2018-02-203-10/+13
|\ | | | | Convert static SourceReferenceFormatter functions to member ones
| * Convert static SourceReferenceFormatter functions to member onesFederico Bond2018-02-193-10/+13
| |
* | Fix indentation.Emilio Almansi2018-02-191-3/+3
| |
* | Added property _documentation_ to Function, Event, and Modifier definition ↵Emilio Almansi2018-02-191-1/+22
| | | | | | | | classes.
* | Minor improvement: check sourcesAlexander Arlt2018-02-171-0/+36
|/ | | | | - 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-0/+27
|
* Disallow uninitialized storage pointers as experimental 0.5.0 feature.chriseth2018-02-151-0/+32
|
* Merge pull request #3498 from ethereum/allowthisfselectorchriseth2018-02-143-12/+56
|\ | | | | Allow `this.f.selector` to be pure.
| * Add tests for selectors for public variables.chriseth2018-02-132-4/+10
| |
| * Allow `this.f.selector` to be pure.chriseth2018-02-132-9/+47
| |
* | Restructure code for alternative identifier suggestionsBalajiganapathi S2018-02-131-0/+32
| |
* | Add tests for similarity routineBalajiganapathi S2018-02-131-0/+56
| |
* | Move string distance function to utils and format error messageBalajiganapathi S2018-02-131-4/+4
| |
* | Suggest alternatives when identifier not found.Balajiganapathi S2018-02-131-0/+87
| |
* | Merge pull request #3349 from federicobond/number-improvAlex Beregszaszi2018-02-131-2/+2
|\ \ | |/ |/| Avoid output messages size blow-up using huge bignums literals
| * Always use shortened literal number representation.chriseth2018-02-131-1/+1
| |
| * Avoid output messages size blow-up using huge bignums literalsFederico Bond2018-02-131-1/+1
| |
* | Merge pull request #3425 from jevogel/3301chriseth2018-02-132-17/+29
|\ \ | | | | | | Deprecate the var keyword in SyntaxChecker
| * | Adjust tests for multiple errors with the var keywordAlex Beregszaszi2018-02-132-13/+25
| | |
| * | Do not use var where not neccessary in testsAlex Beregszaszi2018-02-132-4/+4
| | |
* | | Merge pull request #2818 from ethereum/testGnosischriseth2018-02-131-17/+28
|\ \ \ | | | | | | | | Also test gnosis contracts.
| * | | Replace fixed-version pragmas in GnosisAlex Beregszaszi2018-02-131-0/+4
| | | |
| * | | Also test Gnosis contracts.chriseth2018-02-131-18/+25
| | |/ | |/|
* / | Test for Mod-And rule.chriseth2018-02-131-0/+12
|/ /
* | Merge pull request #3489 from ethereum/fixZeppleinAlex Beregszaszi2018-02-131-0/+7
|\ \ | |/ |/| Fix some weird zeppelin tests.
| * Fix some weird zeppelin tests.chriseth2018-02-131-0/+7
| |
* | Merge pull request #3479 from ethereum/multiErrorchriseth2018-02-136-70/+184
|\ \ | |/ |/| Support searching inside multiple errors.
| * Support searching inside multiple errors.chriseth2018-02-126-70/+184
| |
* | Merge pull request #3474 from ethereum/circle2Alex Beregszaszi2018-02-121-0/+63
|\ \ | | | | | | Split emscripten circle job into build and test.
| * | Handle version for solcjs tests.chriseth2018-02-101-3/+3
| | |
| * | Split solcjs and external tests.chriseth2018-02-101-0/+63
| |/
* / Fix segfault with undeclared array typesFederico Bond2018-02-121-0/+10
|/
* Merge pull request #3456 from ethereum/simplifierchriseth2018-02-081-0/+130
|\ | | | | Use simplification rules also for IULIA
| * Also apply simplification rules that require multiple identical sub-expressions.chriseth2018-02-071-0/+24
| |
| * Tests.chriseth2018-02-071-0/+40
| |
| * Expression simplifier.chriseth2018-02-071-0/+66
| |
* | Fix tests for old precompiler.chriseth2018-02-081-53/+53
| |
* | Test about recursively calling functions.chriseth2018-02-061-7/+21
| |
* | Tests for functional inliner.chriseth2018-02-061-2/+22
| |
* | Function inliner.chriseth2018-02-061-2/+65
| |
* | Tests for inlinable function filter.chriseth2018-02-061-0/+102
|/
* Test for self-referring assignment.chriseth2018-02-061-0/+9
|
* Test not to remat if the expression is too large.chriseth2018-02-061-0/+12
|
* Reassign test for remat.chriseth2018-02-061-0/+8
|
* Fix for rematerializer.chriseth2018-02-061-0/+12
|
* Only substitute if all referenced variables are in scope.chriseth2018-02-061-0/+9
|
* Tests for rematerialiser.chriseth2018-02-061-0/+129
|
* Add more tests for UnusedPrunerAlex Beregszaszi2018-02-061-0/+23
|
* Support variable declarations without assignment in UnusedPrunerAlex Beregszaszi2018-02-061-0/+8
|
* Unused variable and function remover.chriseth2018-02-061-0/+98
|
* Merge pull request #3360 from federicobond/nonfatal-reference-errorsAlex Beregszaszi2018-02-041-1/+66
|\ | | | | Replace some fatal errors when resolving references with normal ones
| * Add more test cases for reference resolving error handlingFederico Bond2018-02-031-0/+65
| |
| * Replace some fatal errors when resolving references with normal onesFederico Bond2018-02-031-1/+1
| |
* | Issue warning for using public visibility for interface functionsAlex Beregszaszi2018-02-012-3/+9
| |
* | Prevent libraries from being called.chriseth2018-01-191-0/+33
|/
* Disallow non-functional instructions in parseExpression earlyAlex Beregszaszi2018-01-101-2/+2
|
* Show restricted instruction warning before argument mismatch issueAlex Beregszaszi2018-01-081-4/+4
|
* Tests for strict mode.chriseth2018-01-061-9/+69
|
* Split inline assembly into loose and strict flavours.chriseth2018-01-062-4/+5
|
* Merge pull request #3382 from ethereum/julia-identifier-parserchriseth2018-01-061-0/+8
|\ | | | | 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-0/+8
| |
* | Properly support library file names containing a colon (such as URLs).Alex Beregszaszi2018-01-051-0/+35
|/
* [SMTChecker] Variables are merged after branches (ite variables)Leonardo Alt2018-01-051-8/+39
|
* Provide easy way to update source location expectation.chriseth2018-01-041-9/+45
|
* Merge pull request #3297 from ethereum/separate_expression_and_statementAlex Beregszaszi2018-01-041-4/+4
|\ | | | | Separate expression and statement
| * Adjust tests.chriseth2017-12-131-4/+4
| |
* | Merge pull request #3369 from ethereum/jsonio-colonAlex Beregszaszi2018-01-041-0/+30
|\ \ | | | | | | Properly handle colons in file names within jsonio
| * | Properly handle colons in file names within jsonioAlex Beregszaszi2018-01-031-0/+30
| | |
* | | Improve error message for wrong struct initialization (#3359)Federico Bond2018-01-041-0/+14
|/ /
* | Remove truffle patching introducing in f77480c as upstream has merged the ↵Alex Beregszaszi2018-01-031-47/+0
| | | | | | | | changes (#3370)
* | Merge pull request #3342 from ethereum/jsonio-sourcelocationAlex Beregszaszi2017-12-181-0/+40
|\ \ | | | | | | Populate the sourceLocation field properly in standard JSON on errors
| * | Populate the sourceLocation field properly in standard JSON on errorsAlex Beregszaszi2017-12-181-0/+40
| | |
* | | Merge pull request #3279 from ethereum/function_hoisterchriseth2017-12-181-0/+85
|\ \ \ | | | | | | | | Function hoister
| * | | Function hoister.chriseth2017-12-151-0/+85
| | |/ | |/|
* | | Merge pull request #3331 from ethereum/instruction_moverchriseth2017-12-181-0/+85
|\ \ \ | |_|/ |/| | Function Grouper
| * | Function grouper.chriseth2017-12-151-0/+85
| |/
* | Merge pull request #3232 from ethereum/simplifyConstantchriseth2017-12-141-14/+14
|\ \ | |/ |/| Simplify ConstantEvaluator.
| * Simplify ConstantEvaluator.chriseth2017-12-121-1/+1
| |
| * Reduce the types of errors outputted by ConstantEvaluatorAlex Beregszaszi2017-12-121-4/+4
| |
| * Improve error message for constant evaluatorAlex Beregszaszi2017-12-121-9/+9
| |
* | Merge pull request #3183 from federicobond/fix-event-parsingYoichi Hirai2017-12-122-3/+13
|\ \ | |/ |/| Fix event parsing. Refs #3175
| * Fix event parsing. Refs #3175Federico Bond2017-11-232-3/+13
| |
* | Rename jsonCompiler to libsolcAlex Beregszaszi2017-12-113-4/+4
| |
* | Move some struct tests to require ABIEncoderV2Alex Beregszaszi2017-12-113-0/+8
| |
* | Fix warning test for jumps in assemblyAlex Beregszaszi2017-12-061-2/+2
| |
* | Warn for assembly labels tooAlex Beregszaszi2017-12-061-0/+1
| |
* | Merge pull request #3219 from ethereum/disambiguatorchriseth2017-12-053-0/+246
|\ \ | | | | | | Iulia disambiguator.
| * | Simplify disambiguator.chriseth2017-12-053-12/+12
| | |
| * | Refactor iulia tests.chriseth2017-12-053-79/+148
| | |
| * | Disambiguator.chriseth2017-12-051-0/+177
| | |
* | | Fix test.chriseth2017-12-041-4/+3
| | |
* | | Another test for division.chriseth2017-11-301-0/+10
| | |
* | | Unary operators and division.chriseth2017-11-301-0/+85
|/ /
* | Specify output selection in testsAlex Beregszaszi2017-11-301-0/+8
| |
* | Also test short input for old decoder.chriseth2017-11-301-5/+9
| |
* | Cleanup and overflow checks for data pointers.chriseth2017-11-301-1/+1
| |
* | Decoder tests.chriseth2017-11-305-34/+866
| |
* | Patch truffle to ignore pre-release compiler warning.chriseth2017-11-281-1/+49
| |
* | Merge pull request #3220 from ethereum/IuliaIfchriseth2017-11-273-1/+65
|\ \ | | | | | | If statement for Iulia / Inline Assembly
| * | Force condition to be bool in iulia mode.chriseth2017-11-241-4/+6
| | |
| * | Tests.chriseth2017-11-222-0/+29
| | |
| * | If statement for Iulia / inline assembly.chriseth2017-11-222-1/+34
| | |
* | | Merge pull request #3235 from ethereum/explicit-testsAlex Beregszaszi2017-11-231-4/+4
|\ \ \ | | | | | | | | Improve expected test errors for some old cases
| * | | Improve expected test errors for some old casesAlex Beregszaszi2017-11-221-4/+4
| |/ /
* / / success(text) -> CHECK_SUCCESS(text)Kwang Yul Seo2017-11-221-13/+13
|/ / | | | | | | success(text) does not assert the result. Use CHECK_SUCCESS macro.
* | For loop.chriseth2017-11-221-0/+67
| |
* | Test for multi-branches.chriseth2017-11-221-0/+18
| |
* | Fix boolean constants.chriseth2017-11-221-12/+9
| |
* | Tests.chriseth2017-11-221-0/+31
| |
* | Tests.chriseth2017-11-221-0/+240
| |
* | Improve cyclic constant error messageAlex Beregszaszi2017-11-221-2/+2
| |
* | Detect cyclic constant definitionsBalajiganapathi S2017-11-221-1/+29
| |
* | Add more tests for constant var as array lengthsBalajiganapathi S2017-11-221-1/+96
| |
* | Allow constant integer variables as array lengths.Balajiganapathi S2017-11-222-1/+41
| |
* | Add tests for getChecksummedAddressAlex Beregszaszi2017-11-171-0/+34
| |
* | Extend address checksum testsAlex Beregszaszi2017-11-171-4/+17
|/
* Add missing name resolver testsFederico Bond2017-10-271-0/+29
|
* Merge pull request #2607 from federicobond/better-error-outputAlex Beregszaszi2017-10-241-16/+30
|\ | | | | cmdlineTests: print solc output instead of contract code on error
| * Improve cmdline error outputFederico Bond2017-10-061-14/+24
| |
| * Use local variables inside bash functionsFederico Bond2017-10-061-6/+10
| |
| * cmdlineTests: print solc output instead of contract code on errorFederico Bond2017-10-061-4/+4
| |
* | Include modexp precompile in genesis for testing (#3114)Boris Kostenko2017-10-241-3/+4
| |
* | Do not use the precompile address 0x05 in the wallet tests (but a randomized ↵Alex Beregszaszi2017-10-241-19/+21
| | | | | | | | address)
* | Always create the correct account even if gaps are neededAlex Beregszaszi2017-10-201-1/+1
| |
* | Add helper RPCSession::createAccountAlex Beregszaszi2017-10-202-7/+11
| |
* | More detailed errors for invalid array lengths (such as division by zero).Alex Beregszaszi2017-10-201-0/+6
| |
* | Merge pull request #3101 from ethereum/compilerstack-headerchriseth2017-10-195-12/+12
|\ \ | | | | | | Remove the reliance on empty contract name equals "last contract" in CompilerStack
| * | Implement CompilerStack.lastContractName()Alex Beregszaszi2017-10-194-9/+9
| | |
| * | Always require a contract/sourceName in CompilerStackAlex Beregszaszi2017-10-192-7/+7
| | |
* | | Merge pull request #3111 from ethereum/test-close-failurechriseth2017-10-191-0/+3
|\ \ \ | | | | | | | | Close IPC socket on connect failure
| * | | Close IPC socket on connect failureAlex Beregszaszi2017-10-191-0/+3
| |/ /
* | | Merge pull request #3106 from ethereum/test-cleanupchriseth2017-10-193-67/+101
|\ \ \ | | | | | | | | Move contract related code to test/contracts
| * | | Move contract related code to test/contractsAlex Beregszaszi2017-10-193-67/+101
| |/ /
* / / Turn usage of callcode into an error as experimental 0.5.0 featureAlex Beregszaszi2017-10-191-0/+10
|/ /
* | Add test for each assembly opcode/instruction in LLLJared Wasinger2017-10-181-2/+513
| |
* | Merge pull request #3070 from ethereum/lll-assemblyYoichi Hirai2017-10-181-0/+17
|\ \ | | | | | | lll: disallow useless PUSHn in assembly
| * | lll: disallow useless PUSHn in assemblyAlex Beregszaszi2017-10-131-0/+17
| | |
* | | Merge pull request #2925 from ethereum/tuple-value-checkchriseth2017-10-181-1/+48
|\ \ \ | | | | | | | | Validate each tuple literal
| * | | Only check tuples for valid rational numbers if they have more than one element.chriseth2017-10-181-1/+17
| | | |
| * | | Validate each tuple literalAlex Beregszaszi2017-10-181-1/+32
| | | |
* | | | Adjust tests.chriseth2017-10-181-1/+1
| | | |
* | | | Do not accept truncated function selectors.chriseth2017-10-181-0/+19
|/ / /
* | | Allocate one byte per memory byte array element instead of 32.chriseth2017-10-171-0/+24
| | |
* | | Merge pull request #3077 from ethereum/optimze_popschriseth2017-10-171-0/+14
|\ \ \ | | | | | | | | Assume peephole optimizer was successful if number of pops increased.
| * | | Assume peephole optimizer was successful if number of pops increased.chriseth2017-10-141-0/+14
| |/ /
* / / Allow ``gas`` in view functions.chriseth2017-10-161-2/+5
|/ /
* | Merge pull request #3038 from ethereum/interface-externalYoichi Hirai2017-10-101-0/+22
|\ \ | | | | | | Force interface functions as external (0.5.0)
| * | Force interface functions as external (0.5.0)Alex Beregszaszi2017-10-061-0/+22
| | |
* | | Snarks test using Byzantium precompilesAlex Beregszaszi2017-10-092-1/+305
|/ / | | | | | | | | | | | | | | | | | | * Snark tests. * Verifying routine. * Example proof. * Update precompiled positions to Byzantium ruleset.
* | Merge pull request #3036 from ethereum/constant-eval-refactorchriseth2017-10-061-1/+39
|\ \ | | | | | | Refactor error reporting in ConstantEvaluator
| * | Add tests for ConstantEvaluatorAlex Beregszaszi2017-10-061-1/+39
| | |
* | | Ensure unused variables are not warned for in interfaces/abstract contractsAlex Beregszaszi2017-10-061-0/+20
|/ /
* | Require location keyword for local variables (0.5.0)Alex Beregszaszi2017-10-061-1/+13
| |
* | Merge pull request #2981 from ethereum/no-address-overloadchriseth2017-10-051-0/+58
|\ \ | | | | | | 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-0/+58
| | |
* | | Merge pull request #3020 from ethereum/smt-functioncallAlex Beregszaszi2017-10-051-0/+26
|\ \ \ | | | | | | | | SMT should not crash on special function calls (typecast)
| * | | SMT should not crash on typecast/structsAlex Beregszaszi2017-10-051-0/+26
| | |/ | |/|
* | | Merge pull request #2982 from ethereum/encoderFixesAlex Beregszaszi2017-10-051-0/+81
|\ \ \ | |_|/ |/| | ABI encoder fixes and test.
| * | Test encoder for empty structs.chriseth2017-09-271-0/+22
| | |
| * | ABI encoder fixes and test.chriseth2017-09-271-0/+59
| | |
* | | Merge pull request #2901 from ethereum/compiler-nameschriseth2017-10-051-0/+177
|\ \ \ | | | | | | | | Provide optional list of contract names to CompilerStack.compile
| * | | Add contract depedendency tests to standardcompilerAlex Beregszaszi2017-10-051-0/+61
| | | |
| * | | Restrict contracts compiled via outputSelection (but not the individual ↵Alex Beregszaszi2017-10-051-0/+116
| | |/ | |/| | | | | | | output details)
* / | Do not consider shadowing in variable names inside event declarationsFederico Bond2017-10-051-0/+11
|/ /
* | Merge pull request #2990 from ethereum/someMoreSMTStuffchriseth2017-10-044-5/+103
|\ \ | | | | | | Basic SMT tests.
| * | Tests for SMT checker.chriseth2017-09-291-0/+86
| | |
| * | Add SMT tests.chriseth2017-09-293-5/+17
| | |
* | | Merge pull request #3013 from ethereum/evmasm-cleanupchriseth2017-10-041-7/+3
|\ \ \ | | | | | | | | Cleanup instruction / gasmeter
| * | | Remove duplicate EVMScheduleAlex Beregszaszi2017-10-031-7/+3
| | | |
* | | | Better error message when using fractional number as array size expressionswadeAlexC2017-10-041-3/+3
| | | |
* | | | Disallow non-pure constant state variables in 0.5.0Federico Bond2017-10-031-4/+27
|/ / /
* | | Format chainparams fields properly in testsAlex Beregszaszi2017-10-031-3/+3
| | |
* | | Merge pull request #2997 from federicobond/duplicate-eventsAlex Beregszaszi2017-10-031-0/+55
|\ \ \ | | | | | | | | Emit error when declaring event with same name and arguments twice
| * | | Emit error when declaring event with same name and arguments twiceFederico Bond2017-09-301-0/+55
| | | |
* | | | LLL: Add compiler testsAlex Beregszaszi2017-10-021-0/+128
| | | |
* | | | LLL: Tests for the proposed switch expression.benjaminion2017-10-021-0/+86
|/ / /
* | | Unary + now a synax error (experimental 0.5.0)Rhett Aultman2017-09-301-0/+25
| | | | | | | | | | | | | | | | | | | | | The unary + was deprecated with a warning, but will be elevated to an error in 0.5.0. This adds the syntax error for the 0.5.0 pragma, and for a true 0.5.0 release we should consider removing the operator from the parser.
* | | Validate array length in type checkerAlex Beregszaszi2017-09-291-0/+10
|/ /