1.37.0.0

What's Changed

• Redraw contract lifecycle images, remove the rest of the page by @zliu41 in #6550
• Fix haddock dropdown element in haddock index by @zeme-wana in #6556
• Kwxm/specification/bitwise by @kwxm in #6426
• chore(deps): bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8 by @dependabot in #6525
• Expand "Overview of Languages Compiling to UPLC" by @zliu41 in #6558
• [Meta] Add CIPs to 'TRIAGE.md' by @effectfully in #6557
• Explain Scott/Church/SOP/Data encoding in the user guide by @zliu41 in #6560
• Fix bug in haddock-site.yml by @zeme-wana in #6559
• Polish the profiling guide by @zliu41 in #6566
• Add a few references in the further resources page by @zliu41 in #6567
• Update the Ledgers page in the user guide by @zliu41 in #6565
• Add new ignore url to check-broken-links.sh by @zeme-wana in #6570
• Fix positioning of select element in combined-haddock.sh by @zeme-wana in #6568
• Bring back workflow_run to slack-message-broker.yml by @zeme-wana in #6572
• Fix sender object getter in slack-message-broker.yml by @zeme-wana in #6573
• Filter checkRun events on 'name' in slack-message-broker.yml by @zeme-wana in #6574
• Update and simplify the home page of the user guide by @zliu41 in #6564
• Add new user to slack-message-broker.yml by @zeme-wana in #6576
• Fix typo by @kwxm in #6580
• Cost model overview document by @kwxm in #6498
• Remove mentions to @channel in slack-message-broker.yml by @zeme-wana in #6583
• [Builtins] Add pattern matching builtins by @effectfully in #6530
• Add simplifier tags in UPLC simplifier by @ana-pantilie in #6540
• Add cost model page in the user guide by @zliu41 in #6582
• Don't run slack-message-broker on draft PRs by @zeme-wana in #6586
• Change references to plutus-shared in plutus-ci in the workflows by @zeme-wana in #6589
• Ramsay t/u casereduce by @ramsay-t in #6591
• chore(deps): bump benchmark-action/github-action-benchmark from 1.20.3 to 1.20.4 by @dependabot in #6594
• Update all Flake Inputs & Add texliveFull to the devShell by @zeme-wana in #6588
• [Test] Get the seed in 'noStructuralErrors' by @effectfully in #6595
• Kwxm/conformance/write bits 2 by @kwxm in #6596
• derive PlutusTx.Show for some ledger api types by @zliu41 in #6599
• Fix latex errors in old specification by @kwxm in #6601
• Add expModInteger to specification by @bezirg in #6512
• Add extra test vectors for verifySchnorrSecp256k1Signature by @kwxm in #6617
• MintValue by @Unisay in #6609
• Improve specification of the Secp256k1 signature verification functions by @kwxm in #6623
• Extra conformance tests for verifyEcdsaSecp256k1Signature by @kwxm in #6622
• Amends to slack-message-broker by @zeme-wana in #6628
• Fix all dependabot alerts in doc/docusaurus/yarn.lock by @zeme-wana in #6629
• New amends to slack-message-broker by @zeme-wana in #6632
• Fix array index access in slack-message-broker.yml by @zeme-wana in #6634
• Kwxm/conformance/two digit test names by @kwxm in #6627
• Fix incorrect fromDistinctAscList in PlutusTx.ErrorCodes by @zliu41 in #6635
• [Test] Mark more 'Integer's as interesting by @effectfully in #6619
• Use Agda Haskell lib instead of MAlonzo by @ana-pantilie in #6562
• Enable Haddock for Agda by @zeme-wana in #6639
• Remove extra-doc-files:README.md from plutus-executables.cabal by @zeme-wana in #6640
• [Plinth] [Builtins] Remove 'CaseList' and 'CaseData' by @effectfully in #6638
• Add github/workflows/cabal-build-all.yml by @zeme-wana in #6641
• PlutusLedgerApi.V1.withCurrencySymbol by @Unisay in #6636
• MintValue properties by @Unisay in #6631
• Embracing the Product Mindset by @zliu41 in #6621
• Upgrade iogx and fourmolu by @zeme-wana in #6645
• Use taskset in ci-plutu-benchmark.sh by @zeme-wana in #6646
• Swap cases for availability of taskset by @kwxm in #6649
• Remove doctest across whole repo by @zeme-wana in #6647
• chore(deps): bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9 by @dependabot in #6651
• Run cabal-build-all.yml on plutus-ci by @zeme-wana in #6642
• Add a data-backed list to ScriptContext by @ana-pantilie in #6597
• refactor: PlutusLedgerApi.V1 by @Unisay in #6644
• Add option to pass the CAPABILITY_NUM to manual-benchmarl.yml workflow by @zeme-wana in #6658
• Rename some conformance tests correctly by @kwxm in #6659
• Fix bug in regex in manual-benchmark.yml by @zeme-wana in #6664
• Avoid division by zero in benchmark comparisons by @kwxm in #6665
• add explicit type application on bls operations for G1/G2 by @perturbing in #6666
• Upgrade to newer Agda and agda-stdlib by @ana-pantilie in #6673
• Change working directory when running cardano-constitution-tests by @zeme-wana in #6678
• BuiltinByteString literals aren't UTF8 encoded. by @Unisay in #6655
• Add papi support to the nix shell by @zeme-wana in #6681
• fourmolu.yaml by @Unisay in #6643
• UPLC Inline certifier translation relation and decision procedure. by @ramsay-t in #6669
• Refactor: reduce code duplication and make more uniform how plugin looks up GHC things (Names, Ids, etc.) by @Unisay in #6672
• [Builtins] Make all builtins strict by @effectfully in #6523
• Expose index-envs library to public by @SeungheonOh in #6676
• Move some pragmas to below functions by @kwxm in #6694
• [Test] Disable 'prop_shrinkTermSound' by @effectfully in #6695
• [Evaluation] [Performance] Tweak 'safeIndexOne' by @effectfully in #6663
• Upgrade Docusaurus to 3.6.0 by @zeme-wana in #6633
• Fix build ambiguous use of show with text-2.1.2 by @neilmayhew in #6704
• [Build] Drop 'prettyprinter-configurable' by @effectfully in #6699
• [Evaluation] [Performance] Strictify 'spend' by @effectfully in #6705
• 1.37.0.0 release by @zliu41 in #6708
• Update cross-spawn@^7.0.3 in docsaurus site by @zeme-wana in #6710
• Comment out uplc wrapper by @zeme-wana in #6711

