<buttonid="gist"title="Publish all files as public gist on github.com"><iclass="fa fa-github"></i> Publish Gist</button>Publish all open files to an anonymous github gist.<br/>
<buttonid="copyOver"title="Copy all files to another instance of browser-solidity.">Copy files</button> Copy all files to another instance of browser-solidity.
<buttonid="gist"title="Publish all files as public gist on github.com"><iclass="fa fa-github"></i> Publish Gist</button>Publish all open files to an anonymous github gist.<br/>
<buttonid="copyOver"title="Copy all files to another instance of browser-solidity.">Copy files</button> Copy all files to another instance of Browser-solidity.
</p>
<p>You can also load a gist by adding the following <spanclass="pre">#gist=GIST_ID</span> to your url, where GIST_ID is the id of the gist to load.</p>
<p>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!<br/>
<b>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.</b></p>
title="Execution environment does not connect to any node, everything is local and in memory only."
value="vm"
checked name="executionContext">
JavaScript VM
</option>
<optionid="injected-mode"
title="Execution environment has been provided by Mist or similar provider."
value="injected"
checked name="executionContext">
Injected Web3
</option>
<optionid="web3-mode"
title="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."
value="web3"
name="executionContext">
Web3 Provider
</option>
</select>
</span>
<divid="output"></div>
</div>
<divid="debugView">
<divid="debugger"></div>
<divid="debugger"></div>
</div>
<divid="staticanalysisView">
</div>
<divid="verificationView">
<p>This tab provides support for <b>formal verification</b> of Solidity contracts.<br/>
This feature is still in development and thus also not yet well documented,