0.6.9 - 2019-12-20

This release fixes minor bugs and updates Slither to crytic-compile 0.1.6. Additionally, we moved from Travis CI to GitHub actions.

Thanks to our external contributors:

• @erib3
• @uivlis
• @yxliang01

Added

• --remove-assert flag to slither-flat. Use this feature to write custom properties for Echidna with assert and have them automatically removed by slither-flat when the code is deployed. (#366)

Changed

• constant-function detector is split into constant-function-asm and constant-function-state and will not raise an issue if solc >= 0.5 is used (#380)
• Use GitHub Actions instead of Travis CI (#381, #385)
• Use upper and lower bounds for the solc-version detector (#378)
• solc-version now recommends solc 0.5.11 over 0.5.3 (#390)

Fixed

• Detector ID generation leading to collisions for pragma objects (#388)
• FPs on event-based reentrancy (#377)
• Non-solidity pragma that were reported as incorrect solidity version by the pragma detector (#387)
• Incorrect field access on the contract-summary printer (#384)