plutus - 91 commits this week

Home / Input Output / plutus

Insights Pull Requests

Mar 10, 8-9 AM (1)

Mar 10, 9-10 AM (0)

Mar 10, 10-11 AM (0)

Mar 10, 11-12 PM (1)

Mar 10, 12-1 PM (0)

Mar 10, 1-2 PM (0)

Mar 10, 2-3 PM (0)

Mar 10, 3-4 PM (0)

Mar 10, 4-5 PM (3)

Mar 10, 5-6 PM (7)

Mar 10, 6-7 PM (0)

Mar 10, 7-8 PM (3)

Mar 10, 8-9 PM (2)

Mar 10, 9-10 PM (1)

Mar 10, 10-11 PM (1)

Mar 10, 11-12 AM (2)

Mar 11, 12-1 AM (2)

Mar 11, 1-2 AM (2)

Mar 11, 2-3 AM (1)

Mar 11, 3-4 AM (0)

Mar 11, 4-5 AM (0)

Mar 11, 5-6 AM (0)

Mar 11, 6-7 AM (2)

Mar 11, 7-8 AM (1)

Mar 11, 8-9 AM (1)

Mar 11, 9-10 AM (1)

Mar 11, 10-11 AM (2)

Mar 11, 11-12 PM (1)

Mar 11, 12-1 PM (0)

Mar 11, 1-2 PM (1)

Mar 11, 2-3 PM (0)

Mar 11, 3-4 PM (1)

Mar 11, 4-5 PM (0)

Mar 11, 5-6 PM (0)

Mar 11, 6-7 PM (0)

Mar 11, 7-8 PM (0)

Mar 11, 8-9 PM (1)

Mar 11, 9-10 PM (1)

Mar 11, 10-11 PM (0)

Mar 11, 11-12 AM (3)

Mar 12, 12-1 AM (2)

Mar 12, 1-2 AM (1)

Mar 12, 2-3 AM (0)

Mar 12, 3-4 AM (1)

Mar 12, 4-5 AM (1)

Mar 12, 5-6 AM (0)

Mar 12, 6-7 AM (0)

Mar 12, 7-8 AM (0)

Mar 12, 8-9 AM (0)

Mar 12, 9-10 AM (0)

Mar 12, 10-11 AM (0)

Mar 12, 11-12 PM (0)

Mar 12, 12-1 PM (0)

Mar 12, 1-2 PM (4)

Mar 12, 2-3 PM (1)

Mar 12, 3-4 PM (0)

Mar 12, 4-5 PM (0)

Mar 12, 5-6 PM (0)

Mar 12, 6-7 PM (0)

Mar 12, 7-8 PM (0)

Mar 12, 8-9 PM (0)

Mar 12, 9-10 PM (0)

Mar 12, 10-11 PM (0)

Mar 12, 11-12 AM (0)

Mar 13, 12-1 AM (0)

Mar 13, 1-2 AM (2)

Mar 13, 2-3 AM (0)

Mar 13, 3-4 AM (0)

Mar 13, 4-5 AM (0)

Mar 13, 5-6 AM (0)

Mar 13, 6-7 AM (1)

Mar 13, 7-8 AM (0)

Mar 13, 8-9 AM (0)

Mar 13, 9-10 AM (1)

Mar 13, 10-11 AM (1)

Mar 13, 11-12 PM (1)

Mar 13, 12-1 PM (2)

Mar 13, 1-2 PM (1)

Mar 13, 2-3 PM (1)

Mar 13, 3-4 PM (0)

Mar 13, 4-5 PM (0)

Mar 13, 5-6 PM (0)

Mar 13, 6-7 PM (0)

Mar 13, 7-8 PM (1)

Mar 13, 8-9 PM (0)

Mar 13, 9-10 PM (0)

Mar 13, 10-11 PM (1)

Mar 13, 11-12 AM (1)

Mar 14, 12-1 AM (0)

Mar 14, 1-2 AM (0)

Mar 14, 2-3 AM (0)

Mar 14, 3-4 AM (0)

Mar 14, 4-5 AM (0)

Mar 14, 5-6 AM (0)

Mar 14, 6-7 AM (0)

Mar 14, 7-8 AM (0)

Mar 14, 8-9 AM (0)

Mar 14, 9-10 AM (0)

Mar 14, 10-11 AM (0)

Mar 14, 11-12 PM (0)

Mar 14, 12-1 PM (0)

Mar 14, 1-2 PM (0)

Mar 14, 2-3 PM (0)

Mar 14, 3-4 PM (0)

Mar 14, 4-5 PM (0)

Mar 14, 5-6 PM (0)

Mar 14, 6-7 PM (0)

Mar 14, 7-8 PM (0)

Mar 14, 8-9 PM (0)

Mar 14, 9-10 PM (0)