New Contributors

• @perturbing made their first contribution in #6666
• @SeungheonOh made their first contribution in #6676
• @neilmayhew made their first contribution in #6704

Full Changelog: 1.36.0.0...1.37.0.0

Plutus 1.36.0.0

What's Changed

• [Meta] Add Slack and Discord to 'TRIAGE.md' by @effectfully in #6542
• Improve the Slack Message Broker by @zeme-wana in #6534
• Make Slack Message Broker Workflow Trigger on Status Events by @zeme-wana in #6544
• Remove extra cons character in slack-message-broker.yml by @zeme-wana in #6545
• Merge the "Plutus language changes" into other pages by @zliu41 in #6537
• Expand the optimization techniques page in the user guide by @zliu41 in #6532
• Rename and rewrite "Upgrading to Vasil and Plutus script addresses" by @zliu41 in #6533
• Remove the common weaknesses page by @zliu41 in #6549
• Add a note in the user guide about avoiding the INLINE pragma by @zliu41 in #6548
• Update the Haddock Documentation page in the user guide by @zliu41 in #6546
• Add new URL exception to check-broken-links.sh by @zeme-wana in #6551
• Add new ignored urls and fix logic in check-broken-links.sh by @zeme-wana in #6552
• Kwxm/write bits/new semantics by @kwxm in #6547
• Revert "[Builtins] Disable 'writeBits' for changPlus1 (#6536)" by @kwxm in #6554
• Plutus release 1.36.0.0 by @kwxm in #6555

Full Changelog: 1.35.0.0...1.36.0.0

1.35.0.0

What's Changed

