7.0.0

What's Changed

• Require PHP 8.4 by @Baptouuuu in #83
• Remove deprecated code by @Baptouuuu in #85
• Add Assert::debug() by @Baptouuuu in #86
• Defer creating the system under test in properties by @Baptouuuu in #87
• Make Sets immutable by @Baptouuuu in #88
• Make Sets unbounded by @Baptouuuu in #89
• Add Set::disableShrinking() by @Baptouuuu in #90
• Make Proof a final class by @Baptouuuu in #91
• Simplify regression test by @Baptouuuu in #92
• Only pass the Prove object when loading proof files by @Baptouuuu in #93
• Make PHPUnit an optional dependency by @Baptouuuu in #94
• Make sure no proof throws exceptions by @Baptouuuu in #95
• Allow to disable shrinking on a per proof basis by @Baptouuuu in #96
• Make Printer a final class by @Baptouuuu in #97
• Add Set::toSet() by @Baptouuuu in #98
• Remove CodeCoverage::enableWhen() by @Baptouuuu in #99
• Code style by @Baptouuuu in #100
• Simplify shrinking by @Baptouuuu in #101
• Remove the use of stderr by @Baptouuuu in #102
• Add Set::zip() by @Baptouuuu in #103
• Remove Set::generator() by @Baptouuuu in #104
• Improve Set::either() performance by @Baptouuuu in #105
• Reduce duplicated code in tests by @Baptouuuu in #106
• Group all Providers in the same namespace by @Baptouuuu in #107
• Fix documentation by @Baptouuuu in #108
• Fix shrinked typo by @Baptouuuu in #110
• Simplify Set::flatMap() Seeds by @Baptouuuu in #111

Full Changelog: 6.12.0...7.0.0