• 0 Oraclize
    Solidity realtime compiler and runtime
    Solidity version: (loading)
    Change to:

    Publish all open files to an anonymous github gist.
    Copy all files to another instance of browser-solidity.

    You can also load a gist by adding the following #gist=GIST_ID to your url, where GIST_ID is the id of the gist to load.

    This Oraclize plugin is currently NOT working in browser-solidity via web3/injected provider.
    This is available for the in-memory mode only (JavaScript VM). If you want to use Oraclize-based contracts, please verify first that Oraclize is integrated with the blockchain you are using - if not you can enable it via a dedicated ethereum-bridge instance

    Oraclize plugin (for in-memory use only)

    Oraclize status: LOADING


    Clear queries

    Query history:

    No query was sent yet, please refer to the Oraclize documentation or run some example contracts to get started.

    Something went wrong, please make sure you are running the latest version of browser-solidity

    This tab provides support for formal verification of Solidity contracts.
    This feature is still in development and thus also not yet well documented, but you can find some information here. The compiler generates input to be verified (or report errors). Please paste the text below into http://why3.lri.fr/try/ to actually perform the verification. We plan to support direct integration in the future.