v0.2.6 - Buona Vista

This is our next official release of Oyente since our OneNorth release. There are some improvements and new features in this new release as the following:

• Any security bugs that are detected are now mapped correctly to the source code
• Some issues from the previous release (solver not working correctly in some circumstances, some opcodes were not implemented correctly) are now fixed
• Users can now work with multiple contracts concurrently in a single file, or import other files
• False positive cases on assertion failures have been resolved
• Additional EVM code coverage, now Oyente will tell you how many instructions are covered after the analysis.
• Additional cases are now considered as vulnerable to the callstack attack
• Greatly improved UI for the web