• Remove delve-deeper/examples.md by @zliu41 in #6487
• Remove "Exporting scripts, datums and redeemers" from user guide by @zliu41 in #6486
• Update plutus-tx-template.yml by @zliu41 in #6489
• Update DESCRIPTION.md file by @zeme-wana in #6491
• Rename and improve the Plutus foundation page by @zliu41 in #6488
• Fix a broken link on the doc site by @zliu41 in #6500
• Promote and improve the glossary page by @zliu41 in #6493
• Fix a broken doc link by @zliu41 in #6503
• Separate Docusaurus Build & Deploy Workflow Steps by @zeme-wana in #6496
• Remove use of --pure in scripts/prepare-bins.sh by @zeme-wana in #6495
• Merge top-level and docusaurus flakes by @zeme-wana in #6497
• Use NOINLINE on stringToBuiltinByteString and stringToBuiltinString by @zliu41 in #6501
• [Errors] Test that evaluation of a well-typed term doesn't fail with a structural error by @effectfully in #6443
• [Refactoring] Tweak 'PlutusTx.Data.AssocMap' by @effectfully in #6509
• [Refactoring] Replace 'NOINLINE' with 'OPAQUE' by @effectfully in #6507
• Add version select to haddock index page by @zeme-wana in #6499
• Remove plutus-ghc-stub by @zliu41 in #6514
• Remove the Plutus Platform page by @zliu41 in #6506
• Make the auction example end-to-end by @zliu41 in #6477
• Mark && and || OPAQUE by @zliu41 in #6510
• Translation relation and decision procedure for the Float-Delay by @ramsay-t in #6482
• This seems 'too easy' but to certify things I don't think it needs to be more complex? by @ramsay-t in #6513
• Rework the "Using Plutus Tx" section of the user guide by @zliu41 in #6516
• Fix some issues and inconsistencies related to pretty-printing by @zliu41 in #6515
• Add workflow_dispatch event to slack-message-broker.yml by @zeme-wana in #6535
• [Builtins] Disable 'writeBits' for chang+1 by @effectfully in #6536
• Release 1.35.0.0 by @ramsay-t in #6538

Full Changelog: 1.34.1.0...1.35.0.0

1.34.1.0

What's Changed

• Add verified compilation certification component by @ana-pantilie in #6413
• Kwxm/conformance/extra bitwise tests by @kwxm in #6453
• Update RELEASE.adoc by @bezirg in #6458
• Revise and improve the troubleshooting guide by @zliu41 in #6451
• Put the TOTAL line for a benchmark comparison in a table of its own by @kwxm in #6456
• Fix regression in findFirstSetBit, ensure it doesn't come back with a property test by @kozross in #6461
• Fix printing of type variables in print-builtin-signatures by @kwxm in #6463
• Fix Sprint Issues Rollover Workflow by @zeme-wana in #6466
• Test by @kwxm in #6465
• Kwxm/ci/visible total by @kwxm in #6470
• Try yet again by @kwxm in #6472
• [spec] update conway info by @bezirg in #6467
• Address Dependabot Alerts for Docusaurus by @zeme-wana in #6475
• Fix typo by @kwxm in #6474
• Blueprints: calculate script hash the right way. by @Unisay in #6476
• Add a few more common mistakes to the troubleshooting guide by @zliu41 in #6460
• Align with the OSC Documentation Policy by @zeme-wana in #6446
• Add forgotten changelong entry by @kwxm in #6480
• Finalize CODEOWNERS.md by @zeme-wana in #6481
• Updated blueprints documentation page. by @Unisay in #6464
• Address review comments on "Overview of Languages Compiling to UPLC" by @zliu41 in #6479
• [Builtins] [Test] Dump denotation signatures to golden files by @effectfully in #6462
• [Test] Remove uniques from 'Profiling' tests by @effectfully in #6483
• [Test] Check in a forgotten golden file by @effectfully in #6484
• Release 1.34.1.0 by @kwxm in #6485

Full Changelog: 1.34.0.0...1.34.1.0

1.34.0.0

What's Changed

