aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Explains test structure and update mechanism more detailed.Erik Kundt2018-03-271-3/+20
|
* Updates "How to contribute"Erik Kundt2018-03-221-0/+62
| | | Adds detailed description of the new syntax test tool.
* Merge pull request #3751 from ethereum/syntaxTestsExtensionschriseth2018-03-163-2/+13
|\ | | | | Only consider files ending with .sol and not starting with ~ in synta…
| * Only consider files ending with .sol and not starting with ~ in syntax tests.Daniel Kirchner2018-03-163-2/+13
|/
* Merge pull request #3709 from ethereum/syntaxTestsInteractiveToolchriseth2018-03-168-16/+536
|\ | | | | Interactive syntax test tool.
| * Only colour error type, not error message in isoltest.Daniel Kirchner2018-03-151-10/+16
| |
| * Add interactive test tool isoltest.Daniel Kirchner2018-03-155-0/+407
| |
| * Add formatted printing to SyntaxTest and expand its public interface.Daniel Kirchner2018-03-153-16/+123
| |
* | Merge pull request #3740 from DanielMReed/patch-1chriseth2018-03-151-1/+1
|\ \ | | | | | | Fix Typo in changelog.md
| * | Fix Typo in changelog.mdDaniel R2018-03-151-1/+1
|/ /
* | Merge pull request #3614 from ethereum/notestsOnTravisAlex Beregszaszi2018-03-151-0/+1
|\ \ | |/ |/| Disable tests for travis on non-release and non-tag branches.
| * Disable tests for travis on non-release and non-tag branches.chriseth2018-02-271-0/+1
| |
* | Merge pull request #3724 from ethereum/externalFunctionsInLibrarieschriseth2018-03-155-3/+34
|\ \ | | | | | | Make external library functions accessible.
| * \ Merge branch 'develop' into externalFunctionsInLibrarieschriseth2018-03-1543-48/+213
| |\ \ | |/ / |/| |
* | | Merge pull request #3734 from ethereum/soltestOptionschriseth2018-03-1533-39/+51
|\ \ \ | | | | | | | | test: Rename test/TestHelper.* to test/Options.* and add Options::val…
| * | | test: Rename test/TestHelper.* to test/Options.* and add Options::validate().Daniel Kirchner2018-03-1433-39/+51
| | | |
* | | | Merge pull request #3725 from ethereum/blockhashNoCallchriseth2018-03-153-0/+21
|\ \ \ \ | | | | | | | | | | Allow ``block.blockhash`` without it being called.
| * | | | Allow ``block.blockhash`` without being called.chriseth2018-03-143-0/+21
| | | | |
* | | | | Merge pull request #3722 from ethereum/fixModsAlex Beregszaszi2018-03-156-5/+83
|\ \ \ \ \ | | | | | | | | | | | | Fix modifier lookup in libraries.
| * | | | | Tests.chriseth2018-03-131-0/+52
| | | | | |
| * | | | | Changelog entry.chriseth2018-03-132-0/+15
| | | | | |
| * | | | | Bugfix in virtual lookup for modifiers in libraries.chriseth2018-03-133-5/+16
| | | | | |
* | | | | | Merge pull request #3730 from ethereum/docstringBugchriseth2018-03-143-7/+10
|\ \ \ \ \ \ | |_|_|/ / / |/| | | | | DocStringParser: Fix error message for empty parameter description.
| * | | | | DocStringParser: Add Changelog entry and test case for empty descriptions.Daniel Kirchner2018-03-142-0/+7
| | | | | |
| * | | | | DocStringParser: Fix error message for empty parameter description.Daniel Kirchner2018-03-141-7/+3
| | | | | |
* | | | | | Merge pull request #3731 from ethereum/errorNoTestPathchriseth2018-03-141-0/+4
|\ \ \ \ \ \ | |/ / / / / |/| | | | | soltest: force the use of the --testpath option for soltest with an e…
| * | | | | soltest: force the use of the --testpath option for soltest with an explicit ↵Daniel Kirchner2018-03-141-0/+4
|/ / / / / | | | | | | | | | | | | | | | error.
* | | | | Merge pull request #3726 from ethereum/syntaxTestsFilenameFixchriseth2018-03-141-1/+5
|\ \ \ \ \ | |_|/ / / |/| | | | Store filenames in static variable to guarantee sufficient lifetime.
| * | | | Store filenames in static variable to guarantee sufficient lifetime.Daniel Kirchner2018-03-141-1/+5
|/ / / /
* | | | Merge pull request #3719 from ethereum/soltestScriptchriseth2018-03-141-0/+43
|\ \ \ \ | |/ / / |/| | | Add soltest.sh script that invokes soltest with the correct --testpath.
| * | | Add soltest.sh script that invokes soltest with the correct --testpath.Daniel Kirchner2018-03-131-0/+43
| | | |
| | * | Make external library functions accessible.chriseth2018-03-145-2/+33
| |/ / |/| |
* | | Merge pull request #3720 from yosyp/developchriseth2018-03-131-1/+1
|\ \ \ | |/ / |/| | Updated link for "try Solidity in your browser"
| * | Updated link for "try Solidity in your browser"Yosyp Schwab2018-03-131-1/+1
| | | | | | | | | | | | | | | | | | Previous link leads to a page with a model warning: _The Remix IDE has moved to http://remix.ethereum.org. This instance of Remix you are visiting WILL NOT BE UPDATED. Please make a backup of your contracts and start using http://remix.ethereum.org_ Updated link to point to http://remix.ethereum.org
* | | Merge pull request #3707 from ethereum/syntaxTestsTestRunnerchriseth2018-03-1314-59/+348
|\ \ \ | | | | | | | | Infrastructure for extracting syntax tests.
| * | | Minor adjustments.Daniel Kirchner2018-03-131-4/+4
| | | |
| * | | Refactoring; fuse SyntaxTestParser and SyntaxTester to SyntaxTest.Daniel Kirchner2018-03-138-314/+258
| | | |
| * | | Workaround for boost < 1.59.0Daniel Kirchner2018-03-131-0/+13
| | | |
| * | | Infrastructure for extracting syntax tests in separate test files.Daniel Kirchner2018-03-1315-55/+387
|/ / /
* | | Merge pull request #3647 from leonardoalt/smt_boolchriseth2018-03-1311-36/+318
|\ \ \ | |/ / |/| | [SMTChecker] Support to Bool variables
| * | [SMTChecker_Bool] Fix PR review comments: method renaming and solAssertLeonardo Alt2018-03-133-16/+17
| | |
| * | [SMTChecker_Bool] Fix PR comments; Add support to gt, ge, lt, le. and tests.Leonardo Alt2018-03-1311-41/+125
| | |
| * | [SMTChecker] Support to Bool variablesLeonardo Alt2018-03-137-8/+205
|/ /
* | Merge pull request #3708 from ethereum/moveTestToolschriseth2018-03-136-10/+30
|\ \ | | | | | | Move test tools to the subdirectory test/tools and adjust CMakeLists
| * | Move test tools to the subdirectory test/tools and adjust CMakeLists.txt.Daniel Kirchner2018-03-136-10/+30
| | |
* | | Merge pull request #3713 from ethereum/version-constantinoplechriseth2018-03-133-4/+5
|\ \ \ | | | | | | | | Support constantinople in evm-version
| * | | Support constantinople in evm-versionAlex Beregszaszi2018-03-133-4/+5
|/ / /
* | | Merge pull request #3706 from ethereum/releaseStepDocsAlex Beregszaszi2018-03-121-0/+1
|\ \ \ | | | | | | | | New release step.
| * | | New release step.chriseth2018-03-121-0/+1
| |/ /
* | | Merge pull request #3702 from solidity-korea/developchriseth2018-03-121-0/+1
|\ \ \ | | | | | | | | Add Korean to Translations
| * | | Add Korean to Translationdongsamb2018-03-101-0/+1
| | | |
* | | | Noted `suicide` is deprecated (#3692)wbt2018-03-122-2/+2
| | | | | | | | | | | | According to the [changelog](https://github.com/ethereum/solidity/blob/b5e804b8caba0cc84514898323df91a025705177/Changelog.md), `suicide` was deprecated before 0.4.3 (after 0.2.0) and warning by 0.4.17.
* | | | Merge pull request #3697 from ethereum/fixAvoidStorageClearLoopAlex Beregszaszi2018-03-122-2/+3
|\ \ \ \ | |_|/ / |/| | | Properly skip cleanup if only enlarging storage array.
| * | | Properly skip cleanup if only enlarging storage array.chriseth2018-03-092-2/+3
|/ / /
* | | Merge pull request #3683 from grzegorzszczecin/fix_docchriseth2018-03-081-1/+1
|\ \ \ | | | | | | | | Fix a typo.
| * | | Fix a typo.Grzegorz Hasse2018-03-081-1/+1
| | | |
* | | | Merge pull request #3685 from ethereum/releasechriseth2018-03-080-0/+0
|\ \ \ \ | |/ / / |/| | | Merge release back into develop.
| * | | Merge pull request #3678 from ethereum/developchriseth2018-03-08144-1226/+4718
| |\ \ \ | | | | | | | | | | Merge develop into release.
* | \ \ \ Merge pull request #3679 from ethereum/updateVersionchriseth2018-03-082-1/+10
|\ \ \ \ \ | |_|/ / / |/| | | | Set version to 0.4.22.
| * | | | Set version to 0.4.22.chriseth2018-03-082-1/+10
|/ / / /
* | | | Merge pull request #3677 from ethereum/prepareForReleasechriseth2018-03-082-4/+8
|\ \ \ \ | | | | | | | | | | Update changelog for release.
| * | | | Update changelog for release.chriseth2018-03-082-4/+8
|/ / / /
* | | | Merge pull request #3634 from ethereum/useCorrectVersionForEmitchriseth2018-03-084-6/+6
|\ \ \ \ | | | | | | | | | | Use 0.4.21 pragma for documentation that uses "emit".
| * | | | Use 0.4.21 pragma for documentation that uses "emit".chriseth2018-03-024-6/+6
| | |/ / | |/| |
* | | | Merge pull request #3661 from ethereum/chriseth-patch-1Alex Beregszaszi2018-03-071-1/+1
|\ \ \ \ | | | | | | | | | | Update Changelog.md
| * | | | Clarify that the experimental flag is not set for "experimental 0.5.0"chriseth2018-03-071-1/+1
|/ / / /
* | | | Merge pull request #3668 from ethereum/fixExperimentalTestchriseth2018-03-071-1/+1
|\ \ \ \ | | | | | | | | | | Fix test.
| * | | | Fix test.chriseth2018-03-071-1/+1
|/ / / /
* | | | Some words on Remixankit raj2018-03-071-1/+3
| | | |
* | | | Merge pull request #3611 from ethereum/warn-using-address-overloadAlex Beregszaszi2018-03-074-11/+185
|\ \ \ \ | | | | | | | | | | Warn if using address overloads on contracts
| * | | | Assert that address members are not present on contract types in 0.5.0.chriseth2018-03-051-0/+4
| | | | |
| * | | | Warn if using address overloads on contractsAlex Beregszaszi2018-03-054-11/+181
| | | | |
* | | | | Merge pull request #3664 from ethereum/literalsHexUnitSmallFixchriseth2018-03-071-2/+2
|\ \ \ \ \ | | | | | | | | | | | | Use double quotes for suggestion about hex literals and denominations.
| * | | | | Use double quotes for suggestion about hex literals and denominations.Daniel Kirchner2018-03-071-2/+2
| | | | | |
* | | | | | Merge pull request #3527 from ethereum/warnLooseAsmAlex Beregszaszi2018-03-0710-14/+258
|\ \ \ \ \ \ | | | | | | | | | | | | | | Warn about using loose assembly.
| * | | | | | Changelog entry.chriseth2018-03-071-0/+1
| | | | | | |
| * | | | | | 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-078-10/+65
| |/ / / / /
* | | | | | Merge pull request #3663 from ethereum/gasleftEmscriptenchriseth2018-03-071-0/+1
|\ \ \ \ \ \ | |/ / / / / |/| | | | | Add gasleft to FunctionType::richIdentifier().
| * | | | | Add gasleft to FunctionType::richIdentifier().Daniel Kirchner2018-03-071-0/+1
| | | | | |
* | | | | | Merge pull request #2966 from ethereum/useStaticCallAlex Beregszaszi2018-03-075-7/+88
|\ \ \ \ \ \ | |/ / / / / |/| | | | | Use STATICCALL for pure function calls.
| * | | | | Document STATICCALL usage in experimental 0.5.0.chriseth2018-03-061-0/+19
| | | | | |
| * | | | | Test for using staticcall for view and pure functions.chriseth2018-03-061-4/+56
| | | | | |
| * | | | | Use STATICCALL for pure function calls if EVM version supports it and 0.5.0 ↵chriseth2018-03-063-3/+13
| | | | | | | | | | | | | | | | | | | | | | | | is activated.
* | | | | | Merge pull request #3549 from ethereum/fixmultidimAlex Beregszaszi2018-03-064-6/+83
|\ \ \ \ \ \ | |/ / / / / |/| | | | | Properly detect which array and struct types are unsupported by the old ABI encoder.
| * | | | | Changelog entry.chriseth2018-03-011-0/+1
| | | | | |
| * | | | | Fix multi-dimensional arrays in the ABI.chriseth2018-03-012-6/+26
| | | | | |
| * | | | | Tests for multi-dimensional arrays.chriseth2018-03-011-0/+56
| | | | | |
* | | | | | Merge pull request #3658 from ethereum/newcppEthimageAlex Beregszaszi2018-03-061-5/+8
|\ \ \ \ \ \ | | | | | | | | | | | | | | Use new eth binary for trusty.
| * | | | | | Use new eth binary for trusty.chriseth2018-03-061-5/+8
| | | | | | |
* | | | | | | Merge pull request #3659 from ethereum/increaseCacheSizechriseth2018-03-061-1/+1
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | Increase ccache size.
| * | | | | | Increase ccache size.chriseth2018-03-061-1/+1
|/ / / / / /
* | | | | | Merge pull request #3653 from ethereum/docNegativeSourceIndexchriseth2018-03-061-0/+5
|\ \ \ \ \ \ | | | | | | | | | | | | | | Document the meaning of sourceIndex "-1" in source mappings.
| * | | | | | Document the meaning of sourceIndex "-1" in source mappings.Daniel Kirchner2018-03-061-0/+5
| | | | | | |
* | | | | | | Merge pull request #3652 from ethereum/gasleft_v2chriseth2018-03-064-18/+24
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | Use StaticAnalyzer to deprecate msg.gas instead of conditionally remo…
| * | | | | | | Use StaticAnalyzer to deprecate msg.gas instead of conditionally removing it ↵Daniel Kirchner2018-03-064-18/+24
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | in MagicType.
* | | | | | | | Merge pull request #3655 from lastperson/patch-3Alex Beregszaszi2018-03-061-1/+1
|\ \ \ \ \ \ \ \ | |_|/ / / / / / |/| | | | | | | Revert warning update about `view` modifier
| * | | | | | | Revert warning update about `view` modifierOleksii Matiiasevych2018-03-061-1/+1
|/ / / / / / /
* | | | | | | Merge pull request #3648 from ethereum/circlecachechriseth2018-03-061-5/+17
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | Try new caching keys.
| * | | | | | | Build with four parallel jobs.chriseth2018-03-061-1/+5
| | | | | | | |
| * | | | | | | Restrict ccache cache size.chriseth2018-03-061-0/+6
| | | | | | | |
| * | | | | | | Try new caching keys.chriseth2018-03-061-4/+6
|/ / / / / / /
* | | | | | | Merge pull request #3640 from ↵chriseth2018-03-062-2/+3
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | AnthonyBroadCrawford/spanning-multiline-message-fix moved spanning multi lines message to appear on some lane vs new line…
| * | | | | | | Improved messaging when an error spans multiple lines and updated change log ↵Anthony Broad-Crawford2018-03-062-2/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | file.
* | | | | | | | Merge pull request #3599 from ethereum/sendAllGasOnByzantiumchriseth2018-03-062-10/+14
|\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | Send all gas on byzantium
| * | | | | | | | Do not retain any gas in external calls (except if EVM version is set to ↵chriseth2018-03-062-10/+14
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | homestead).
* | | | | | | | | Merge pull request #3643 from ethereum/gasleftchriseth2018-03-0611-8/+116
|\ \ \ \ \ \ \ \ \ | |/ / / / / / / / |/| | / / / / / / | | |/ / / / / / | |/| | | | | | Move msg.gas to global function gasleft(). Closes #2971.
| * | | | | | | Improved gasleft tests.Daniel Kirchner2018-03-062-7/+19
| | | | | | | |
| * | | | | | | Style improvements.Daniel Kirchner2018-03-062-4/+7
| | | | | | | |
| * | | | | | | Use msg.value and gasleft() as an example in the docs.Daniel Kirchner2018-03-051-1/+1
| | | | | | | |
| * | | | | | | 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-0511-9/+102
| | | | | | | |
* | | | | | | | Merge pull request #3600 from ethereum/version050IsAnalysisOnlychriseth2018-03-063-6/+5
|\ \ \ \ \ \ \ \ | |_|_|_|/ / / / |/| | | | | | | Do not warn about 0.5.0 experimental pragma.
| * | | | | | | Do not warn about 0.5.0 experimental pragma.chriseth2018-03-053-6/+5
| | | | | | | |
* | | | | | | | Merge pull request #3642 from leonardoalt/fix_z3-46chriseth2018-03-051-0/+1
|\ \ \ \ \ \ \ \ | |/ / / / / / / |/| | | | | | | Add z3 performance option
| * | | | | | | This z3 option is necessary for good solving performanceLeonardo Alt2018-03-041-0/+1
| | |/ / / / / | |/| | | | |
* | | | | | | Merge pull request #3569 from ethereum/evmVersionchriseth2018-03-0565-290/+769
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | EVM version
| * | | | | | | Use EVM version in gas meter and optimizer.chriseth2018-03-0528-201/+328
| | | | | | | |
| * | | | | | | Only warn for shift instructions if not using constantinopleAlex Beregszaszi2018-03-023-12/+13
| | | | | | | |
| * | | | | | | Abort on the first failed end-to-end run.chriseth2018-03-021-3/+0
| | | | | | | |
| * | | | | | | Explain json-io setting.chriseth2018-03-021-0/+1
| | | | | | | |
| * | | | | | | Add constantinople.chriseth2018-03-022-4/+6
| | | | | | | |
| * | | | | | | Simplify error handling in tests.shAlex Beregszaszi2018-03-021-3/+1
| | | | | | | |
| * | | | | | | Add TangerineWhistle.chriseth2018-03-026-25/+40
| | | | | | | |
| * | | | | | | 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-0215-44/+91
| | | | | | | |
| * | | | | | | Use EVM version in type checker.chriseth2018-03-025-8/+23
| | | | | | | |
| * | | | | | | Test both EVM versions.chriseth2018-03-027-21/+58
| | | | | | | |
| * | | | | | | Changelog entrychriseth2018-03-021-0/+1
| | | | | | | |
| * | | | | | | Some tests.chriseth2018-03-022-1/+35
| | | | | | | |
| * | | | | | | Provide target EVM version in CompilerContext.chriseth2018-03-024-9/+19
| | | | | | | |
| * | | | | | | Store EVM version in settings.chriseth2018-03-021-0/+1
| | | | | | | |
| * | | | | | | Add ability to set the target EVM version.chriseth2018-03-025-12/+135
| | |_|_|/ / / | |/| | | | |
* | | | | | | Merge pull request #3641 from furkanayhan/patch-1chriseth2018-03-051-1/+1
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | | Correct warning message in Pure Functions doc
| * | | | | | Correct warning message in Pure Functions docFurkan Ayhan2018-03-041-1/+1
|/ / / / / / | | | | | | | | | | | | wrong commit that caused this: (https://github.com/ethereum/solidity/commit/64eaff64200d166bdd48f81bceefec9bc83db72f#diff-754689a291c0a19b500c31eb6c1d30c7R506)
* | | | | | Merge pull request #3632 from bernardpeh/mydevchriseth2018-03-021-4/+2
|\ \ \ \ \ \ | |_|/ / / / |/| | | | | clarify 2300 gas stipend in fallback function section
| * | | | | change the language so that it doesn't sound like send and transfer is ↵bernard peh2018-03-021-1/+6
| | | | | | | | | | | | | | | | | | | | | | | | providing the stipend
| * | | | | clarify 2300 gas stipend in fallback function sectionbernard peh2018-03-021-9/+2
| |/ / / /
* | | | | 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-023-0/+37
|\ \ \ \ \ | |/ / / / |/| | | | Deprecate using unit denominations in combination with hex numbers.
| * | | | Suggest expressions of the form '0x1234 * 1 day' instead of hex numbers with ↵Daniel Kirchner2018-03-021-2/+4
| | | | | | | | | | | | | | | | | | | | unit denominations.
| * | | | Deprecate using unit denominations in combination with hex numbers. Closes ↵Daniel Kirchner2018-03-013-0/+35
| | | | | | | | | | | | | | | | | | | | #3574.
* | | | | Documentation updates for internal constructors and function signature (#3365)Elena Dimitrova2018-03-012-4/+37
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Add a note explaining return values not included in function signature * Add section on Constructors in documentation * Improve documented definition for abstract contract * Add benefits of abstraction to documentation
* | | | | Update Tips and Tricks on structs initialization. (#3626)Oleksii Matiiasevych2018-03-011-1/+4
| |/ / / |/| | | | | | | | | | | * Update Tips and Tricks on structs initialization.
* | | | Merge pull request #3624 from ethereum/jsonio-libraries-hexAlex Beregszaszi2018-03-013-10/+47
|\ \ \ \ | | | | | | | | | | Ensure that library addresses supplied are of correct length and hex prefixed
| * | | | Ensure that library addresses supplied are of correct length and hex ↵Alex Beregszaszi2018-03-013-10/+47
| |/ / / | | | | | | | | | | | | prefixed in JSONIO
* | | | Merge pull request #3406 from leonardoalt/smt_checkerchriseth2018-03-018-64/+414
|\ \ \ \ | | | | | | | | | | SMTChecker: A little refactoring on SSA vars (preparation for Bool)
| * | | | Fix PR commentsLeonardo Alt2018-03-013-12/+0
| | | | |
| * | | | Fix PR commentsLeonardo Alt2018-03-016-23/+37
| | | | |
| * | | | Supported types listed in SSAVariableLeonardo Alt2018-03-014-3/+20
| | | | |
| * | | | Integer min and max values placed under SymbolicIntVar instead of SMTCheckerLeonardo Alt2018-03-014-19/+9
| | | | |
| * | | | [SMTChecker] A little refactoring on SSA varsLeonardo Alt2018-03-018-54/+395
| |/ / /
* | | | Merge pull request #3587 from OTTTO/developchriseth2018-03-011-1/+47
|\ \ \ \ | |/ / / |/| | | Multiline output parameters and return statements
| * | | Multiline output parameters and return statementsDax Bondye2018-02-271-1/+47
| | | |
* | | | Merge pull request #3607 from izgzhen/complain-unknown-paramschriseth2018-03-013-0/+17
|\ \ \ \ | | | | | | | | | | stop allow_guessing for command line option parser
| * | | | Stop allow_guessing for command line option parserZhen Zhang2018-02-283-0/+17
| | | | |
* | | | | Merge pull request #3617 from ethereum/jsonio-librarieschriseth2018-03-012-3/+152
|\ \ \ \ \ | | | | | | | | | | | | Add more comprehensive tests and checks for libraries in JSONIO
| * | | | | Properly validate invalid hex characters in JSONIO librariesAlex Beregszaszi2018-02-282-2/+37
| | | | | |
| * | | | | Add more comprehensive tests and checks for libraries in JSONIOAlex Beregszaszi2018-02-282-1/+115
| | | | | |
* | | | | | 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-284-13/+38
|\ \ \ \ \ \ | | | | | | | | | | | | | | 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-274-13/+38
| | | | | | |
* | | | | | | Merge pull request #3616 from jbaylina/patch-1chriseth2018-02-281-1/+1
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | | I think this example misses a 1.
| * | | | | | Update miscellaneous.rstJordi Baylina2018-02-281-1/+1
|/ / / / / /
* | | | | | Merge pull request #3476 from ethereum/scopingchriseth2018-02-2814-89/+598
|\ \ \ \ \ \ | |_|_|_|_|/ |/| | | | | C99/C++ scoping rules
| * | | | | Some more scoping tests.chriseth2018-02-272-1/+102
| | | | | |
| * | | | | Documentation about new scoping rules.chriseth2018-02-271-2/+59
| | | | | |
| * | | | | Only active variables at the point of their declaration.chriseth2018-02-278-33/+176
| | | | | |
| * | | | | Enable C99-scoping with the 0.5.0-experimental pragma.chriseth2018-02-276-40/+98
| | | | | |
| * | | | | Changelog entry.chriseth2018-02-271-0/+1
| | | | | |
| * | | | | Tests for new scoping behaviour.chriseth2018-02-271-0/+44
| | | | | |
| * | | | | Adjust tests.chriseth2018-02-273-14/+23
| | | | | |
| * | | | | Blocks and for loops can be scopes.chriseth2018-02-276-6/+78
| | | | | |
| * | | | | Scopes do not have to be declarations.chriseth2018-02-274-24/+47
| | | | | |
| * | | | | Make all lookups recursive by default.chriseth2018-02-272-10/+11
| | | | | |
* | | | | | Merge pull request #3612 from ethereum/debian-lsbchriseth2018-02-271-6/+7
|\ \ \ \ \ \ | |_|/ / / / |/| | | | | Fix install_deps.sh for Debian without lsb_release
| * | | | | Fix install_deps.sh for Debian without lsb_releasePaweł Bylica2018-02-271-6/+7
| | | | | |
* | | | | | Merge pull request #2541 from ethereum/asm-bitshiftAlex Beregszaszi2018-02-275-1/+44
|\ \ \ \ \ \ | |/ / / / / |/| | | | | Add bit shifting opcodes (EIP145)
| * | | | | Add basic test for shift opcodesAlex Beregszaszi2018-02-271-0/+14
| | | | | |
| * | | | | Shift operands were swapped in accepted EIP145Alex Beregszaszi2018-02-271-3/+3
| | | | | |
| * | | | | Remove ROL/ROR as they are not part of EIP145 anymoreAlex Beregszaszi2018-02-274-13/+1
| | | | | |
| * | | | | Warn on using shift instructionsAlex Beregszaszi2018-02-271-0/+16
| | | | | |
| * | | | | Document bitwise shift operators in assemblyAlex Beregszaszi2018-02-271-0/+10
| | | | | |
| * | | | | Add bitwise shift operators to libevmasm (EIP145)Alex Beregszaszi2018-02-272-1/+16
| |/ / / /
* | | | | Merge pull request #3601 from ethereum/circleParallelAlex Beregszaszi2018-02-273-49/+83
|\ \ \ \ \ | |/ / / / |/| | | | Parallelize tests on circle.
| * | | | Run tests in parallel on circle.chriseth2018-02-272-45/+57
| | | | |
| * | | | Split circle into build and test for x86.chriseth2018-02-271-4/+26
| | | | |
* | | | | Merge pull request #3604 from ethereum/docs-updatechriseth2018-02-272-239/+242
|\ \ \ \ \ | | | | | | | | | | | | Introduce VM version ('hard fork') column for assembly opcodes
| * | | | | Fix builtin function formatting in juliaAlex Beregszaszi2018-02-271-76/+77
| | | | | |
| * | | | | Introduce VM version ('hard fork') column for assembly opcodesAlex Beregszaszi2018-02-271-161/+163
| | | | | |
| * | | | | Fix some keyword highlighting in docsAlex Beregszaszi2018-02-271-2/+2
|/ / / / /
* | | | | Merge pull request #3603 from ethereum/docs-solcjschriseth2018-02-272-4/+9
|\ \ \ \ \ | | | | | | | | | | | | Fix links and clarify the solc-js section
| * | | | | Fix link to solcjs in the installation sectionAlex Beregszaszi2018-02-271-4/+4
| | | | | |
| * | | | | Mention that solcjs is not compatible with solc in the using-the-compiler ↵Alex Beregszaszi2018-02-272-0/+5
| | |/ / / | |/| | | | | | | | | | | | | section
* | | | | Merge pull request #3605 from ethereum/deprecate-throwchriseth2018-02-273-5/+23
|\ \ \ \ \ | |/ / / / |/| | | | Turn throw into a syntax error for 0.5.0
| * | | | Turn throw into a syntax error for 0.5.0Alex Beregszaszi2018-02-273-5/+23
|/ / / /
* | | | Merge pull request #3335 from nisdas/ballot-contractchriseth2018-02-271-9/+14
|\ \ \ \ | | | | | | | | | | Fixes the errors in the sample ballot contract
| * | | | Fix name shadowing in ballot example contract.chriseth2018-02-271-9/+14
| | | | |
* | | | | Merge pull request #3426 from wbt/patch-1chriseth2018-02-271-1/+1
|\ \ \ \ \ | | | | | | | | | | | | Note deprecation of constant keyword on functions
| * | | | | Note deprecation of constant keyword on functionswbt2018-02-271-1/+1
|/ / / / /
* | | | | Merge pull request #3602 from ethereum/docs-updatesAlex Beregszaszi2018-02-273-39/+11
|\ \ \ \ \ | |/ / / / |/| | | | Random documentation updates (assembly, faq)
| * | | | Random documentation updates (assembly, faq)Alex Beregszaszi2018-02-273-39/+11
| |/ / /
* | | | Merge pull request #3589 from ethereum/identifiersAlex Beregszaszi2018-02-273-42/+78
|\ \ \ \ | |/ / / |/| | | Clean up type identifiers
| * | | Add test for escapeIdentifierAlex Beregszaszi2018-02-271-0/+15
| | | |
| * | | Use new escaping helpers for type identifiersAlex Beregszaszi2018-02-272-20/+9
| | | |
| * | | Rename Types::identifier to Types::richIdentifierAlex Beregszaszi2018-02-272-35/+41
| | | |
| * | | Add helpers escapeIdentifier to TypesAlex Beregszaszi2018-02-272-1/+27
| | | |
* | | | Merge pull request #3588 from ethereum/fixGetterTypechriseth2018-02-272-42/+37
|\ \ \ \ | | | | | | | | | | Fix getter type
| * | | | Fix: Function types for getters should not have storage pointers.chriseth2018-02-261-1/+4
| | | | |
| * | | | Test data location of getter return type.chriseth2018-02-261-0/+20
| | | | |
| * | | | Simplify FunctionType constructors.chriseth2018-02-261-42/+14
|/ / / /
* | | | Merge pull request #3585 from aaroncolaco/developAlex Beregszaszi2018-02-261-9/+24
|\ \ \ \ | |/ / / |/| | | Fix example; closes #3582
| * | | Fix example; closes #3582Aaron Colaço2018-02-241-9/+24
|/ / /
* | | Merge pull request #3499 from ethereum/runEndToEndOnCirclechriseth2018-02-232-14/+28
|\ \ \ | | | | | | | | Run EndToEnd tests on circle, too.
| * | | Run EndToEnd tests on circle, too.chriseth2018-02-232-14/+28
|/ / /
* | | Merge pull request #3578 from etherchina/developchriseth2018-02-231-0/+1
|\ \ \ | | | | | | | | Add the link for Solidity documentation in Simplified Chinese
| * | | add in progressHongbin Zuo2018-02-231-1/+1
| | | |
| * | | Why you made this change:Hongbin Zuo2018-02-231-0/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Talked with Chris and Matt, in order to develop stronger ethereum community in China, we decided to initiate the activity to translate Solidity documentation into Simplified Chinese version. We have invited over 10 experienced translators as a team to contribute on this effort. What you did: I finished translation of index.rst into Simplified Chinese and wanted it to be added into main doc index.
* | | | Merge pull request #3579 from ethereum/fuzzer-stdinchriseth2018-02-231-14/+4
|\ \ \ \ | |/ / / |/| | | Use readStandardInput in the fuzzer
| * | | Use readStandardInput in the fuzzerAlex Beregszaszi2018-02-231-14/+4
|/ / /
* | | Merge pull request #3538 from ethereum/emitEventschriseth2018-02-2325-27/+327
|\ \ \ | | | | | | | | emit pseudo-keyword for events.
| * | | Parser test.chriseth2018-02-221-0/+13
| | | |
| * | | Tests for warnings.chriseth2018-02-221-0/+23
| | | |
| * | | Warn about using events without emit.chriseth2018-02-222-1/+13
| | | |
| * | | Documentation about emitting events.chriseth2018-02-226-24/+26
| | | |
| * | | Changelog entry.chriseth2018-02-221-0/+1
| | | |
| * | | Introduce emit statement.chriseth2018-02-2217-3/+252
| | | |
* | | | Merge pull request #3575 from OTTTO/developchriseth2018-02-231-2/+16
|\ \ \ \ | | |/ / | |/| | Recommend to explicitly label the visibility of functions.
| * | | Reccomend to explicitly label the visibility of functions.Dax Bondye2018-02-231-2/+16
| | | |
* | | | Merge pull request #3573 from ethereum/retryTestsAlex Beregszaszi2018-02-231-1/+1
|\ \ \ \ | | | | | | | | | | Try external tests twice.
| * | | | Try external tests twice.chriseth2018-02-221-1/+1
| | | | |
* | | | | Merge pull request #3513 from OTTTO/developchriseth2018-02-221-0/+103
|\ \ \ \ \ | |/ / / / |/| / / / | |/ / / Add "Maximum Line Length" section
| * | | Recommend consistent style for wrapping long lines.DYLAN BECKWITH2018-02-221-0/+103
| | | |
* | | | Merge pull request #3552 from ethereum/chriseth-patch-1chriseth2018-02-221-3/+3
|\ \ \ \ | |_|/ / |/| | | ABI: Clarify padding direction.
| * | | Use the term "trailing zero-bytes".chriseth2018-02-221-1/+1
| | | |
| * | | Clarify padding direction.chriseth2018-02-201-3/+3
| | | |
* | | | Merge pull request #3565 from ethereum/doNotWarnAboutAnalysisOnlyExpFeatureschriseth2018-02-223-8/+6
|\ \ \ \ | | | | | | | | | | Do not warn about analysis-only experimental features.
| * | | | Do not warn about analysis-only experimental features.chriseth2018-02-223-8/+6
|/ / / /
* | | | Merge pull request #3571 from ethereum/cppcheckchriseth2018-02-222-6/+6
|\ \ \ \ | | | | | | | | | | Mark functions const
| * | | | Mark functions constAlex Beregszaszi2018-02-222-6/+6
| | | | |
* | | | | Merge pull request #3570 from ethereum/assembly-oversized-literalschriseth2018-02-224-0/+16
|\ \ \ \ \ | |/ / / / |/| | | | Raise error on oversized number literals in assembly
| * | | | Add assertion for boolean literals in Julia-modeAlex Beregszaszi2018-02-221-0/+5
| | | | |
| * | | | Raise error on oversized number literals in assemblyAlex Beregszaszi2018-02-224-0/+11
| | | | |
generated by cgit (git 2.34.1) at 2024-11-15 04:23:22 +0800