1.15.0.0

What's Changed

• Testlibs: various changes by @michaelpj in #5543
• Switch up cabal flag setup to avoid cabal bug by @michaelpj in #5569
• Bump dependencies by @erikd in #5561
• PIR: restructure tests by @michaelpj in #5570
• Restructure PlutusIR.Compiler tests. by @thealmarty in #5574
• PLT-7799 Simplify progress proofs by @mjaskelioff in #5571
• Fix onchain evaluation test by @kwxm in #5576
• PLT-6543: Implement emitter tracing for debugger by @bezirg in #5575
• Add a Quick Start guide to RTD (PLT-1383) by @zliu41 in #5557
• Add golden size tests for Marlowe validators by @zliu41 in #5578
• [PlutusTx] [Test] 'Eq' for 'Value' by @effectfully in #5566
• [PlutusTx] Optimize the 'Eq' instance of 'Value' by @effectfully in #5577
• Revert "[PlutusTx] Optimize the 'Eq' instance of 'Value' (#5577)" by @effectfully in #5581
• Reorganise nofib tests by @kwxm in #5583
• Just call adjustModel once by @kwxm in #5579
• Update RELEASE.adoc by @bezirg in #5586
• PLT-506: Case-of-case by @michaelpj in #5554
• PLT-1398 Set up typechecking property tests for all PIR compiler passes by @thealmarty in #5565
• Fix a misleading typo in a comment by @kwxm in #5588
• Release 1.15.0 by @kwxm in #5590
• We don't want 'find' to find .cabal by @kwxm in #5591
• Release 1.15.0.0 by @kwxm in #5592

Full Changelog: 1.14.0.0...1.15.0.0