• HasBlueprintSchema and HasBlueprintDefinition instances by @Unisay in #6271
• Fix documentation typo by @colll78 in #6435
• Fix incorrect documentation regarding registration certifications by @colll78 in #6436
• chore(deps): bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.4 by @dependabot in #6437
• chore(deps): bump slackapi/slack-github-action from 1.26.0 to 1.27.0 by @dependabot in #6433
• [Errors] Swap operational and structural errors by @effectfully in #6439
• Add a note in the Haddock of currencySymbolValueOf by @zliu41 in #6444
• Add packages to CHaP release docs by @ana-pantilie in #6447
• Re-enable failing CES tests by @zeme-wana in #6448
• Add a compiler flag for the evaluateBuiltins pass by @zliu41 in #6450
• Enable Chang+1 builtins at Chang+1 and add them to V3.ParamName by @zliu41 in #6449
• Release 1.34.0.0 by @bezirg in #6452

New Contributors

• @colll78 made their first contribution in #6435

Full Changelog: 1.33.1.0...1.34.0.0

Release 1.33.1.0

What's Changed

• Remove Haddock from inside data declaration by @ana-pantilie in #6430
• Release 1.33.1.0 by @ana-pantilie in #6431

Full Changelog: v1.33.0.0...v1.33.1.0

Release 1.33.0.0

What's Changed

• Conformance cases for writeBits by @kozross in #6362
• Some comments on deprecated tests by @bezirg in #6388
• Fix Agda interface to shiftByteString and rotateByteString by @kwxm in #6385
• Update chap&hackage nix flake sha by @bezirg in #6387
• Conformance for rotateByteString by @kozross in #6364
• Update RELEASE.adoc by @bezirg in #6395
• Remove trailing whitespace in Agda code by @kwxm in #6377
• Hide bitwise internals by @kwxm in #6386
• Add a data-backed ScriptContext by @ana-pantilie in #6171
• Add a page about different notions of version by @zliu41 in #6375
• Remove uniques from some golden files by @zliu41 in #6402
• Remove ADRs from user documentation by @zliu41 in #6401
• Kwxm/mlabs/koz/ed25519 by @kwxm in #6404
• Conformance tests for replicateByte by @kwxm in #6392
• Add 'VerifiedCompilation' blob by @effectfully in #6380
• Add a page explaining script purposes by @zliu41 in #6403
• Add a page comparing Plutus V1, V2 and V3 by @zliu41 in #6400
• ripemd_160builtin by @kwxm in #6378
• Rename the "Reference" section to "Delve Deeper" by @zliu41 in #6405
• Move comment below title in plutus-tx-compiler-options.md by @zliu41 in #6410
• Add sprint-issues-rolloever.yml workflow by @zeme-wana in #6407
• Move cross-compiling logic from project.nix to cabal by @zeme-wana in #6299
• Support Versioned Metatheory Site by @zeme-wana in #6412
• Test Sprint Issues Rollover Workflow On Private Project by @zeme-wana in #6411
• [plinth][plc][api] Draft implementation of 'modularExponentiation' builtin by @bezirg in #6348
• Workarounds to make constitution executable optionally buildable. by @bezirg in #6418
• Kwxm/metatheory/fix test2 by @kwxm in #6414
• Remove PyF from plutus-tx-plugin by @zliu41 in #6420
• update mesh by @jinglescode in #6417
• Add a page comparing languages targeting UPLC by @zliu41 in #6409
• Update hard fork names had Haddock by @zliu41 in #6427
• Release 1.33.0.0 by @ana-pantilie in #6429

New Contributors

• @jinglescode made their first contribution in #6417

Full Changelog: 1.32.0.0...v1.33.0.0

1.32.0.0

What's Changed

