All pull requests

Pull requests

• Fix plugin unable to resolve variable reference when parsing list

  Plinth Plugin
  #7971·SeungheonOh opened Sep 30, 2026Contributor·

  ·
  1

  

• Publish plutus-executables to CHaP

  #7969·zeme-wana opened Sep 30, 2026Collaborator·

  ·
  1

• Fix scope check

  #7968·basetunnel opened Sep 30, 2026Contributor·

  ·
  1

  4

• [WIP] Feat/blueprint field names

  #7953·RSoulatIOHK opened Sep 15, 2026Contributor·

  ·

• Evaluate Scott caseInteger scrutinee once

  #7951·DicksonWu654 opened Sep 12, 2026·

  ·

• Reject non-positive CEK machine costs

  #7950·DicksonWu654 opened Sep 12, 2026·

  ·
  1

• Require exact product arity in generated FromData

  #7949·DicksonWu654 opened Sep 12, 2026·

  ·

• Make Data AssocMap FromData shape-safe

  #7948·DicksonWu654 opened Sep 12, 2026·

  ·

• Fix lookupCoin and valueContains memory models to match the committed JSON

  No Changelog Required
  #7941·Unisay opened Sep 9, 2026Contributor·

  ·
  

• Specify casing on built-in types

  BuiltinsNo Changelog RequiredPlutus CoreSpecification
  #7933·kwxm opened Sep 3, 2026Contributor·

  ·
  28

• Say where each cost model page's data-source values came from

  No Changelog Required
  #7931·Unisay opened Sep 1, 2026Contributor·

  ·
  1

  

• [Metatheory] Fix eqDATA, array equality and remove builtinEq

  #7923·ana-pantilie opened Aug 24, 2026Contributor·

  ·

• [do not merge] V in Data

  Do not mergeNo Changelog Required
  #7910·zliu41 opened Aug 18, 2026Member·

  ·
  10

• Support ghc 9.14 in nix

  No Changelog Required
  #7900·zeme-wana opened Aug 17, 2026Collaborator·

  ·

• Compile BuiltinData transparently in the plugin

  Plinth Plugin
  #7863·Unisay opened Jul 22, 2026Contributor·

  ·
  

• Builtin Pattern Matching

  ASTDo not mergePlutus Core
  #7852·SeungheonOh opened Jul 16, 2026Contributor·

  ·
  

• Update docusaurus yarn.lock dependecies

  No Changelog Required
  #7849·zeme-wana opened Jul 16, 2026Collaborator·

  ·
  1

• Fix certifier nontermination

  #7841·ana-pantilie opened Jul 10, 2026Contributor·

  ·
  1

• Add ghc9123 variant and Windows TH crash stress harness

  #7836·zeme-wana opened Jul 9, 2026Collaborator·

  ·
  1

• Update docusaurus/yarn.lock dependencies

  #7826·zeme-wana opened Jul 1, 2026Collaborator·

  ·
  1

• Certifier: Add decision procedure for hoist-builtins pass

  #7822·basetunnel opened Jun 19, 2026Contributor·

  ·
  7

• Add Plinth parsed-AST deriving plugin to plutus-tx-plugin

  #7818·Icelandjack opened Jun 16, 2026·

  ·
  8

• WIP: contextual semantics

  #7795·ana-pantilie opened May 26, 2026Contributor·

  ·

• chore(deps): bump actions/upload-artifact from 4 to 7

  dependenciesgithub_actions
  #7775·dependabot[bot] opened May 11, 2026Bot·

  ·

• Use reflection to generate injectivity proof for builtins

  #7746·ana-pantilie opened Apr 28, 2026Contributor·

  ·