1.40.0.0

What's Changed

• Fix typos in Plutus Core Spec of Batch 5 builtins by @nielstron in #6760
• Fix issues from #6761 by @kwxm in #6762
• Kwxm/conformance/improve filename check by @kwxm in #6730
• Fix an error related to mesh wallet by @zliu41 in #6771
• Use ignoreTest instead of expectFail in conformance tests by @kwxm in #6767
• Add docs on data-backed ScriptContext by @ana-pantilie in #6759
• Fix a couple of small typos by @kwxm in #6774
• [Evaluation] Statically unroll 'itraverseCounter_' by @effectfully in #5265
• Kwxm/specification/fix div rem txt by @kwxm in #6775
• Disable .js file minification in docusaurus build by @zeme-wana in #6781
• [Evaluation] [Performance] Use 'unsafeShiftL' instead of '*' by @effectfully in #6737
• docusaurus: plutus exe by @bezirg in #6743
• plutus exe: Also run a final check after the programs are applied tog… by @bezirg in #6753
• Regenerate constitution golden tests by @ana-pantilie in #6785
• Data backed constitution script by @ana-pantilie in #6784
• Fix the Steppable CEK machine to correctly "pause/step" in case of SOPs. by @bezirg in #6790
• Switch from cryptonite to crypton by @erikd in #6575
• Add new user guide page "Simplifying Code Before Compilation" by @zliu41 in #6796
• [UPLC] [Test] Add scoping tests by @effectfully in #6773
• Finalize switch from cryptonite to crypton by @erikd in #6799
• conformance: Add budgeting for haskell steppable by @bezirg in #6791
• Fix build error in plutus-metatheory related to Cabal-syntax by @zeme-wana in #6803
• Add some golden tests on data-backed ScriptContext by @zliu41 in #6802
• [Evaluation] Autocompute 'NumberOfStepCounters' by @effectfully in #6798
• Replace clique with circuit in dead code elimination by @zliu41 in #6806
• Update CIP-57 example to use AssocMap by @Unisay in #6805
• Update the auction example in the user guide to Plutus V3 by @Unisay in #6801
• Release 1.40.0.0 by @ramsay-t in #6794

Full Changelog: 1.39.0.0...1.40.0.0