0.3.1 - 2018-12-03

This release fixes minor bugs and improves the json output.

Changed

• Improve json ouput:
  • Add helpers to abstract_detector
  • Use more detailed output for each detector and more precise source mapping information
  • Document the json: https://github.com/trailofbits/slither/wiki/JSON-output
• Add support for Truffle projects using a truffle-config.js file instead of truffle.js
• Fix incorrect slithIR conversion for mapping of mapping (#83)
• Fix minor bugs (remove duplicate constructors, fix incorrect is_implemented attribute in Modifier)