Solidity realtime compiler and runtime

Transaction origin

Gas limit

Value (e.g. .7 ether or 5 wei, defaults to ether)

Solidity version: (loading)

Change to:

Text Wrap Enable Optimization Auto Compile

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.

JavaScript VM

Execution environment does not connect to any node, everything is local and in memory only.

Injected Web3

Execution environment has been provided by Mist or similar provider.

Web3 Provider

Execution environment connects to node at localhost (or via IPC if available), transactions will be sent to the network and can cause loss of money or worse!
If this page is served via https and you access your node via http, it might not work. In this case, try cloning the repository and serving it via http.

Web3 Provider Endpoint:

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.