Mar 14, 10-11 PM (0)

Mar 14, 11-12 AM (0)

Mar 15, 12-1 AM (0)

Mar 15, 1-2 AM (0)

Mar 15, 2-3 AM (0)

Mar 15, 3-4 AM (0)

Mar 15, 4-5 AM (0)

Mar 15, 5-6 AM (0)

Mar 15, 6-7 AM (0)

Mar 15, 7-8 AM (0)

Mar 15, 8-9 AM (0)

Mar 15, 9-10 AM (0)

Mar 15, 10-11 AM (0)

Mar 15, 11-12 PM (0)

Mar 15, 12-1 PM (0)

Mar 15, 1-2 PM (0)

Mar 15, 2-3 PM (0)

Mar 15, 3-4 PM (0)

Mar 15, 4-5 PM (0)

Mar 15, 5-6 PM (0)

Mar 15, 6-7 PM (0)

Mar 15, 7-8 PM (0)

Mar 15, 8-9 PM (0)

Mar 15, 9-10 PM (0)

Mar 15, 10-11 PM (0)

Mar 15, 11-12 AM (1)

Mar 16, 12-1 AM (0)

Mar 16, 1-2 AM (0)

Mar 16, 2-3 AM (0)

Mar 16, 3-4 AM (0)

Mar 16, 4-5 AM (0)

Mar 16, 5-6 AM (0)

Mar 16, 6-7 AM (0)

Mar 16, 7-8 AM (0)

Mar 16, 8-9 AM (0)

Mar 16, 9-10 AM (1)

Mar 16, 10-11 AM (0)

Mar 16, 11-12 PM (1)

Mar 16, 12-1 PM (1)

Mar 16, 1-2 PM (4)

Mar 16, 2-3 PM (4)

Mar 16, 3-4 PM (2)

Mar 16, 4-5 PM (2)

Mar 16, 5-6 PM (1)

Mar 16, 6-7 PM (3)

Mar 16, 7-8 PM (0)

Mar 16, 8-9 PM (1)

Mar 16, 9-10 PM (1)

Mar 16, 10-11 PM (0)

Mar 16, 11-12 AM (1)

Mar 17, 12-1 AM (0)

Mar 17, 1-2 AM (3)

Mar 17, 2-3 AM (0)

Mar 17, 3-4 AM (1)

Mar 17, 4-5 AM (1)

Mar 17, 5-6 AM (0)

Mar 17, 6-7 AM (0)

Mar 17, 7-8 AM (0)

Mar 17, 8-9 AM (0)

91 commits this week Mar 10, 2026 - Mar 17, 2026

zliu41 · Tue, 17 Mar 26 05:03:01 +0000 · plutus

Deploying to gh-pages from @ IntersectMBO/plutus@642f61c172058fb6fe84178bb419dd789df8e0dc 🚀

53b755f4 · gh-pages · No file changes

zliu41 · Tue, 17 Mar 26 04:02:35 +0000 · plutus

Deploying to gh-pages from @ IntersectMBO/plutus@642f61c172058fb6fe84178bb419dd789df8e0dc 🚀

6df1791b · undefined · No file changes

colll78 · Tue, 17 Mar 26 02:46:49 +0000 · plutus

