* Rearrange Detectors closer to ethereum. Fix Detector reporting for each state.

* codeclimate

* codeclimate

* Move detectors back to __main__. Commandline argument added

* Codeclimate

* Findings and global_findings for each detectot. Move global findings to its own file on reports

* Codeclimate

* Better commandline arguments. Better report on failing constructors

* Codeclimate. All assertion bench done

* Convenience evm stack function. Doc improvements

* Explicit reference in ded_evm_execute_instruction

* Assembler to solidity line number fixed

* Better variable names

* CC

* CC

* Regression tests

* Better int overflow detector (expensive)

* Added a few more IO reg tests

* CC

* CC

* CC

* Fix io tests. Remove dead code. Improve Transaction.set_result

* Account names, New ABI, user level constraining, state persistence

* merge bugfix

* Merge fix fix

* fix docstr

* Better type checks

* Fix minimal.py example

* CC and symbolic address

* CC

* CC

* CC

* CC

* Add bytearray-Array concatenation/ Fix ABI tests

* CC

* CC

* This fixes EVERYTHING!

* Fixing truly everything, maybe

* Review 1/10

* A few extra ABI serialization tests

* Better default arguments for constructor in multitx

* CC

* CC

* Exception EthereumError

* review

* Improve normal/contract_account filters. Move some ABI stuff to auxiliary funcs(CC)

* CC

* ABI.serialize smallfixes

* Catch parsing exceptions (review)

* Add comment to BitVec.cast()

* manticore/platforms/evm.py

Bugfixes and review

* manticore/platforms/evm.py

Bugfixes and review

* CC

* cs.migrate and bette temporary handling

* CC

* typo

* A Bugfix(tm)