All issues

Search results

plutus-tx-plugin 1.70.0.0 and 1.71.0.0 crash when compiling unsafeFromBuiltinData for PlutusLedgerApi.V4.ScriptContext

status: needs triageGH issues that requires triageGH issues that requires triage

Status: Open.

#7970 In IntersectMBO/plutus;

· carbolymer opened on Sep 30, 2026

checkScope does not traverse Constr/Case: free variables inside SOP terms pass the ledger scope check

bug

Untyped Plutus Core

Status: Open.

#7965 In IntersectMBO/plutus;

· nau opened on Sep 24, 2026

Let the type enforce the no-zero invariant of Value's two count maps

status: needs triageGH issues that requires triageGH issues that requires triage

Status: Open.

#7961 In IntersectMBO/plutus;

· Unisay opened on Sep 23, 2026

Reduce special case handling for CaseReduce on data matching

Plinth

Status: Open.

Feature

#7942 In IntersectMBO/plutus;

· SeungheonOh opened on Sep 10, 2026

Decide: require explicit size-measure wrappers for Value in builtin denotations

Status: Open.

#7934 In IntersectMBO/plutus;

· Unisay opened on Sep 4, 2026

NEAT test suite: missing builtins + investigation

Internal

status: triaged

Test

Status: Open.

#7885 In IntersectMBO/plutus;

· ana-pantilie opened on Aug 10, 2026

eqByteString and three BLS12-381 equalities are stubbed to always return true, not left as postulates

Internal

Metatheory

status: needs action from the team

Status: Open.

#7882 In IntersectMBO/plutus;

· jmchapman opened on Aug 8, 2026

Agda metatheory has no notion of builtin semantics variants (protocol-era-dependent builtin behavior) -- consByteString is the current concrete case

Metatheory

status: needs action from the team

Status: Open.

#7881 In IntersectMBO/plutus;

· jmchapman opened on Aug 8, 2026

UPLC textual parser (plutus-core 1.45.0.0): fails to parse large (case (constr 0 ...) (lam ...)) when branch body is ~490 lines

status: triaged

Status: Open.

Bug

#7742 In IntersectMBO/plutus;

· Unisay opened on Apr 24, 2026

Make profiling output include better source span

Internal

status: triaged

Status: Open.

#7722 In IntersectMBO/plutus;

· SeungheonOh opened on Apr 16, 2026

BuiltinCasing crashes on GHC.Prim.Addr# when a join point exposes Data in its type

bug

Internal

Plinth Plugin

status: triaged

Status: Open.

Bug

#7716 In IntersectMBO/plutus;

· Unisay opened on Apr 14, 2026

Mainnet compatibility of Plutus releases is not discoverable

Internal

status: triaged

Status: Open.

#7654 In IntersectMBO/plutus;

· Unisay opened on Mar 9, 2026