Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge pull request #4684 from ethereum/underscores_in_numeric_literals | chriseth | 2018-08-09 | 15 | -14/+256 |
|\ | | | | | [BREAKING] Underscores in numeric literals | ||||
| * | Cleanup & polish numbers-with-underscores parsing, also improving tests. | Christian Parpart | 2018-08-08 | 12 | -200/+180 |
| | | |||||
| * | Add stricter hex underscore rules | Balajiganapathi S | 2018-08-08 | 7 | -20/+86 |
| | | |||||
| * | Allow underscores in numbers. | Balajiganapathi S | 2018-08-08 | 5 | -2/+198 |
| | | |||||
* | | Merge pull request #4665 from mattaereal/cmake-patch-solver | Alex Beregszaszi | 2018-08-09 | 5 | -11/+43 |
|\ \ | | | | | | | cmake option added to make solvers optional | ||||
| * | | cmake flags to make solvers optional. Implementation of #4651 | Matías Aereal Aeón | 2018-08-08 | 5 | -11/+43 |
| | | | |||||
* | | | Merge pull request #4770 from ethereum/throw-codegen | Alex Beregszaszi | 2018-08-09 | 1 | -4/+2 |
|\ \ \ | | | | | | | | | Remove code generation for Throw statement | ||||
| * | | | Remove code generation for Throw statement | Alex Beregszaszi | 2018-08-09 | 1 | -4/+2 |
| | | | | | | | | | | | | | | | | It is disallowed in the type system. | ||||
* | | | | Merge pull request #4769 from ethereum/inlineasm-overloading-resolution | Alex Beregszaszi | 2018-08-09 | 3 | -0/+15 |
|\ \ \ \ | |/ / / |/| | | | Provide nicer error message when referencing overloaded references | ||||
| * | | | Provide nicer error message when referencing overloaded references | Alex Beregszaszi | 2018-08-08 | 3 | -0/+15 |
| | | | | |||||
* | | | | Merge pull request #4753 from mattaereal/boost-to-string-patch | Alex Beregszaszi | 2018-08-08 | 14 | -36/+32 |
|\ \ \ \ | | | | | | | | | | | Replace boost:lexical_cast<std::string> for std::to_string. | ||||
| * | | | | Removing std:: from std::to_string and include for boost/lexical_cast | Matías Aereal Aeón | 2018-08-08 | 13 | -35/+31 |
| | | | | | |||||
| * | | | | Replace boost:lexical_cast<std::string> for std::to_string. | Matías Aereal Aeón | 2018-08-08 | 4 | -11/+11 |
| | |/ / | |/| | | |||||
* | | | | Merge pull request #4761 from ethereum/libsolc-exceptions | Alex Beregszaszi | 2018-08-08 | 4 | -22/+28 |
|\ \ \ \ | |_|/ / |/| | | | Mark libsolc external C functions as noexcept | ||||
| * | | | Mark libsolc external C functions as noexcept | Alex Beregszaszi | 2018-08-08 | 2 | -18/+24 |
| | | | | | | | | | | | | | | | | These are part of the external C API where leaking through exceptions makes no sense. | ||||
| * | | | Mark StandardCompiler::compile as noexcept | Alex Beregszaszi | 2018-08-08 | 2 | -4/+4 |
| | |/ | |/| | | | | | | | It has a generic catch statement and shouldn't leak out exceptions. | ||||
* | | | Merge pull request #4763 from ethereum/remove-experimental-050 | Alex Beregszaszi | 2018-08-08 | 3 | -6/+2 |
|\ \ \ | | | | | | | | | Remove experimental 0.5.0 pragma | ||||
| * | | | Remove experimental 0.5.0 pragma | Alex Beregszaszi | 2018-08-08 | 3 | -6/+2 |
|/ / / | |||||
* | | | Merge pull request #4740 from ethereum/enforceNumberOfReturnValues | chriseth | 2018-08-08 | 13 | -38/+101 |
|\ \ \ | | | | | | | | | Disallow empty return in function with return arguments. | ||||
| * | | | Add back lost test case to a more reasonable location. | Daniel Kirchner | 2018-08-08 | 1 | -0/+3 |
| | | | | |||||
| * | | | Adjust return expressions in compilation tests. | Daniel Kirchner | 2018-08-08 | 2 | -9/+8 |
| | | | | |||||
| * | | | Update and extend tests for return expressions. | Daniel Kirchner | 2018-08-08 | 8 | -28/+84 |
| | | | | |||||
| * | | | Disallow empty return expressions in functions with non-empty return parameters. | Daniel Kirchner | 2018-08-08 | 2 | -1/+6 |
| | | | | |||||
* | | | | Merge pull request #4589 from sifmelcara/fix/dynamic-link-boost-test | Alex Beregszaszi | 2018-08-08 | 2 | -0/+19 |
|\ \ \ \ | | | | | | | | | | | Fix shared boost test library build by customizing main | ||||
| * | | | | Define BOOST_TEST_DYN_LINK for building soltest if Boost_USE_STATIC_LIBS is ↵ | Daniel Kirchner | 2018-08-02 | 1 | -0/+4 |
| | | | | | | | | | | | | | | | | | | | | not set. | ||||
| * | | | | Fix shared boost test library build by customizing main | mingchuan | 2018-08-02 | 1 | -0/+15 |
| | | | | | |||||
* | | | | | Merge pull request #4528 from guidovranken/propagate_CMAKE_CXX_FLAGS_jsoncpp | Alex Beregszaszi | 2018-08-08 | 1 | -3/+11 |
|\ \ \ \ \ | | | | | | | | | | | | | Propagate original CMAKE_CXX_FLAGS to jsoncpp compilation | ||||
| * | | | | | Rename JSONCPP_EXTRA_FLAGS to JSONCPP_CXX_FLAGS, add EMSCRIPTEN workaround ↵ | Daniel Kirchner | 2018-08-08 | 1 | -3/+11 |
| | | | | | | | | | | | | | | | | | | | | | | | | and remove obsolete MSVC workaround. | ||||
| * | | | | | Propagate original CMAKE_CXX_FLAGS to jsoncpp compilation | Guido Vranken | 2018-07-19 | 1 | -1/+1 |
| | | | | | | |||||
* | | | | | | Merge pull request #4747 from ethereum/enum-docs | chriseth | 2018-08-08 | 1 | -1/+0 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Update enum with lifting the restriction for interfaces | ||||
| * | | | | | | Update enum with lifting the restriction for interfaces | Alex Beregszaszi | 2018-08-08 | 1 | -1/+0 |
| | |_|_|/ / | |/| | | | | |||||
* | | | | | | Merge pull request #4737 from ethereum/isoltestEarlyExit | chriseth | 2018-08-08 | 1 | -13/+22 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Return from main if quit was requested during a sub-testsuite. | ||||
| * | | | | | | Initialize ``TestTool::m_formatted``. | Daniel Kirchner | 2018-08-08 | 1 | -1/+1 |
| | | | | | | | |||||
| * | | | | | | Always count all test cases in isoltest and exit early on user request. | Daniel Kirchner | 2018-08-08 | 1 | -12/+21 |
| | |_|_|/ / | |/| | | | | |||||
* | | | | | | Merge pull request #4748 from ethereum/validate-identifier | chriseth | 2018-08-08 | 3 | -2/+13 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Assert that type identifier contains only valid characters | ||||
| * | | | | | | Assert that type identifier contains only valid characters | Alex Beregszaszi | 2018-08-08 | 2 | -1/+12 |
| | | | | | | | |||||
| * | | | | | | Yul grammar: allow multiple $ signs (matches Solidity) | Alex Beregszaszi | 2018-08-08 | 1 | -1/+1 |
| | |/ / / / | |/| | | | | |||||
* | | | | | | Merge pull request #4745 from ethereum/nameResolverNoEarlyExit | chriseth | 2018-08-08 | 1 | -3/+0 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Do not stop after the first error in reference resolution. | ||||
| * | | | | | | Do not stop after the first error in reference resolution. | chriseth | 2018-08-08 | 1 | -3/+0 |
| | |/ / / / | |/| | | | | |||||
* | | | | | | Merge pull request #4749 from elopio/test/yul-simplifier-not-applied | chriseth | 2018-08-08 | 1 | -0/+10 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | tests: add yul simplifier not applied | ||||
| * | | | | | | tests: add yul simplifier not applied | Leo Arias | 2018-08-08 | 1 | -0/+10 |
| | |/ / / / | |/| | | | | |||||
* | | | | | | Merge pull request #4754 from Rytiss/patch-1 | Alex Beregszaszi | 2018-08-08 | 1 | -1/+1 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Fix typo in Solidity name/url in the changelog | ||||
| * | | | | | | Fix typo in Solidity name/url | Rytis Slatkevičius | 2018-08-08 | 1 | -1/+1 |
| |/ / / / / | |||||
* | | | | | | Merge pull request #4736 from ethereum/removeFillRight | Alex Beregszaszi | 2018-08-08 | 7 | -41/+26 |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | Remove remaining instances of ``fillRight``. | ||||
| * | | | | | Remove remaining instances of ``fillRight`` left over from tuple wildcards ↵ | Daniel Kirchner | 2018-08-08 | 7 | -41/+26 |
| |/ / / / | | | | | | | | | | | | | | | | assignments. | ||||
* | | | | | Merge pull request #4744 from ethereum/smt-magic-variable | Alex Beregszaszi | 2018-08-08 | 1 | -2/+8 |
|\ \ \ \ \ | | | | | | | | | | | | | SMT: do not crash on referencing MagicVariableDeclaration | ||||
| * | | | | | SMT: do not crash on referencing MagicVariableDeclaration | Alex Beregszaszi | 2018-08-08 | 1 | -2/+8 |
| | | | | | | |||||
* | | | | | | Merge pull request #4703 from ethereum/solc-fix-double-quoting-path-names | chriseth | 2018-08-08 | 2 | -4/+54 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | solc: Fixes double-quoting path names on stderr. | ||||
| * | | | | | | solc: Fixes double-quoting path names on stderr and adds tests for it. | Christian Parpart | 2018-08-07 | 2 | -4/+54 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Before it was possible to get a failure message, such as: ""notfound.sol"" is not found whereas it should be: "notfound.sol" is not found. | ||||
* | | | | | | | Merge pull request #4742 from elopio/patch-4 | chriseth | 2018-08-08 | 1 | -1/+1 |
|\ \ \ \ \ \ \ | |_|_|/ / / / |/| | | | | | | Fix typo | ||||
| * | | | | | | Fix typo | Leo Arias | 2018-08-08 | 1 | -1/+1 |
|/ / / / / / | |||||
* | | | | | | Merge pull request #4731 from ethereum/interface-enum | chriseth | 2018-08-07 | 10 | -9/+93 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Allow enums in interfaces | ||||
| * | | | | | | Add endToEnd test for referencing enums | Alex Beregszaszi | 2018-08-07 | 1 | -0/+44 |
| | | | | | | | |||||
| * | | | | | | Add more syntax tests for enums and interfaces/libraries | Alex Beregszaszi | 2018-08-07 | 5 | -0/+48 |
| | | | | | | | |||||
| * | | | | | | Allow enums in interfaces | Alex Beregszaszi | 2018-08-07 | 4 | -9/+1 |
| | |/ / / / | |/| | | | | |||||
* | | | | | | Merge pull request #4692 from ethereum/devcore-path | chriseth | 2018-08-07 | 4 | -28/+30 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Move absolutePath/sanitizePath helpers from CompilerStack to libdevcore | ||||
| * | | | | | | Move absolutePath/sanitizePath helpers from CompilerStack to libdevcore | Alex Beregszaszi | 2018-08-06 | 4 | -28/+30 |
| | | | | | | | |||||
* | | | | | | | Merge pull request #4699 from ethereum/cleanup_VariableDeclaration | chriseth | 2018-08-07 | 3 | -111/+109 |
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | libsolidity: Remove dead code wrt. VariableDeclaration::canHaveAutoType | ||||
| * | | | | | | | libsolidity: Remove dead code wrt. VariableDeclaration::canHaveAutoType() | Christian Parpart | 2018-08-07 | 3 | -111/+109 |
| | |_|/ / / / | |/| | | | | | | | | | | | | | | | | | | | Closes #4667 | ||||
* | | | | | | | Merge pull request #4726 from ethereum/moveNothrow | chriseth | 2018-08-07 | 2 | -11/+2 |
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | Make MemberList nothrow move constructible. | ||||
| * | | | | | | | Make MemberList nothrow move constructible. | chriseth | 2018-08-07 | 2 | -11/+2 |
| | | | | | | | | |||||
* | | | | | | | | Merge pull request #4720 from ethereum/abi-rational-type-identifier | Alex Beregszaszi | 2018-08-07 | 4 | -1/+48 |
|\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | Fix type identifiers for RationalNumberType (on negative numbers) | ||||
| * | | | | | | | | Add test for abi.encode (negative) literals | Alex Beregszaszi | 2018-08-07 | 1 | -0/+36 |
| | | | | | | | | | |||||
| * | | | | | | | | Fix type identifiers for RationalNumberType | Alex Beregszaszi | 2018-08-07 | 3 | -1/+12 |
| | |_|_|/ / / / | |/| | | | | | | |||||
* | | | | | | | | Merge pull request #4729 from ethereum/slot-on-non-storage | Alex Beregszaszi | 2018-08-07 | 3 | -1/+17 |
|\ \ \ \ \ \ \ \ | |/ / / / / / / |/| | | | | | | | Properly handle invalid references used together with _slot and _offset. | ||||
| * | | | | | | | More precise error message if using non-variables with _slot/_offset | Alex Beregszaszi | 2018-08-07 | 3 | -4/+8 |
| | | | | | | | | |||||
| * | | | | | | | Properly handle invalid references used together with _slot and _offset. | Alex Beregszaszi | 2018-08-07 | 3 | -0/+12 |
| | | | | | | | | |||||
* | | | | | | | | Merge pull request #4695 from ethereum/test-natspec | chriseth | 2018-08-07 | 1 | -25/+26 |
|\ \ \ \ \ \ \ \ | |/ / / / / / / |/| | | | | | | | Be explicit about which contract to test for in the Natspec tests | ||||
| * | | | | | | | Be explicit about which contract to test for in the Natspec tests | Alex Beregszaszi | 2018-08-06 | 1 | -25/+26 |
| | | | | | | | | |||||
* | | | | | | | | Merge pull request #4724 from ethereum/slot-in-assembly | Alex Beregszaszi | 2018-08-07 | 4 | -0/+24 |
|\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | Do not crash on using _slot and _offset suffixes on their own | ||||
| * | | | | | | | | Do not crash on using _slot and _offset suffixes on their own | Alex Beregszaszi | 2018-08-07 | 4 | -0/+24 |
| | |_|/ / / / / | |/| | | | | | | |||||
* | | | | | | | | Merge pull request #4725 from ethereum/chriseth-patch-1 | Alex Beregszaszi | 2018-08-07 | 1 | -2/+11 |
|\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | Clarify allocation and initial value of free memoy pointer. | ||||
| * | | | | | | | | Clarify allocation and initial value of free memoy pointer. | chriseth | 2018-08-07 | 1 | -2/+11 |
| | | | | | | | | | |||||
* | | | | | | | | | Merge pull request #4592 from asifmallik/fixBackslashBugFinal | Alex Beregszaszi | 2018-08-07 | 2 | -2/+3 |
|\ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | Fix backslash bug | ||||
| * | | | | | | | | | Fix backslash bug | Asif Mallik | 2018-08-07 | 2 | -2/+3 |
| | | | | | | | | | | |||||
* | | | | | | | | | | Merge pull request #4701 from ethereum/removeClone | chriseth | 2018-08-07 | 9 | -122/+3 |
|\ \ \ \ \ \ \ \ \ \ | |_|_|_|_|/ / / / / |/| | | | | | | | | | Remove clone feature. | ||||
| * | | | | | | | | | Remove clone feature. | chriseth | 2018-08-07 | 9 | -122/+3 |
| | |_|/ / / / / / | |/| | | | | | | | |||||
* | | | | | | | | | Merge pull request #4563 from ethereum/codecov-config | chriseth | 2018-08-07 | 2 | -1/+19 |
|\ \ \ \ \ \ \ \ \ | |_|_|/ / / / / / |/| | | | | | | | | Add codecov config | ||||
| * | | | | | | | | Add codecov config | Paweł Bylica | 2018-08-07 | 2 | -1/+19 |
| | | | | | | | | | |||||
* | | | | | | | | | Merge pull request #4719 from elopio/coverage-option | chriseth | 2018-08-07 | 1 | -2/+2 |
|\ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | Update the coverage info message in cmake | ||||
| * | | | | | | | | | Update the coverage info message in cmake | Leo Arias | 2018-08-07 | 1 | -2/+2 |
| | |/ / / / / / / | |/| | | | | | | | |||||
* | | | | | | | | | Merge pull request #4598 from ethereum/issueTemplate | chriseth | 2018-08-07 | 4 | -0/+94 |
|\ \ \ \ \ \ \ \ \ | |/ / / / / / / / |/| | | | | | | | | Add issue template for GitHub | ||||
| * | | | | | | | | Adds issue templates for GitHub. | Erik Kundt | 2018-08-07 | 4 | -0/+94 |
| | |_|_|/ / / / | |/| | | | | | | |||||
* | | | | | | | | Merge pull request #4557 from ethereum/ast-function-fqdn | chriseth | 2018-08-07 | 2 | -11/+2 |
|\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | Properly show constructor/fallback in FunctionDefinition.fullyQualfiedName | ||||
| * | | | | | | | | Move fullyQualifiedName to ContractDefinition only | Alex Beregszaszi | 2018-08-07 | 2 | -11/+2 |
| | | | | | | | | | |||||
* | | | | | | | | | Merge pull request #4694 from ethereum/test-abijson | chriseth | 2018-08-07 | 1 | -31/+31 |
|\ \ \ \ \ \ \ \ \ | |/ / / / / / / / |/| | | | | | | | | Be explicit about which contract to test for in ABIJSON tests | ||||
| * | | | | | | | | Be explicit about which contract to test for in ABIJSON tests | Alex Beregszaszi | 2018-08-06 | 1 | -31/+31 |
| | |_|_|/ / / / | |/| | | | | | | |||||
* | | | | | | | | Merge pull request #4663 from ethereum/dropConstantAST | chriseth | 2018-08-07 | 22 | -54/+1 |
|\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | [BREAKING] Drop constant field from JSON AST | ||||
| * | | | | | | | | Update tests. | Daniel Kirchner | 2018-08-06 | 20 | -48/+0 |
| | | | | | | | | | |||||
| * | | | | | | | | Remove "constant" from JSON AST. | Daniel Kirchner | 2018-08-06 | 2 | -6/+1 |
| | | | | | | | | | |||||
* | | | | | | | | | Merge pull request #3496 from ltfschoen/patch-6 | chriseth | 2018-08-07 | 1 | -5/+63 |
|\ \ \ \ \ \ \ \ \ | |_|_|_|_|/ / / / |/| | | | | | | | | Update Style Guide examples to comply with CapWords requirement for contract and file naming | ||||
| * | | | | | | | | Update style guide with regards to CapWords requirement for contract and ↵ | Luke Schoen | 2018-08-07 | 1 | -5/+63 |
|/ / / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | file naming. | ||||
* | | | | | | | | Merge pull request #4498 from ethereum/faq-reorg-intro | chriseth | 2018-08-06 | 2 | -107/+24 |
|\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | Move intro related FAQ points | ||||
| * | | | | | | | | Move intro related FAQ points | Chris Ward | 2018-08-06 | 2 | -107/+24 |
| | |_|_|_|_|_|/ | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Changes from feedback Changes from review | ||||
* | | | | | | | | Merge pull request #4659 from ethereum/abiv2-fixedbytes | chriseth | 2018-08-06 | 2 | -1/+40 |
|\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | FixedBytes(0) is invalid, do not check for it in ABIEncoderV2 | ||||
| * | | | | | | | | Tests for deriving types for empty string. | chriseth | 2018-08-06 | 1 | -0/+38 |
| | | | | | | | | | |||||
| * | | | | | | | | FixedBytes(0) is invalid, do not check for it in ABIEncoderV2 | Alex Beregszaszi | 2018-08-06 | 1 | -1/+2 |
|/ / / / / / / / | |||||
* | | | | | | | | Merge pull request #4689 from ethereum/cleanup-050-tests | chriseth | 2018-08-06 | 25 | -109/+11 |
|\ \ \ \ \ \ \ \ | |_|_|/ / / / / |/| | | | | | | | Cleanup 0.5.0 test cases | ||||
| * | | | | | | | Remove unused 050 variable in ReferencesResolver | Alex Beregszaszi | 2018-08-06 | 2 | -3/+0 |
| | | | | | | | | |||||
| * | | | | | | | Cleanup 0.5.0 test cases | Alex Beregszaszi | 2018-08-06 | 23 | -106/+11 |
| | | | | | | | | |||||
* | | | | | | | | Merge pull request #4690 from ethereum/equalParameterTypes | Alex Beregszaszi | 2018-08-06 | 5 | -9/+9 |
|\ \ \ \ \ \ \ \ | |_|_|_|/ / / / |/| | | | | | | | Renamed FunctionType::hasEqualArgumentTypes to FunctionType::hasEqual… | ||||
| * | | | | | | | Renamed FunctionType::hasEqualArgumentTypes to ↵ | Jesse Busman | 2018-08-06 | 5 | -9/+9 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | FunctionType::hasEqualParameterTypes | ||||
* | | | | | | | | Merge pull request #4671 from ethereum/mappingTupleAssignment | chriseth | 2018-08-06 | 11 | -17/+179 |
|\ \ \ \ \ \ \ \ | |/ / / / / / / |/| | | | | | | | Disallow assignments to mappings within tuple assignments; allow for local variables. | ||||
| * | | | | | | | Additional semantics test cases. | Daniel Kirchner | 2018-08-03 | 1 | -0/+45 |
| | | | | | | | | |||||
| * | | | | | | | Review suggestions; to be squashed. | Daniel Kirchner | 2018-08-03 | 1 | -8/+10 |
| | | | | | | | | |||||
| * | | | | | | | Allow assignments to local variables of mapping types. | Daniel Kirchner | 2018-08-03 | 7 | -5/+67 |
| | | | | | | | | |||||
| * | | | | | | | Disallow assignments to mappings within tuple assignments. | Daniel Kirchner | 2018-08-03 | 7 | -17/+70 |
| | | | | | | | | |||||
* | | | | | | | | Merge pull request #4595 from ethereum/tests-run-improvements | chriseth | 2018-08-06 | 1 | -15/+59 |
|\ \ \ \ \ \ \ \ | |_|/ / / / / / |/| | | | | | | | fixes tests.sh to not use hard-coded working dir and adds proper cleanup | ||||
| * | | | | | | | fixes tests.sh to not use hard-coded working dir and adds proper cleanup | Christian Parpart | 2018-08-01 | 1 | -15/+59 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Implicitely also allows concurrent runs. * Properly cleanup of any working files created during runtime. * Properly cleanup upon singals. * Allow early-abort during cmdline tests without leaking processes. | ||||
* | | | | | | | | Merge pull request #4602 from hackaugusto/warnings | chriseth | 2018-08-06 | 4 | -18/+21 |
|\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | Added guards for unknown pragmas | ||||
| * | | | | | | | | Added guards for unknown pragmas | Augusto F. Hack | 2018-08-06 | 4 | -18/+21 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Removed push/pop if there was no change to the warnings *in the same file* for a given compiler. This assumes the imported boost headers use a warning stack themselves. The pragmas don't seem to be required anymore, but were not removed to mantain compatibility with older versions of the boost library. Compiled with - clang version 6.0.1 (tags/RELEASE_601/final) - gcc (GCC) 8.1.1 20180531 against: - libboost 1.67.0-5 | ||||
* | | | | | | | | | Merge pull request #4644 from ethereum/event_struct_error | chriseth | 2018-08-06 | 10 | -0/+39 |
|\ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | Disallow structs in events without ABIEncoderV2 | ||||
| * | | | | | | | | | Disallow structs in events without ABIEncoderV2 | Leonardo Alt | 2018-08-03 | 10 | -0/+39 |
| | |_|/ / / / / / | |/| | | | | | | | |||||
* | | | | | | | | | Merge pull request #4681 from ethereum/var-suggestion-crash | chriseth | 2018-08-06 | 2 | -0/+18 |
|\ \ \ \ \ \ \ \ \ | |_|_|_|_|/ / / / |/| | | | | | | | | Fix declaration suggestion for var with different number of components | ||||
| * | | | | | | | | Fix declaration suggestion for var with different number of components | Alex Beregszaszi | 2018-08-04 | 2 | -0/+18 |
| | | | | | | | | | |||||
* | | | | | | | | | Merge pull request #4677 from ethereum/jsonAstTestExtraction | chriseth | 2018-08-06 | 58 | -473/+5054 |
|\ \ \ \ \ \ \ \ \ | |_|_|/ / / / / / |/| | | | | | | | | JSON AST test extraction | ||||
| * | | | | | | | | Extract AST JSON tests. | Daniel Kirchner | 2018-08-04 | 54 | -470/+4753 |
| | | | | | | | | | |||||
| * | | | | | | | | Infrastructure for extracting JSON AST tests. | Daniel Kirchner | 2018-08-04 | 5 | -4/+302 |
| |/ / / / / / / | |||||
* | | | | | | | | Merge pull request #4616 from ethereum/1093-interface-generator | chriseth | 2018-08-04 | 1 | -0/+3 |
|\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | Add interface generator to tools section | ||||
| * | | | | | | | | Add interface generator to tools section | Chris Ward | 2018-07-30 | 1 | -0/+3 |
| | | | | | | | | | |||||
* | | | | | | | | | Merge pull request #4412 from ethereum/v050-reference-resolver-errorTypeForLoose | Christian Parpart | 2018-08-04 | 22 | -275/+38 |
|\ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | [BREAKING] permanently set errorTypeForLoose from Warning to SyntaxError | ||||
| * | | | | | | | | | Drops tests for inline assembly jumps and function access as both isn't ↵ | Christian Parpart | 2018-08-02 | 1 | -46/+0 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | possible anymore. | ||||
| * | | | | | | | | | Drop swap_peephole_optimization test from EndToEndTests | Christian Parpart | 2018-08-02 | 1 | -44/+0 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Already covered by libevmasm/Optimiser: peephole_noncommutative_swap1, peephole_commutative_swap1 and peephole_swap_comparison | ||||
| * | | | | | | | | | Update tests to remove support for loose assembly | Christian Parpart | 2018-08-02 | 10 | -81/+24 |
| | | | | | | | | | | |||||
| * | | | | | | | | | Remove loose assembly features from the documentation | Christian Parpart | 2018-08-02 | 1 | -54/+3 |
| | | | | | | | | | | |||||
| * | | | | | | | | | Disallow loos assembly in Solidity by permanently setting it to SyntaxError ↵ | Christian Parpart | 2018-08-02 | 16 | -56/+17 |
| | |_|_|_|_|_|_|/ | |/| | | | | | | | | | | | | | | | | | | | | | | | | | (from Warning) | ||||
* | | | | | | | | | Merge pull request #4662 from evgeniuz/develop | Alex Beregszaszi | 2018-08-03 | 3 | -10/+61 |
|\ \ \ \ \ \ \ \ \ | |_|_|/ / / / / / |/| | | | | | | | | added helper function that joins vectors of strings | ||||
| * | | | | | | | | added helper function that joins vectors of strings, refactored suggestions ↵ | Evgeniy Filatov | 2018-08-03 | 3 | -10/+61 |
| | |_|_|_|/ / / | |/| | | | | | | | | | | | | | | | | | | | | | | formattingi function to use it | ||||
* | | | | | | | | Merge pull request #4526 from ethereum/docs-address-truncation | Alex Beregszaszi | 2018-08-03 | 1 | -0/+8 |
|\ \ \ \ \ \ \ \ | |_|_|_|/ / / / |/| | | | | | | | Clarify truncation with addresses | ||||
| * | | | | | | | Clarify truncation with addresses | Chris Ward | 2018-08-03 | 1 | -0/+8 |
|/ / / / / / / | |||||
* | | | | | | | Merge pull request #4664 from ethereum/uninitializedStorageReturn | chriseth | 2018-08-03 | 23 | -183/+184 |
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | Turn warning about uninitialized storage returns into an error. | ||||
| * | | | | | | | Turn warning about uninitialized storage returns into an error. | Daniel Kirchner | 2018-08-03 | 23 | -183/+184 |
| |/ / / / / / | |||||
* | | | | | | | Merge pull request #4657 from ethereum/fix-beyond-STL-end-undefined-behavior | chriseth | 2018-08-03 | 1 | -3/+11 |
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | | evmasm/Instruction: fixes undefined behavior of advancing iterator beyond the end of a container. | ||||
| * | | | | | | evmasm/Instruction: fixes undefined behavior of advancing iterator beyond ↵ | Christian Parpart | 2018-08-03 | 1 | -3/+11 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | the end of a container. Usually the STL doesn't check whether or not the developer advances beyond its container's end, but MSVC does (found out by running soltest in debug mode on Win32 / VS2017). | ||||
* | | | | | | | Merge pull request #4327 from ethereum/document-internals | chriseth | 2018-08-02 | 3 | -2/+19 |
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | Properly explain all the analsys steps in CompilerStack | ||||
| * | | | | | | | Properly explain all the analsys steps in CompilerStack | Alex Beregszaszi | 2018-07-31 | 3 | -2/+19 |
| | |_|_|/ / / | |/| | | | | | |||||
* | | | | | | | Merge pull request #4522 from ethereum/fullEncodingType | chriseth | 2018-08-02 | 5 | -42/+37 |
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | Isolate determining the encoding type into its own function. | ||||
| * | | | | | | | Isolate determining the encoding type into its own function. | chriseth | 2018-08-01 | 5 | -42/+37 |
| | | | | | | | | |||||
* | | | | | | | | Merge pull request #4560 from ethereum/cmake-policy | Alex Beregszaszi | 2018-08-02 | 2 | -25/+6 |
|\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | CMake policies | ||||
| * | | | | | | | | CMake: Better policy availability checking | Paweł Bylica | 2018-07-24 | 1 | -13/+6 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | It's better to use if(POLICY ...) and we don't have to check for CMake 3.0 because this is the minimal required version. | ||||
| * | | | | | | | | CMake: Set CMP0043 to NEW | Paweł Bylica | 2018-07-24 | 1 | -3/+2 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This avoids warning in CMake 3.0.2 | ||||
| * | | | | | | | | CMake: Set CMP0042 to NEW | Paweł Bylica | 2018-07-24 | 1 | -2/+1 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This should not affect solidity, but with this setting all supported CMake version will use NEW policy are will be allowed to use RPATH on macOS. | ||||
| * | | | | | | | | CMake: Do not set CMP0020 because it's about Qt | Paweł Bylica | 2018-07-24 | 1 | -3/+0 |
| | | | | | | | | | |||||
| * | | | | | | | | CMake: Do not use non-existing sanitizer blacklist | Paweł Bylica | 2018-07-24 | 1 | -3/+0 |
| | | | | | | | | | |||||
| * | | | | | | | | CMake: Drop policy CMP0028 OLD | Paweł Bylica | 2018-07-24 | 1 | -4/+0 |
| | | | | | | | | | |||||
* | | | | | | | | | Merge pull request #4584 from dylanjw/update-abi-event-doc | chriseth | 2018-08-02 | 1 | -1/+1 |
|\ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | Update doc referencing packed mode encoding for dynamic typed topic args | ||||
| * | | | | | | | | | Update doc referencing packed mode encoding for dynamic typed topic args | Dylan Wilson | 2018-07-26 | 1 | -1/+1 |
| | | | | | | | | | | |||||
* | | | | | | | | | | Merge pull request #4600 from sifmelcara/tab-size | chriseth | 2018-08-02 | 1 | -0/+1 |
|\ \ \ \ \ \ \ \ \ \ | |_|_|_|_|/ / / / / |/| | | | | | | | | | Set tab size specified in .editorconfig to 4 | ||||
| * | | | | | | | | | Set tab size specified in .editorconfig to 4 | mingchuan | 2018-07-27 | 1 | -0/+1 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This make tabs appear as 4 spaces on GitHub | ||||
* | | | | | | | | | | Merge pull request #4654 from ethereum/license | chriseth | 2018-08-02 | 1 | -0/+31 |
|\ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | Include license header from code derived from V8 (scanner/token) | ||||
| * | | | | | | | | | | Include license header from code derived from V8 (scanner/token) | Alex Beregszaszi | 2018-08-02 | 1 | -0/+31 |
| | | | | | | | | | | | |||||
* | | | | | | | | | | | Merge pull request #4656 from ethereum/chriseth-patch-1 | chriseth | 2018-08-02 | 1 | -3/+4 |
|\ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|/ / / / |/| | | | | | | | | | | Add "Changelog entry" to pull request template | ||||
| * | | | | | | | | | | Add "Changelog entry" to pull requset template | chriseth | 2018-08-02 | 1 | -3/+4 |
|/ / / / / / / / / / | |||||
* | | | | | | | | | | Merge pull request #4603 from ethereum/smtlib2 | Alex Beregszaszi | 2018-08-02 | 4 | -18/+44 |
|\ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / |/| | | | | | | | | | [SMTLib2] Fix repeated declarations | ||||
| * | | | | | | | | | Remove repeated declarations in Z3 and CVC4 as well | Leonardo Alt | 2018-08-01 | 2 | -7/+15 |
| | | | | | | | | | | |||||
| * | | | | | | | | | [SMTLib2] Fix repeated declarations | Leonardo Alt | 2018-07-28 | 2 | -11/+29 |
| | | | | | | | | | | |||||
* | | | | | | | | | | Merge pull request #4646 from ethereum/smt_model_secondary_location | Alex Beregszaszi | 2018-08-02 | 2 | -7/+15 |
|\ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | SMT model is sorted and printed as secondary location | ||||
| * | | | | | | | | | | SMT model variables are sorted and printed as secondary source location | Leonardo Alt | 2018-08-02 | 2 | -4/+12 |
| | | | | | | | | | | | |||||
| * | | | | | | | | | | Replace "value" by "<result>" in the SMT model | Leonardo Alt | 2018-08-02 | 1 | -3/+3 |
| | | | | | | | | | | | |||||
* | | | | | | | | | | | Merge pull request #4650 from ethereum/conduct | Alex Beregszaszi | 2018-08-02 | 1 | -1/+1 |
|\ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | Point the documentation to the new Code of Conduct URL | ||||
| * | | | | | | | | | | | Point the documentation to the new Code of Conduct URL | Alex Beregszaszi | 2018-08-02 | 1 | -1/+1 |
| | | | | | | | | | | | | |||||
* | | | | | | | | | | | | Merge pull request #4649 from ethereum/conduct | Alex Beregszaszi | 2018-08-02 | 1 | -0/+0 |
|\| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Rename CONDUCT.md to CODE_OF_CONDUCT.md so that Github picks it up | ||||
| * | | | | | | | | | | | Rename CONDUCT.md to CODE_OF_CONDUCT.md so that Github picks it up | Alex Beregszaszi | 2018-08-02 | 1 | -0/+0 |
|/ / / / / / / / / / / | |||||
* | | | | | | | | | | | Merge pull request #4399 from ethereum/contractWhitespace | Alex Beregszaszi | 2018-08-02 | 43 | -792/+792 |
|\ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / |/| | | | | | | | | | | Remove trailing whitespace in all contract files. | ||||
| * | | | | | | | | | | Remove trailing whitespace in all contract files. | Daniel Kirchner | 2018-08-02 | 43 | -792/+792 |
| | | | | | | | | | | | |||||
* | | | | | | | | | | | Merge pull request #4508 from ethereum/nameCollisionCrash | Alex Beregszaszi | 2018-08-02 | 9 | -12/+44 |
|\ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / |/| | | | | | | | | | | [BREAKING] Don't exclude public state variables when looking for conflicting declarations. | ||||
| * | | | | | | | | | | Extend code comment about signatures. | Daniel Kirchner | 2018-08-01 | 1 | -1/+2 |
| | | | | | | | | | | | |||||
| * | | | | | | | | | | Add additional test cases. | Daniel Kirchner | 2018-08-01 | 2 | -0/+10 |
| | | | | | | | | | | | |||||
| * | | | | | | | | | | Update documentation. | Daniel Kirchner | 2018-08-01 | 1 | -4/+4 |
| | | | | | | | | | | | |||||
| * | | | | | | | | | | Do not exclude public state variables when looking for conflicting declarations. | Daniel Kirchner | 2018-08-01 | 6 | -8/+29 |
| | | | | | | | | | | | |||||
* | | | | | | | | | | | Merge pull request #4639 from ethereum/docs-fix-specify-limit | Alex Beregszaszi | 2018-08-01 | 3 | -3/+6 |
|\ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / |/| | | | | | | | | | | Small clarifications around the 2300 gas stipend from transfer and send | ||||
| * | | | | | | | | | | Small clarifications around the 2300 gas stipend from transfer and send | Chris Ward | 2018-08-01 | 3 | -3/+6 |
| | | | | | | | | | | | |||||
* | | | | | | | | | | | Merge pull request #4378 from ethereum/noBaseWithoutArguments | Alex Beregszaszi | 2018-08-01 | 4 | -18/+18 |
|\ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | [BREAKING] Disallow calling base constructors without arguments. | ||||
| * | | | | | | | | | | | Correctly determine whether base constructor is called without parentheses. | chriseth | 2018-08-01 | 2 | -11/+20 |
| | | | | | | | | | | | | |||||
| * | | | | | | | | | | | Disallow calling base constructors without arguments. | chriseth | 2018-08-01 | 3 | -15/+6 |
| | |_|_|_|_|/ / / / / | |/| | | | | | | | | | |||||
* | | | | | | | | | | | Merge pull request #4631 from ethereum/cp-cycle-detection-recursion-guard | Alex Beregszaszi | 2018-08-01 | 9 | -6/+806 |
|\ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / |/| | | | | | | | | | | Guard CycleDetector against recursion exhaustion. | ||||
| * | | | | | | | | | | Adds positive/negative tests for checking error on cyclic dependency checker ↵ | Christian Parpart | 2018-08-01 | 4 | -0/+791 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | exhaustion | ||||
| * | | | | | | | | | | Guard CycleDetector against recursion exhaustion. | Christian Parpart | 2018-08-01 | 5 | -6/+15 |
|/ / / / / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | fixes #3935. | ||||
* | | | | | | | | | | Merge pull request #4321 from ethereum/contractConversion | Alex Beregszaszi | 2018-08-01 | 31 | -50/+134 |
|\ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | [BREAKING] Disallow conversion between unrelated contract types. | ||||
| * | | | | | | | | | | Fix tests regarding contract type conversion. | chriseth | 2018-08-01 | 18 | -36/+37 |
| | | | | | | | | | | | |||||
| * | | | | | | | | | | Disallow conversion between unrelated contract types. | chriseth | 2018-08-01 | 16 | -16/+99 |
|/ / / / / / / / / / | |||||
* | | | | | | | | | | Merge pull request #4507 from ethereum/v050-var-keyword-trace-removals | Alex Beregszaszi | 2018-08-01 | 6 | -2/+59 |
|\ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / |/| | | | | | | | | | Ensures an empty use of var keyword is caught with the proper non-fatal error message | ||||
| * | | | | | | | | | Ensures an empty use of var keyword is caught with the proper error message. | Christian Parpart | 2018-08-01 | 6 | -2/+59 |
| | | | | | | | | | | |||||
* | | | | | | | | | | Merge pull request #4626 from ethereum/grammar-cleanup | Alex Beregszaszi | 2018-07-31 | 1 | -1/+0 |
|\ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | grammar: remove stray IdentifierList rule | ||||
| * | | | | | | | | | | grammar: remove stray IdentifierList rule | Alex Beregszaszi | 2018-07-31 | 1 | -1/+0 |
| | |_|_|_|_|/ / / / | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | This was left in #4274 (dbd0723) | ||||
* | | | | | | | | | | Merge pull request #4625 from ethereum/pragma-cleanup | Alex Beregszaszi | 2018-07-31 | 6 | -20/+12 |
|\ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | Remove unnecessary or stray version pragmas | ||||
| * | | | | | | | | | | Replace stray solidity pragma with progamatically inserting it in ↵ | Alex Beregszaszi | 2018-07-31 | 1 | -4/+2 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | SolidityOptimizer test | ||||
| * | | | | | | | | | | Remove unnecesary version pragma from some syntax tests | Alex Beregszaszi | 2018-07-31 | 5 | -16/+10 |
| |/ / / / / / / / / | |||||
* | | | | | | | | | | Merge pull request #4621 from ethereum/nested_types | Alex Beregszaszi | 2018-07-31 | 9 | -12/+38 |
|\ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / |/| | | | | | | | | | Fix crash when FunctionType has undeclared type as parameter | ||||
| * | | | | | | | | | Fix crash when FunctionType has undeclared type as parameter | Leonardo Alt | 2018-07-31 | 9 | -12/+38 |
|/ / / / / / / / / | |||||
* | | | | | | | | | Merge pull request #4569 from ethereum/grammar-assembly | chriseth | 2018-07-30 | 1 | -3/+4 |
|\ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | Update grammar.txt for inline assembly | ||||
| * | | | | | | | | | grammar: rename AssemblyLocalBinding to AssemblyVariableDeclaration | Alex Beregszaszi | 2018-07-25 | 1 | -2/+2 |
| | | | | | | | | | | |||||
| * | | | | | | | | | grammar: introduce AssemblyExpression and use it in Assignment/LocalBinding | Alex Beregszaszi | 2018-07-25 | 1 | -2/+3 |
| | | | | | | | | | | |||||
| * | | | | | | | | | grammar: support all assignment stataments in inline assembly | Alex Beregszaszi | 2018-07-25 | 1 | -1/+1 |
| | |_|_|_|_|_|/ / | |/| | | | | | | | |||||
* | | | | | | | | | Merge pull request #4608 from ethereum/lll-namespace | chriseth | 2018-07-30 | 15 | -30/+33 |
|\ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | Replace dev::eth namespace with dev::lll in LLL | ||||
| * | | | | | | | | | Add --disassemble to lllc help output | Alex Beregszaszi | 2018-07-28 | 1 | -0/+1 |
| | | | | | | | | | | |||||
| * | | | | | | | | | Replace dev::eth namespace with dev::lll in LLL | Alex Beregszaszi | 2018-07-28 | 15 | -30/+32 |
| | |_|_|_|_|_|/ / | |/| | | | | | | | |||||
* | | | | | | | | | Merge pull request #4619 from ethereum/2167-docs-memory-type | Alex Beregszaszi | 2018-07-30 | 2 | -2/+4 |
|\ \ \ \ \ \ \ \ \ | |/ / / / / / / / |/| | | | | | | | | Clarify what ‘memory type’ is | ||||
| * | | | | | | | | Clarify what ‘memory type’ is | Chris Ward | 2018-07-30 | 2 | -2/+4 |
|/ / / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | Use RST links | ||||
* | | | | | | | | Merge pull request #4606 from ethereum/smtportfolio | Alex Beregszaszi | 2018-07-28 | 1 | -0/+1 |
|\ \ \ \ \ \ \ \ | |_|_|/ / / / / |/| | | | | | | | Import dev::solidity namespace in SMTPortfolio | ||||
| * | | | | | | | Import dev::solidity namespace in SMTPortfolio | Alex Beregszaszi | 2018-07-28 | 1 | -0/+1 |
|/ / / / / / / | |||||
* | | | | | | | Merge pull request #4604 from ethereum/smtlib-typo | Alex Beregszaszi | 2018-07-28 | 1 | -1/+1 |
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | Fix unterminated parentheses typo in SMTLib2 | ||||
| * | | | | | | | Fix unterminated parentheses typo in SMTLib2 | Alex Beregszaszi | 2018-07-28 | 1 | -1/+1 |
|/ / / / / / / | | | | | | | | | | | | | | | | | | | | | | Found by @leonardoalt | ||||
* | | | | | | | Merge pull request #4351 from ethereum/smt_portfolio | Alex Beregszaszi | 2018-07-28 | 11 | -59/+269 |
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | [SMTChecker] SMTPortfolio: use all SMT solvers available | ||||
| * | | | | | | | [SMTChecker] Add CheckResult::CONFLICTING | Leonardo Alt | 2018-07-27 | 3 | -4/+10 |
| | | | | | | | | |||||
| * | | | | | | | [SMTChecker] SMTPortfolio: use all SMT solvers available | Leonardo Alt | 2018-07-27 | 11 | -58/+262 |
|/ / / / / / / | |||||
* | | | | | | | Merge pull request #4593 from ethereum/smt_timeout | Alex Beregszaszi | 2018-07-27 | 3 | -1/+8 |
|\ \ \ \ \ \ \ | |_|_|/ / / / |/| | | | | | | Set query timeout in SMT | ||||
| * | | | | | | Setting timeout to Z3 and CVC4 | Leonardo Alt | 2018-07-27 | 3 | -1/+8 |
|/ / / / / / | |||||
* | | | | | | Merge pull request #4599 from ethereum/smt_sat_model | Alex Beregszaszi | 2018-07-27 | 3 | -3/+3 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | SMTChecker: Only ask for a model if it's SAT | ||||
| * | | | | | | Only ask for a model if it's SAT | Leonardo Alt | 2018-07-27 | 3 | -3/+3 |
|/ / / / / / | |||||
* | | | | | | Merge pull request #4594 from ethereum/fix-build-for-paths-with-spaces | Alex Beregszaszi | 2018-07-27 | 1 | -1/+1 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Fixes building Solidity when base directory contains spaces. | ||||
| * | | | | | | Fixes building Solidity when base directory contains spaces. | Christian Parpart | 2018-07-27 | 1 | -1/+1 |
|/ / / / / / | | | | | | | | | | | | | | | | | | | closes #4521 | ||||
* | | | | | | Merge pull request #4556 from ethereum/library-data-locations | Alex Beregszaszi | 2018-07-26 | 6 | -0/+22 |
|\ \ \ \ \ \ | |_|_|/ / / |/| | | | | | Add tests for data locations within libraries | ||||
| * | | | | | Add tests for data locations within libraries | Alex Beregszaszi | 2018-07-25 | 6 | -0/+22 |
| | | | | | | |||||
* | | | | | | Merge pull request #4561 from ethereum/scanner-tests | Alex Beregszaszi | 2018-07-26 | 1 | -1/+18 |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Add comprehensive tests for the scanner | ||||
| * | | | | | | Scanner tests for all shifts | Alex Beregszaszi | 2018-07-25 | 1 | -1/+10 |
| | | | | | | | |||||
| * | | | | | | Scanner tests for all escapes | Alex Beregszaszi | 2018-07-25 | 1 | -0/+8 |
| | | | | | | | |||||
* | | | | | | | Merge pull request #4562 from ethereum/parser-tests | Alex Beregszaszi | 2018-07-25 | 12 | -0/+61 |
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | Add comprehensive tests for the parser | ||||
| * | | | | | | | Add syntax tests for import statements | Alex Beregszaszi | 2018-07-25 | 5 | -0/+15 |
| | | | | | | | | |||||
| * | | | | | | | Add syntax test for illegal pragma key | Alex Beregszaszi | 2018-07-25 | 1 | -0/+4 |
| | | | | | | | | |||||
| * | | | | | | | Add syntax test for location specifier redeclarations | Alex Beregszaszi | 2018-07-25 | 3 | -0/+23 |
| | | | | | | | | |||||
| * | | | | | | | Add syntax test for empty emit statement | Alex Beregszaszi | 2018-07-25 | 1 | -0/+7 |
| | | | | | | | | |||||
| * | | | | | | | Add syntax tests for assembly block type (evmasm) | Alex Beregszaszi | 2018-07-25 | 2 | -0/+12 |
| | |/ / / / / | |/| | | | | | |||||
* | | | | | | | Merge pull request #4545 from ethereum/stringutils | Alex Beregszaszi | 2018-07-25 | 1 | -97/+103 |
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | Update stringutils to upstream | ||||
| * | | | | | | | Fix upstream issues in stringutils | Alex Beregszaszi | 2018-07-25 | 1 | -1/+1 |
| | | | | | | | | |||||
| * | | | | | | | Update stringutils to upstream 3c63f18 | Alex Beregszaszi | 2018-07-25 | 1 | -98/+104 |
|/ / / / / / / | |||||
* | | | | | | | Merge pull request #4555 from ethereum/asm-syntax-tests | Alex Beregszaszi | 2018-07-25 | 12 | -0/+134 |
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | Add more comprehensive tests for embedded inline assembly LValue/RValue access | ||||
| * | | | | | | | Add more tests for inlineasm/AsmAnalyzer | Alex Beregszaszi | 2018-07-25 | 5 | -0/+60 |
| | | | | | | | | |||||
| * | | | | | | | Add more comprehensive tests for embedded inline assembly LValue/RValue access | Alex Beregszaszi | 2018-07-25 | 7 | -0/+74 |
| |/ / / / / / | |||||
* | | | | | | | Merge pull request #4549 from ethereum/deprecate-abi | Alex Beregszaszi | 2018-07-25 | 1 | -5/+9 |
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | | | Mention that constant and payable are deprecated in the ABI spec | ||||
| * | | | | | | Mention that constant and payable are deprecated in the ABI spec | Alex Beregszaszi | 2018-07-25 | 1 | -0/+3 |
| | | | | | | | |||||
| * | | | | | | Clarify relation between stateMutability and payable/constant | Alex Beregszaszi | 2018-07-25 | 1 | -5/+6 |
|/ / / / / / | |||||
* | | | | | | Merge pull request #4565 from ethereum/smt-stringutils-crash | Alex Beregszaszi | 2018-07-25 | 1 | -1/+9 |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | Add assert for both branches in mergeVariables in SMTChecker | ||||
| * | | | | | Add better warning on binary operation on non-integer types in SMT Checker | Alex Beregszaszi | 2018-07-25 | 1 | -1/+8 |
| | | | | | | |||||
| * | | | | | Add assert for both branches in mergeVariables in SMTChecker | Alex Beregszaszi | 2018-07-25 | 1 | -0/+1 |
| |/ / / / | |||||
* | | | | | Merge pull request #4572 from ethereum/cmake-boost-tests | Alex Beregszaszi | 2018-07-25 | 1 | -1/+1 |
|\ \ \ \ \ | | | | | | | | | | | | | Do not include single-header boost_unit_test | ||||
| * | | | | | Do not include single-header boost_unit_test | Paweł Bylica | 2018-07-25 | 1 | -1/+1 |
| |/ / / / | | | | | | | | | | | | | | | | | | | | | | | | | | Do not mix 2 different usage variants of boost_unit_test. If you link with static libs do not include the single-header variant. See https://www.boost.org/doc/libs/1_67_0/libs/test/doc/html/boost_test/usage_variants.html#boost_test.usage_variants.single_header | ||||
* | | | | | Merge pull request #4554 from ethereum/indexing-tests | Alex Beregszaszi | 2018-07-25 | 6 | -0/+46 |
|\ \ \ \ \ | | | | | | | | | | | | | Add comprehensive syntax tests for indexed access | ||||
| * | | | | | Add comprehensive syntax tests for indexed access | Alex Beregszaszi | 2018-07-25 | 6 | -0/+46 |
| |/ / / / | |||||
* | | | | | Merge pull request #4570 from ethereum/cleanup-catch-statements | Alex Beregszaszi | 2018-07-25 | 3 | -4/+4 |
|\ \ \ \ \ | |/ / / / |/| | | | | More consistent catch statements | ||||
| * | | | | More consistent catch statements | Alex Beregszaszi | 2018-07-25 | 3 | -4/+4 |
|/ / / / | | | | | | | | | | | | | Also take const& in all cases. | ||||
* | | | | Merge pull request #4553 from ethereum/pragma-tests | Alex Beregszaszi | 2018-07-25 | 2 | -0/+6 |
|\ \ \ \ | | | | | | | | | | | Add syntax tests for unknown / invalid pragma | ||||
| * | | | | Add syntax tests for unknown / invalid pragma | Alex Beregszaszi | 2018-07-25 | 2 | -0/+6 |
|/ / / / | |||||
* | | | | Merge pull request #4544 from ethereum/code-coverage | Alex Beregszaszi | 2018-07-25 | 2 | -18/+34 |
|\ \ \ \ | |_|/ / |/| | | | Code coverage | ||||
| * | | | Circle CI: Upload coverage data | Paweł Bylica | 2018-07-24 | 1 | -2/+13 |
| | | | | |||||
| * | | | CMake: Add option COVERAGE | Paweł Bylica | 2018-07-24 | 1 | -15/+17 |
| | | | | | | | | | | | | | | | | This also removed PROFILE option that also adds --coverage flag. Instead you can use -DCMAKE_EXE_LINKER_FLAGS=-lprofiler. The profiling options can be added back when better investigated (e.g. -lprofiler vs -pg options). | ||||
| * | | | Circle CI: Add full build dir to the workspace on Linux | Paweł Bylica | 2018-07-24 | 1 | -1/+4 |
|/ / / | |||||
* | | | Merge pull request #4550 from ethereum/fix_abidecode_comment | Alex Beregszaszi | 2018-07-24 | 1 | -3/+3 |
|\ \ \ | | | | | | | | | Fix abiDecode comment | ||||
| * | | | Fix abiDecode comment | Leonardo Alt | 2018-07-24 | 1 | -3/+3 |
|/ / / | |||||
* | | | Merge pull request #4527 from ethereum/mappingEnforceStorage | Alex Beregszaszi | 2018-07-24 | 11 | -11/+46 |
|\ \ \ | | | | | | | | | Enforces explicit data location for mappings |