verifyEcdsaSecp256k1Signature Documentation is wrong (#7671)

verifyEcdsaSecp256k1Signature works on a 33 byte public key not a 32 byte public key.

642f61c1 · master · 1/1 ++ 1 --

colll78 · Tue, 17 Mar 26 02:40:17 +0000 · plutus

verifyEcdsaSecp256k1Signature Documentation is wrong

verifyEcdsaSecp256k1Signature works on a 33 byte public key not a 32 byte public key.

70cad354 · pull/7671/head · 1/1 ++ 1 --

zliu41 · Tue, 17 Mar 26 02:08:49 +0000 · plutus

certifier: translation relation & decision procedure for ApplyToCase

2cd083b7 · zliu41/uapplytocase · 9/323 ++ 39 --

zliu41 · Tue, 17 Mar 26 00:08:47 +0000 · plutus

wip

5e0be0a8 · zliu41/uapplytocase · 1/81 ++ 0 --

github · Mon, 16 Mar 26 22:45:37 +0000 · plutus

add Plutus Benchmarks (customSmallerIsBetter) benchmark result for b130fd130af66ba4d86d22cce76cc6ccac685ad1

7c44bcf8 · gh-pages · 1/2,025 ++ 1 --

zliu41 · Mon, 16 Mar 26 21:19:41 +0000 · plutus

Deploying to gh-pages from @ IntersectMBO/plutus@b130fd130af66ba4d86d22cce76cc6ccac685ad1 🚀

8118f060 · gh-pages · No file changes

zliu41 · Mon, 16 Mar 26 19:35:24 +0000 · plutus

Deploying to gh-pages from @ IntersectMBO/plutus@b130fd130af66ba4d86d22cce76cc6ccac685ad1 🚀

ab927ad4 · undefined · No file changes

dependabot[bot] · Mon, 16 Mar 26 19:13:08 +0000 · plutus

chore(deps): bump slackapi/slack-github-action from 2.1.0 to 3.0.1 (#7665)

Bumps [slackapi/slack-github-action](https://github.com/slackapi/slack-github-action) from 2.1.0 to 3.0.1.
- [Release notes](https://github.com/slackapi/slack-github-action/releases)
- [Commits](https://github.com/slackapi/slack-github-action/compare/v2.1.0...v3.0.1)

---
updated-dependencies:
- dependency-name: slackapi/slack-github-action
  dependency-version: 3.0.1
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

b130fd13 · master · 1/1 ++ 1 --

zliu41 · Mon, 16 Mar 26 19:07:24 +0000 · plutus

Make Value's flat/cbor decoder consistent with unValueData

7eabd633 · zliu41/decodevalue · 2/117 ++ 65 --

zliu41 · Mon, 16 Mar 26 18:17:28 +0000 · plutus

Deploying to gh-pages from @ IntersectMBO/plutus@962e6a62c1da550b34f43cd1c9778b232655a5bf 🚀

73198999 · undefined · No file changes

zliu41 · Mon, 16 Mar 26 17:36:37 +0000 · plutus

Deploying to gh-pages from @ IntersectMBO/plutus@7baaf5b51ff7f722b46b40ffaa866c1351cf913c 🚀

1f854864 · undefined · No file changes

zliu41 · Mon, 16 Mar 26 17:03:08 +0000 · plutus

Implement Flat.size method for Value

3abe6730 · zliu41/encodevalue · 1/2 ++ 0 --

zliu41 · Mon, 16 Mar 26 16:58:51 +0000 · plutus

Plinth: improve error reporting for unsupported Haskell features (#7659)

7baaf5b5 · master · 17/257 ++ 13 --

zliu41 · Mon, 16 Mar 26 16:27:56 +0000 · plutus

Deploying to gh-pages from @ IntersectMBO/plutus@962e6a62c1da550b34f43cd1c9778b232655a5bf 🚀

6d1d3f70 · undefined · No file changes

zliu41 · Mon, 16 Mar 26 15:38:39 +0000 · plutus

Merge branch 'master' of github.com:IntersectMBO/plutus into zliu41/unsupported

a77e226f · zliu41/unsupported · 98/6,213 ++ 263,373 --

basetunnel · Mon, 16 Mar 26 15:35:18 +0000 · plutus

Simplify main agda module of certifier (#7574)

962e6a62 · master · 72/5,716 ++ 263,064 --

zliu41 · Mon, 16 Mar 26 15:30:21 +0000 · plutus

Deploying to gh-pages from @ IntersectMBO/plutus@f9c03faf134964ffcf8a0b1e7a376c805718c062 🚀

b60dc283 · undefined · No file changes

Unisay · Mon, 16 Mar 26 15:06:15 +0000 · plutus

fix(plutus-ledger-api): add 0x prefix to TokenName Show instance (#7667)

Use asBase16 instead of bare encodeByteString in the Show instance
for TokenName, adding a 0x prefix to make hex output unambiguous.
This aligns Show with the existing toString function.

1584608a · master · 4/18 ++ 18 --

basetunnel · Mon, 16 Mar 26 14:42:27 +0000 · plutus

Unicode symbol for notimplemented in report

387710fb · pull/7574/head · 2/2 ++ 2 --

zliu41 · Mon, 16 Mar 26 14:17:09 +0000 · plutus

Generate a destructor function for AsData (#7664)

f9c03faf · master · 21/390 ++ 291 --

github · Mon, 16 Mar 26 14:07:51 +0000 · plutus

add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 0f8220098176d2ddd4491c1d485538bc3162ffc4

44e428d1 · gh-pages · 1/2,025 ++ 1 --

basetunnel · Mon, 16 Mar 26 14:01:35 +0000 · plutus

Simplify main certifier module

14d9913c · basetunnel/cert-interface · 72/5,716 ++ 263,064 --

Unisay · Mon, 16 Mar 26 13:20:36 +0000 · plutus

fix(plutus-ledger-api): add 0x prefix to TokenName Show instance

Use asBase16 instead of bare encodeByteString in the Show instance
for TokenName, adding a 0x prefix to make hex output unambiguous.
This aligns Show with the existing toString function.

f1201714 · yura/issue-7638-show-instance-for-tokenname-assumes-utf8 · 4/18 ++ 18 --

Show more commits

Showing 25 of 91 recent commits. Check out Input Output on GitHub to see more.