1.31.0.0

What's Changed

• plutus-ir: fix redundant imports by @disassembler in #6218
• Fix incorrect Note reference by @kwxm in #6217
• Add documentation to Data.Value by @ana-pantilie in #6220
• [Builtins] Replace 'EvaluationResult' with 'BuiltinResult' by @effectfully in #5926
• New ./scripts/combined-haddock.sh by @zeme-wana in #6205
• Add workflow for publishing Agda Metatheory site by @zeme-wana in #6223
• Fixes to metatheory-site.yml workflow by @zeme-wana in #6228
• Final changes to metatheory-site.yml workflow by @zeme-wana in #6229
• Update RELEASE.adoc with instructions to delete unused branches and tags by @zeme-wana in #6230
• Complete Migration from RDT to Docusaurus by @zeme-wana in #6227
• Fix broken links in docusaurus docs by @zeme-wana in #6232
• Add flake.nix for doc/docusaurus by @zeme-wana in #6233
• making a spelling correction on the doc/docusaurus README file by @joseph-fajen in #6235
• [Builtins] Remove 'Emitter' and 'MonadEmitter' by @effectfully in #6224
• Refactor GitHub Workflows by @zeme-wana in #6124
• Fix & simplify SOP encoding example comment by @klntsky in #6231
• Update github-action-benchmark version by @zeme-wana in #6238
• Make it build with ghc 9.10 by @erikd in #6079
• Update version of github-action-benchmark to v1.20.3 by @zeme-wana in #6240
• Add workflows to check broken links and deploy papers to GH Pages by @zeme-wana in #6236
• Publish papers and specs on push to master only by @zeme-wana in #6246
• Cabal project to compile docusaurus examples. by @Unisay in #6239
• Added cardano-constitution package by @bezirg in #6234
• [Test] Turn off CSE for problematic tests by @effectfully in #6249
• [Test] Turn off CSE for the 'patternMatching' test by @effectfully in #6251
• [Optimization] Remove case-of-case by @effectfully in #6248
• Spec that verifies various script sizes, also demostrates a lazy script context un-marshalling by @Unisay in #6247
• Add cardano-constitution-tests and slack-message-broker workflows by @zeme-wana in #6253
• Updates to slack-message-broker.yml by @zeme-wana in #6258
• Update slackapi/slack-github-action version -> v1.26.0 by @zeme-wana in #6259
• Improve messages in slack-message-broker.yml by @zeme-wana in #6260
• Fix error message in slack-message-broker.yml by @zeme-wana in #6261
• Fix another error in slack-message-broker.yml by @zeme-wana in #6262
• Fix "un-rolling" a list type. by @Unisay in #6165
• constitution: Add executable that creates json envelope by @bezirg in #6267
• Fix bug in ./script/combined-haddock.sh by @zeme-wana in #6263
• Update baseUrl in docusaurus.config.ts by @zeme-wana in #6275
• Improvements to haddock-site.yml (support auto-publish on push to master) by @zeme-wana in #6276
• Better messages in slack-message-broker.yml by @zeme-wana in #6280
• Remove ignore links from linkchecker step in combined-haddock.sh by @zeme-wana in #6281
• Add cabal update step in combined-haddock.sh by @zeme-wana in #6283
• Fix CsvTable.tsx and LiteralInclde.tsx in docusaurus by @zeme-wana in #6282
• Fix haddock documentation for cardano-constitution by @zeme-wana in #6284
• Stronger docusaurus builds and general QOL improvements by @zeme-wana in #6287
• Move package-lock.json from top-level to scripts/blueprints by @zeme-wana in #6289
• Fix editUrl in docusaurus.config.ts by @zeme-wana in #6291
• chore(deps): bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3 by @dependabot in #6292
• Fix typos by @omahs in #6288
• Detect broken links for haddock,metatheory,docusaurus + local repo files by @zeme-wana in #6294
• Fix broken linkchecker workflows by @zeme-wana in #6295
• Add support for ghc910 to hydraJobs by @zeme-wana in #6293
• Disable linkchecker on live sites by @zeme-wana in #6298
• [Bug] Fix 'isNormalType' and add 'prop_normalizedTypeIsNormal' by @effectfully in #6272
• Analyse script events supports PlutusLedgerLanguage V3 by @Unisay in #6300
• fix: parameter 33 should be a Rational in the constitution script by @RSoulatIOHK in #6302
• Address guardrail script audit comments by @zliu41 in #6305
• All names are printed with their unique values by default. by @Unisay in #5972
• fix: types in defaultConstitution by @RSoulatIOHK in #6307
• Fix overflow bug in shiftByteString, rotateByteString, add tests to ensure it stays fixed by @kozross in #6309
• Re-export bitwise builtins from PlutusTx.Prelude by @kozross in #6313
• [Costing] Increase the cost of constructors of '[]' by @effectfully in #6285
• Change writeBits to take changelists as two separate lists by @kozross in #6317
• [Costing] Remove the 'ExMemoryUsage' instance for 'SomeTypeIn' by @effectfully in #6318
• feat: New version of VT-CC-01 by @RSoulatIOHK in #6320
• fix: haddock error by @Unisay in #6323

New Contributors

• @klntsky made their first contribution in #6231
• @RSoulatIOHK made their first contribution in #6302

Full Changelog: 1.30.0.0...1.31.0.0