-
Notifications
You must be signed in to change notification settings - Fork 509
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#7890 In IntersectMBO/plutus;
- Status: Open.#7889 In IntersectMBO/plutus;
- Status: Open.#7885 In IntersectMBO/plutus;
eqByteString and three BLS12-381 equalities are stubbed to always return true, not left as postulates
status: needs triageGH issues that requires triageGH issues that requires triageStatus: Open.#7882 In IntersectMBO/plutus;Agda metatheory has no notion of builtin semantics variants (protocol-era-dependent builtin behavior) -- consByteString is the current concrete case
status: needs triageGH issues that requires triageGH issues that requires triageStatus: Open.#7881 In IntersectMBO/plutus;- Status: Open.#7813 In IntersectMBO/plutus;
- Status: Open.#7791 In IntersectMBO/plutus;
- Status: Open.#7722 In IntersectMBO/plutus;
- Status: Open.#7654 In IntersectMBO/plutus;
- Status: Open.#7604 In IntersectMBO/plutus;