List of changes since the very first version :)
- Add PHP 7.0 support and drop 5.5 support
- Add metrics: "x out of y bool expressions are assumptions (z%)"
- Add XML output (added -f and -o arguments)
- Migrated PhpSpec tests to PHPUnit
- Pretty format now outputs a table
- Added more weak assumptions detections
- Initial release