• Reverse hunk test_multiSplitSound by @bezirg in #6324
• Kwxm/costing/bitwise 4 by @kwxm in #6301
• 8-queens using bitwise primops benchmark by @kozross in #6311
• [Plinth] [Builtins] Fix 'writeBits' by @effectfully in #6329
• [Plinth] Ban using 'toBuiltin' and 'fromBuiltin' by @effectfully in #6342
• Kwxm/bitwise/enable nqueens benchmark by @kwxm in #6343
• [plc] Support for Natural numbers in the universe, backed by Integer by @bezirg in #6346
• nothunks ^>= 0.2 by @Unisay in #6349
• Make NumBytesCostedAsNumWords use Integer instead of Int by @kwxm in #6350
• [Benchmark] Reduce the number of benchmarks by @effectfully in #6328
• [Test] Improve distribution of generated integers by @effectfully in #6315
• [Plinth] [Builtins] Add a general 'mkNil' by @effectfully in #6347
• [Refactoring] Use 'KnownBuiltinTypeIn' instead of 'HasConstant' consistently by @effectfully in #6353
• Restore auto generation of compiler option table by @zliu41 in #6373
• Add the bitwise builtins to the metatheory by @kwxm in #6368
• Restore CI checks for doc site code by @zliu41 in #6376
• andByteString conformance cases by @kozross in #6356
• Conformance cases for complementByteString by @kozross in #6359
• Conformance for orByteString by @kozross in #6357
• Conformance cases for readBit by @kozross in #6360
• Conformance for shiftByteString by @kozross in #6363
• Conformance for findFirstSetBit by @kozross in #6366
• Conformance for xorByteString by @kozross in #6358
• Conformance for countSetBits by @kozross in #6365
• Release 1.32.0.0 by @Jimbo4350 in #6374

Full Changelog: 1.31.0.0...1.32.0.0

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

1.30.0.0

What's Changed

• Update update-version.sh to match package names less greedily by @kwxm in #6174
• More error checking for update-vesion.sh by @kwxm in #6179
• Reorganized Plutus user guide on the Docusaurus platform initial deployment by @joseph-fajen in #6177
• Initial version of new combined-haddock.yml workflow by @zeme-wana in #6182
• [Builtins] Make 'BuiltinSuccess' the first constructor by @effectfully in #5885
• [PlutusLedgerApi] [Refactoring] Polish imports and exports by @effectfully in #6178
• Adding link to Haddock documentation to index.md by @joseph-fajen in #6187
• removing outdated and incorrect content from the Plutus platform page by @joseph-fajen in #6188
• Add Data.Value to PlutusLedgerAPI by @ana-pantilie in #6143
• added the term Haddock where the public Plutus code libraries are men… by @joseph-fajen in #6190
• Refactored Serialise/Flat-Via. Fixes #6083 by @bezirg in #6144
• Add Redeemer to V3 ScriptContext Pretty instance by @ana-pantilie in #6191
• Logical operations by @kozross in #5970
• Combined Haddock Generation by @zeme-wana in #6146
• Run nightly tests on plutus-shared instead of plutus-benchmark by @zeme-wana in #6195
• Run combined-haddock.yml workflow on plutus-shared instead of plutus-runner by @zeme-wana in #6196
• Fix combined_haddock.sh script by @zeme-wana in #6199
• [Test] [Builtins] Add golden tests with unlifting errors by @effectfully in #6189
• Changed the term "Documentation" to "User guide" in the upper left area of the docs site by @joseph-fajen in #6200
• Update Alert Message in longitudinal-benchmark.yml by @zeme-wana in #6201
• [Test] Add missing bitwise builtins golden files by @effectfully in #6204
• [Errors] Preserve operational unlifting errors by @effectfully in #6181
• Docs raise visibility code libraries by @joseph-fajen in #6203
• [Test] [Builtin] Polish 'MakeRead' tests by @effectfully in #6202
• Remove AssocMap comparison instances by @ana-pantilie in #6173
• Update README.adoc by @joseph-fajen in #6206
• Remove PyF as it depends on GHC and causes depenecy conflicts downstream by @Unisay in #6208
• Bitwise operations by @kozross in #6090
• Reduce coverage limits for signature verification tests by @kwxm in #6209
• Moved the Getting Started page for higher visibility by @joseph-fajen in #6211
• Haskell Eq for AssocMap by @ana-pantilie in #6213
• Shorten some filenames in the conformance tests by @kwxm in #6214
• MK-5422 move getting started page fixing link by @joseph-fajen in #6215
• [Evaluation] Move stuff under enterComputeCek by @effectfully in #6156

Full Changelog: 1.29.0.0...1.30.0.0