aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #4439 from ethereum/address_memberschriseth2018-07-1925-144/+45
|\
| * Changes in ExpressionCompilerLeonardo Alt2018-07-191-0/+6
| * Removing tests that are not useful anymoreLeonardo Alt2018-07-183-43/+0
| * Add suggestion to error messageLeonardo Alt2018-07-1712-12/+12
| * Address members not accessible by contract instanceLeonardo Alt2018-07-1724-104/+42
* | Adds warning if function is shadowing a contract.Erik Kundt2018-07-182-5/+10
* | Adjusts syntax tests to new constructor syntax.Erik Kundt2018-07-1829-116/+3
* | Adds comment about reasoning behind syntax test.Erik Kundt2018-07-181-3/+5
* | Removes obsolete syntax tests.Erik Kundt2018-07-182-10/+0
* | Suggests external for fallback and interface functions.chriseth2018-07-187-6/+16
* | Adjusts tests to expect type errors on default visibility.Erik Kundt2018-07-187-18/+7
|/
* Merge pull request #4463 from ethereum/isoltest-colors-on-windowsChristian Parpart2018-07-171-0/+26
|\
| * isoltest: adds support for properly handling ANSI escape sequences on Win32/W...Christian Parpart2018-07-161-0/+26
* | Add missing period in the end of error messagesLeonardo Alt2018-07-1633-33/+33
* | Merge pull request #4481 from ethereum/disallow-throwchriseth2018-07-1629-124/+107
|\ \
| * | Replace throw with revert() in compilation testsAlex Beregszaszi2018-07-1623-92/+92
| * | Replace throw with revert() in end-to-end testsAlex Beregszaszi2018-07-163-14/+14
| * | Deprecate the throw statementAlex Beregszaszi2018-07-163-18/+1
* | | Fixes end-to-end tests.Erik Kundt2018-07-164-16/+16
* | | Moves unit test from initial branch.Erik Kundt2018-07-161-18/+18
* | | Specifies visibility in syntax test.Erik Kundt2018-07-161-3/+3
* | | Specifies visibility in unit tests.Erik Kundt2018-07-169-150/+150
|/ /
* | Merge pull request #4500 from ethereum/v050-interface-functions-must-be-externalchriseth2018-07-1610-15/+11
|\ \
| * | enforce interface-functions to be external-declaredChristian Parpart2018-07-1610-15/+11
| |/
* | Added default data locations to parameters for end to end tests.Chase McDermott2018-07-1611-240/+240
* | Added default data locations to docs and other external tests.Chase McDermott2018-07-1526-74/+74
|/
* Merge pull request #4438 from ethereum/address_members_external_tests_docschriseth2018-07-138-9/+9
|\
| * Update external tests and docsLeonardo Alt2018-07-128-9/+9
* | Merge pull request #4501 from ethereum/recursiveStructsWithFixedArrayschriseth2018-07-1312-0/+139
|\ \
| * | Add test cases.Daniel Kirchner2018-07-1312-0/+139
* | | Update tests.Daniel Kirchner2018-07-1322-103/+177
|/ /
* | Merge pull request #4437 from ethereum/report-empty-var-declschriseth2018-07-133-0/+22
|\ \
| * | Generates a syntax error when declaring a variable declaration's LHS has no n...Christian Parpart2018-07-123-0/+22
* | | Merge pull request #4478 from ethereum/requireStorageLocationchriseth2018-07-1320-68/+53
|\ \ \ | |/ / |/| |
| * | Update compilation tests wrt requiring storage locations.Daniel Kirchner2018-07-124-12/+12
| * | Update test wrt requiring storage locations.Daniel Kirchner2018-07-1216-56/+41
| |/
* | Merge pull request #4428 from ethereum/enforce_staticcall_viewchriseth2018-07-121-1/+37
|\ \
| * | Use STATICCALL for view and pureLeonardo Alt2018-07-111-1/+37
* | | Merge pull request #4083 from ethereum/variable_stack_slotchriseth2018-07-121-2/+316
|\ \ \ | |_|/ |/| |
| * | Change test from public to externalLeonardo Alt2018-07-111-1/+1
| * | Added assertion and tests suggestionsLeonardo Alt2018-07-111-5/+13
| * | Add more tests and assertionsLeonardo Alt2018-07-111-1/+153
| * | Added tests and review suggestionsLeonardo Alt2018-07-111-0/+154
* | | Added default data locations to parameters for syntax tests.Chase McDermott2018-07-1238-83/+83
* | | Merge pull request #4461 from ethereum/fuzzer-fixchriseth2018-07-121-0/+4
|\ \ \
| * | | Catch the proper exceptions in solfuzzerAlex Beregszaszi2018-07-121-0/+4
* | | | Merge pull request #4443 from ethereum/double_var_decl_fixchriseth2018-07-123-0/+34
|\ \ \ \ | |/ / / |/| | |
| * | | Fix crash for double variable declaration in the same scope.Leonardo Alt2018-07-113-0/+34
| |/ /
* | | Merge pull request #4480 from ethereum/fixZeroWithExponentchriseth2018-07-122-23/+29
|\ \ \
| * | | Split test case into failing and succeeding case.Daniel Kirchner2018-07-112-24/+29
| * | | Fix literals with exponents with mantissa of zero.Daniel Kirchner2018-07-111-0/+1
* | | | Merge pull request #4404 from ethereum/v050-var-keyword-suggestChristian Parpart2018-07-111-0/+23
|\ \ \ \ | |/ / / |/| | |
| * | | semantics: Suggest auto-deduced type when user declares variable with `var` k...Christian Parpart2018-07-111-0/+23
* | | | Merge pull request #4454 from ethereum/constructorArgCountchriseth2018-07-114-12/+3
|\ \ \ \ | |_|_|/ |/| | |
| * | | Cleans up syntax test.Erik Kundt2018-07-111-4/+1
| * | | Improves error with suggestion to remove parantheses.Erik Kundt2018-07-113-3/+6
| * | | Updates Changelog, syntax test and simplifies type checker.Erik Kundt2018-07-111-7/+1
| * | | Turns wrong argument count in base constructor call into en error.Erik Kundt2018-07-112-10/+7
| |/ /
* | | Merge pull request #4388 from ethereum/noPackedLiteralschriseth2018-07-113-15/+6
|\ \ \
| * | | Disallow packed encoding of literals.chriseth2018-07-033-15/+6
* | | | test: Fix typos.Cryptomental2018-07-1122-73/+73
| |/ / |/| |
* | | Merge pull request #4376 from ethereum/fallbackExternalchriseth2018-07-1110-26/+7
|\ \ \
| * | | Update tests.chriseth2018-07-0410-26/+7
* | | | Merge pull request #4464 from cryptomental/bugfix/fix-typos-in-AsmParser-and-...chriseth2018-07-113-2/+9
|\ \ \ \
| * | | | libsolidity/syntaxTests: Add a test case for unwanted named arguments.Cryptomental2018-07-101-0/+7
| * | | | AsmParser,TypeChecker: Fix typos.Cryptomental2018-07-102-2/+2
* | | | | Merge pull request #4466 from ethereum/tupleNotEmptychriseth2018-07-118-38/+24
|\ \ \ \ \ | |_|_|_|/ |/| | | |
| * | | | Update end-to-end tests.Daniel Kirchner2018-07-101-1/+1
| * | | | Update tests.Daniel Kirchner2018-07-107-37/+23
* | | | | defaulting to v0.5.0 behaviour of unary + operator (disallow); also adapting ...Christian Parpart2018-07-104-21/+2
* | | | | Merge pull request #4415 from ethereum/uninitializedStoragePointerchriseth2018-07-109-38/+24
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | Update tests.Daniel Kirchner2018-07-109-38/+24
| |/ / /
* / / / Update tests.Daniel Kirchner2018-07-107-50/+17
|/ / /
* | | Merge pull request #4440 from ethereum/hex_denomination_enforce_errorchriseth2018-07-092-7/+1
|\ \ \
| * | | Enforce error on hex number combined with unit denominationLeonardo Alt2018-07-092-7/+1
* | | | Merge pull request #4403 from ethereum/syntaxTestsVisibilitychriseth2018-07-0937-613/+616
|\ \ \ \ | |/ / / |/| | |
| * | | Updates interface constructor and function type test.Erik Kundt2018-07-073-15/+18
| * | | Fixes wrong visibility specifier in interface constructor test.Erik Kundt2018-07-042-9/+9
| * | | Fixes broken syntax tests.Erik Kundt2018-07-042-18/+9
| * | | Adds default visibility specifier to syntax tests.Erik Kundt2018-07-0437-610/+619
| |/ /
* | | Merge pull request #4432 from ethereum/visibilityCompilationTestsAlex Beregszaszi2018-07-0942-137/+137
|\ \ \
| * | | Adds visibility to compilation tests.Erik Kundt2018-07-0542-137/+137
* | | | Merge pull request #4366 from ethereum/libsolc-cleanupAlex Beregszaszi2018-07-091-2/+22
|\ \ \ \
| * | | | Add new libsolc entry points (solidity_license/version/compile)Alex Beregszaszi2018-06-301-0/+20
| * | | | Rename JSONCompiler test suite to LibSolcAlex Beregszaszi2018-06-291-2/+2
* | | | | Merge pull request #4418 from ethereum/initialConstantschriseth2018-07-052-2/+2
|\ \ \ \ \
| * | | | | Only allow compile-time constants for constant state variables.chriseth2018-07-042-2/+2
| | |_|/ / | |/| | |
* | | | | Fix allocation of byte arrays.chriseth2018-07-051-2/+3
* | | | | Fixes compilation errors.Erik Kundt2018-07-041-3/+3
* | | | | Fixes defects in end-to-end tests.Erik Kundt2018-07-041-7/+7
* | | | | Fixes assembly test.Erik Kundt2018-07-041-7/+7
* | | | | Updates unit test to specify visibility.Erik Kundt2018-07-0412-104/+104
* | | | | Updates end-to-end tests to specify default visibility.Erik Kundt2018-07-041-787/+787
| |_|/ / |/| | |
* | | | Merge pull request #4409 from ethereum/viewPureCheckerchriseth2018-07-0419-11/+163
|\ \ \ \
| * | | | Extend view pure test suite.Daniel Kirchner2018-07-0417-3/+162
| * | | | Adjust tests wrt strict view pure checker.Daniel Kirchner2018-07-042-8/+1
| |/ / /
* / / / Enforcing error on msg.gas and block.blockhash()Leonardo Alt2018-07-048-41/+11
|/ / /
* | | Merge pull request #4379 from ethereum/constructorArgsTwicechriseth2018-07-048-30/+14
|\ \ \
| * | | Fix tests.chriseth2018-06-291-22/+6
| * | | Disallow constructor arguments given multiple times.chriseth2018-06-297-8/+8
* | | | Merge pull request #4413 from ethereum/dropConstantKeywordOnlychriseth2018-07-046-77/+13
|\ \ \ \
| * | | | Update test suite.Daniel Kirchner2018-07-036-77/+13
| | |_|/ | |/| |
* | | | Merge pull request #4389 from ethereum/soltestfixchriseth2018-07-031-2/+2
|\ \ \ \ | |/ / / |/| | |
| * | | fix default difficulty to comply with YP rulesDimitry2018-06-301-2/+2
| |/ /
* | | Update compilation tests.Daniel Kirchner2018-07-0346-166/+170
* | | Update test contracts.Daniel Kirchner2018-07-033-24/+24
* | | Merge pull request #4374 from ethereum/v050-var-keyword-removal-preps-end2end...chriseth2018-07-037-84/+75
|\ \ \
| * | | test: ensure compiled tests do not use var-keyword in preparation of var-keyw...Christian Parpart2018-07-027-84/+75
| |/ /
* | | Merge pull request #4305 from ethereum/transactionReceiptschriseth2018-07-0212-1/+56
|\ \ \
| * | | Determine transaction status in RPC sessions.Daniel Kirchner2018-07-0212-1/+56
| |/ /
* | | Remove trailing whitespace in missing visibility warning.Daniel Kirchner2018-07-023-3/+3
* | | Merge pull request #4386 from ethereum/testingDefaultVisibilitychriseth2018-07-0243-189/+136
|\ \ \
| * | | Adds review suggestions.Erik Kundt2018-07-022-2/+7
| * | | Updates syntax tests to specify default visibility.Erik Kundt2018-06-2945-196/+138
| |/ /
* | | Merge pull request #4224 from ethereum/revert_wrong_calldatachriseth2018-07-021-10/+4
|\ \ \ | |/ / |/| |
| * | Revert if calldata is too short or points out of boundsLeonardo Alt2018-06-261-10/+4
* | | Merge pull request #4354 from ethereum/constructorSyntaxTestschriseth2018-06-2929-160/+154
|\ \ \
| * | | Updates invalid syntax test.Erik Kundt2018-06-291-1/+2
| * | | Updates syntax tests to new constructor syntax.Erik Kundt2018-06-2920-50/+43
| * | | Updates compiled unit tests to new constructor syntax.Erik Kundt2018-06-299-110/+110
* | | | Merge pull request #4352 from D-Nice/developchriseth2018-06-292-0/+22
|\ \ \ \ | |/ / / |/| | |
| * | | Add passing test caseD-Nice2018-06-292-2/+13
| * | | Adds storage_reference.sol syntax testD-Nice2018-06-281-0/+11
* | | | Fallback function has to be external: backwards-compatible changes.chriseth2018-06-2940-94/+112
| |_|/ |/| |
* | | Merge pull request #4365 from ethereum/type-identifier-testAlex Beregszaszi2018-06-281-2/+18
|\ \ \
| * | | Add more FixedPoint type testsAlex Beregszaszi2018-06-281-1/+16
| * | | Add one more type identifier escaping testAlex Beregszaszi2018-06-281-1/+2
* | | | Merge pull request #4097 from ethereum/noPackedExceptForPackedchriseth2018-06-2840-202/+196
|\ \ \ \ | |/ / / |/| | |
| * | | Also mention regular abi.encode in error message.chriseth2018-06-274-12/+12
| * | | Update tests and add new tests.chriseth2018-06-257-3/+71
| * | | Update compilation tests.chriseth2018-06-258-21/+21
| * | | Adjust tests.chriseth2018-06-2526-173/+103
| * | | Forwarding length check.chriseth2018-06-251-8/+4
* | | | Add emit keyword to tests.chriseth2018-06-275-111/+36
* | | | Add emit keyword to compilation tests.chriseth2018-06-2743-120/+120
* | | | Add some more emits.chriseth2018-06-273-22/+22
* | | | Remove non-0.5.0 warning for emit keyword (make it mandatory)Alex Beregszaszi2018-06-276-19/+6
* | | | Merge pull request #4318 from ethereum/yul-internalchriseth2018-06-2610-22/+22
|\ \ \ \
| * | | | Rename Julia to Yul in variablesAlex Beregszaszi2018-06-261-6/+6
| * | | | Rename test suites from J/Iulia* to Yul*Alex Beregszaszi2018-06-2610-16/+16
| |/ / /
* | | | test: Adapted to the change of the var-keyword elimination.Christian Parpart2018-06-2650-320/+119
* | | | test: drop obsoleted syntaxTest(s)Christian Parpart2018-06-262-19/+0
| |_|/ |/| |
* | | Updates external contracts to new constructor syntax.Erik Kundt2018-06-2639-41/+41
|/ /
* | Keep the 'if it not used as an address' helper message for all cases of addre...Alex Beregszaszi2018-06-254-4/+4
* | Do not change SMT testsAlex Beregszaszi2018-06-251-10/+10
* | Replace old Truffle artifacts in external Zeppelin/Gnosis testsAlex Beregszaszi2018-06-251-0/+7
* | Update external contracts in compilationTests (to support strict address lite...Alex Beregszaszi2018-06-2522-54/+54
* | Update tests for strict address literalsJason Cobb2018-06-2514-25/+24
|/
* Fixes soltest against "recent" cpp-ethereum builds.Christian Parpart2018-06-251-0/+2
* Disable gnosis tests temporarilyAlex Beregszaszi2018-06-221-1/+3
* Disallow the years unit denomination properlyAlex Beregszaszi2018-06-224-10/+3
* test: drop var-keyword in compilationTests in favor of explicit typesChristian Parpart2018-06-2115-119/+119
* Merge pull request #4306 from ethereum/remove_050_workaround_scopingchriseth2018-06-2128-106/+37
|\
| * C99 scoping rules by defaultLeonardo Alt2018-06-2028-106/+37
* | Merge pull request #4219 from ethereum/functionTypeNamedArgumentsAlex Beregszaszi2018-06-213-7/+6
|\ \ | |/ |/|
| * Return parameters in function types may not be named.Daniel Kirchner2018-06-183-7/+6
* | Merge pull request #4300 from nventuro/optimize-out-andchriseth2018-06-201-0/+25
|\ \
| * | Improves peephole_truthy_and test caseNicolás Venturo2018-06-201-2/+15
| * | Add TruthyAnd Peephole optimizationNicolás Venturo2018-06-151-0/+12
| |/
* | Disallow raw callcode (was deprecated in 0.4.12)Alex Beregszaszi2018-06-206-51/+4
* | Refactor syntax test infrastructure to prepare introducing semantics tests.Daniel Kirchner2018-06-157-200/+307
* | Add difficulty field to genesis chain parameters to fix ipc tests for recent ...Daniel Kirchner2018-06-141-1/+2
|/
* update testsAlex Beregszaszi2018-06-144-15/+15
* Merge pull request #4282 from ethereum/cli-yulchriseth2018-06-141-1/+1
|\
| * Renamed the --julia CLI option to --yulAlex Beregszaszi2018-06-141-1/+1
* | Enforce disallowing empty structsChristian Parpart2018-06-149-75/+23
|/
* Properly download branches of external Zeppelin/Gnosis testsAlex Beregszaszi2018-06-131-3/+13
* Merge pull request #4283 from ethereum/swap-test-orderAlex Beregszaszi2018-06-131-1/+1
|\
| * Execute external Zeppelin tests before GnosisAlex Beregszaszi2018-06-131-1/+1
* | Properly pad data from calldata.chriseth2018-06-132-8/+7
|/
* Ensure to always use 0.5.0 mode in solcjs testsAlex Beregszaszi2018-06-131-0/+5
* Update external contract in compilationTests to not use deprecated sha3Alex Beregszaszi2018-06-134-31/+31
* Disallow sha3/suicide aliasesAlex Beregszaszi2018-06-135-100/+15
* Merge pull request #3627 from ethereum/additional-keywordsAlex Beregszaszi2018-06-121-2/+20
|\
| * Add new reserved keywords.Daniel Kirchner2018-06-121-2/+20
* | Merge pull request #4277 from ethereum/signedRightShiftDaniel Kirchner2018-06-121-0/+33
|\ \
| * | Additional test and more explanation.Daniel Kirchner2018-06-121-0/+33
| |/
* | Merge pull request #4265 from ethereum/remove-stdchriseth2018-06-121-12/+0
|\ \
| * | Remove obsolete 'std' directoryAlex Beregszaszi2018-06-121-12/+0
* | | Merge pull request #4273 from ethereum/soltestExceptionsDaniel Kirchner2018-06-122-25/+15
|\ \ \ | |_|/ |/| |
| * | Improve exception handling in soltest and isoltest.Daniel Kirchner2018-06-122-25/+15
* | | Use proper SAR for signed right shifts and emulate on pre-constantinople.Daniel Kirchner2018-06-121-57/+115
|/ /
* | Merge pull request #4206 from ethereum/050-testingAlex Beregszaszi2018-06-121-2/+3
|\ \ | |/ |/|
| * Use temporary fork of Gnosis/Zeppelin contractsAlex Beregszaszi2018-05-301-2/+3
| * Gnosis and Zeppelin repo names have changedAlex Beregszaszi2018-05-301-2/+2
* | Merge pull request #4241 from ethereum/show-named-argAlex Beregszaszi2018-06-061-1/+1
|\ \
| * | Show named argument name in errorAlex Beregszaszi2018-06-061-1/+1
* | | Extract test cases from ViewPureCheckerAlex Beregszaszi2018-06-0623-359/+227
|/ /
* | Merge pull request #4208 from ethereum/extract-name-and-type-testschriseth2018-06-05551-7038/+4242
|\ \
| * | Move "create2_as_variable" back to non-isoltest tests.chriseth2018-06-052-6/+15
| * | Remove extracted tests from SolidityNameAndTypeResolutionAlex Beregszaszi2018-05-311-7051/+0
| * | Split out SolidityNameAndTypeResolution tests into SyntaxTestsAlex Beregszaszi2018-05-31551-0/+4244
| * | Reformat test for extraction toolAlex Beregszaszi2018-05-311-1/+3
* | | Merge pull request #4213 from ethereum/fixpopchriseth2018-06-041-0/+34
|\ \ \
| * | | Add test for pop on the stack.chriseth2018-05-311-0/+34
| |/ /
* | | Update imported stringutils to use keccak256Alex Beregszaszi2018-06-041-9/+9
* | | Remove sha3/suicide from assembly testsJason Cobb2018-06-042-24/+7
|/ /
* | Merge pull request #4172 from ethereum/trailing_dotchriseth2018-05-314-0/+38
|\ \
| * | Disallow trailing dots that are not followed by a numberLeonardo Alt2018-05-304-0/+38
| |/
* | Merge pull request #4205 from ethereum/name-and-type-tests-splitchriseth2018-05-311-18/+78
|\ \
| * | Split up last NameAndTypeResolution test casesAlex Beregszaszi2018-05-301-18/+78
| |/
* | Merge pull request #3743 from ethereum/popStorageArraychriseth2018-05-3130-0/+340
|\ \ | |/ |/|
| * Fixes assembly bug and adds tests to cover it.Erik Kundt2018-05-301-23/+45
| * Adds syntax tests, documentation and changelog entry.Erik Kundt2018-05-3029-0/+54
| * Improves assembly and adds more tests.Erik Kundt2018-05-301-1/+124
| * Implements pop() for byte arrays.Erik Kundt2018-05-291-6/+81
| * Implements pop() for value type arrays.bitshift2018-05-291-0/+66
* | Merge pull request #4176 from sifmelcara/add/calldata-keywordchriseth2018-05-3016-4/+87
|\ \
| * | Allow using `calldata` keyword to specify data locationmingchuan2018-05-3016-4/+87
| |/
* | Split up NameAndTypeResolution test casesAlex Beregszaszi2018-05-301-154/+492
* | Extend function type comparison testAlex Beregszaszi2018-05-301-0/+16
|/
* Simplify fromElementaryTypeName testsAlex Beregszaszi2018-05-241-96/+6
* Move fromElementaryTypeName tests to SolidityTypesAlex Beregszaszi2018-05-242-109/+117
* Merge pull request #4067 from ethereum/050chriseth2018-05-2417-82/+210
|\
| * Update control flow graph.Daniel Kirchner2018-05-172-7/+19
| * Fix continue inside do-while.Daniel Kirchner2018-05-171-0/+21
| * Adjust tests.Daniel Kirchner2018-05-173-23/+23
| * Disallow conversions between bytesX and uintY of different size.Daniel Kirchner2018-05-179-16/+57
| * Add syntax tests and Changelog entryLeonardo Alt2018-05-171-0/+53
| * Bool variables should not allow arithmetic comparisonLeonardo Alt2018-05-171-29/+0
| * Merge pull request #3987 from ethereum/solc_remove_stdinchriseth2018-05-171-7/+37
| |\
| | * Read from stdin only if - is explicitly givenLeonardo Alt2018-05-071-7/+37
* | | Move comments into test sources in SolidityNameAndTypeResolutionAlex Beregszaszi2018-05-231-43/+46
* | | 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.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.chriseth2018-05-151-0/+7
* | | Merge pull request #3947 from ethereum/smt_storagechriseth2018-05-151-0/+76
|\ \ \ | |/ / |/| |
| * | 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 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
|\ \ \
| * | | 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
|\ \
| * | Update test expectations.Daniel Kirchner2018-05-0931-57/+57
* | | Add more tests for right shifts.Daniel Kirchner2018-05-091-0/+157
|/ /
generated by cgit (git 2.34.1) at 2024-11-15 10:58:43 +0800