8.0.0

What's Changed

• Fix PHP 8.4 deprecations by @Baptouuuu in #8
• Use date range for the license copyright by @Baptouuuu in #9
• Use innmind/static-analysis by @Baptouuuu in #10
• Update dependencies by @Baptouuuu in #11
• Force the use of an Halt instance by @Baptouuuu in #12
• Run tests via blackbox by @Baptouuuu in #13
• Reuse workflows by @Baptouuuu in #14
• Code style by @Baptouuuu in #15
• Use Period to express timeouts by @Baptouuuu in #16
• Better integrate inline proofs inside BlackBox by @Baptouuuu in #17

Full Changelog: 7.3.0...8.0.0