plutus - 75 commits this week

Home / Input Output / plutus

Insights Pull Requests

Apr 04, 2-3 AM (0)

Apr 04, 3-4 AM (0)

Apr 04, 4-5 AM (0)

Apr 04, 5-6 AM (0)

Apr 04, 6-7 AM (0)

Apr 04, 7-8 AM (0)

Apr 04, 8-9 AM (0)

Apr 04, 9-10 AM (0)

Apr 04, 10-11 AM (0)

Apr 04, 11-12 PM (0)

Apr 04, 12-1 PM (0)

Apr 04, 1-2 PM (0)

Apr 04, 2-3 PM (0)

Apr 04, 3-4 PM (0)

Apr 04, 4-5 PM (0)

Apr 04, 5-6 PM (0)

Apr 04, 6-7 PM (0)

Apr 04, 7-8 PM (0)

Apr 04, 8-9 PM (0)

Apr 04, 9-10 PM (0)

Apr 04, 10-11 PM (0)

Apr 04, 11-12 AM (0)

Apr 05, 12-1 AM (0)

Apr 05, 1-2 AM (0)

Apr 05, 2-3 AM (0)

Apr 05, 3-4 AM (0)

Apr 05, 4-5 AM (0)

Apr 05, 5-6 AM (0)

Apr 05, 6-7 AM (0)

Apr 05, 7-8 AM (0)

Apr 05, 8-9 AM (0)

Apr 05, 9-10 AM (0)

Apr 05, 10-11 AM (0)

Apr 05, 11-12 PM (0)

Apr 05, 12-1 PM (0)

Apr 05, 1-2 PM (0)

Apr 05, 2-3 PM (0)

Apr 05, 3-4 PM (0)

Apr 05, 4-5 PM (0)

Apr 05, 5-6 PM (0)

Apr 05, 6-7 PM (0)

Apr 05, 7-8 PM (0)

Apr 05, 8-9 PM (0)

Apr 05, 9-10 PM (0)

Apr 05, 10-11 PM (0)

Apr 05, 11-12 AM (0)

Apr 06, 12-1 AM (0)

Apr 06, 1-2 AM (0)

Apr 06, 2-3 AM (0)

Apr 06, 3-4 AM (0)

Apr 06, 4-5 AM (0)

Apr 06, 5-6 AM (0)

Apr 06, 6-7 AM (0)

Apr 06, 7-8 AM (0)

Apr 06, 8-9 AM (0)

Apr 06, 9-10 AM (0)

Apr 06, 10-11 AM (1)

Apr 06, 11-12 PM (0)

Apr 06, 12-1 PM (3)

Apr 06, 1-2 PM (0)

Apr 06, 2-3 PM (0)

Apr 06, 3-4 PM (0)

Apr 06, 4-5 PM (0)

Apr 06, 5-6 PM (0)

Apr 06, 6-7 PM (0)

Apr 06, 7-8 PM (0)

Apr 06, 8-9 PM (0)

Apr 06, 9-10 PM (0)

Apr 06, 10-11 PM (0)

Apr 06, 11-12 AM (0)

Apr 07, 12-1 AM (0)

Apr 07, 1-2 AM (0)

Apr 07, 2-3 AM (0)

Apr 07, 3-4 AM (0)

Apr 07, 4-5 AM (0)

Apr 07, 5-6 AM (0)

Apr 07, 6-7 AM (0)

Apr 07, 7-8 AM (3)

Apr 07, 8-9 AM (0)

Apr 07, 9-10 AM (3)

Apr 07, 10-11 AM (1)

Apr 07, 11-12 PM (2)

Apr 07, 12-1 PM (2)

Apr 07, 1-2 PM (1)

Apr 07, 2-3 PM (1)

Apr 07, 3-4 PM (1)

Apr 07, 4-5 PM (1)

Apr 07, 5-6 PM (0)

Apr 07, 6-7 PM (1)

Apr 07, 7-8 PM (0)

Apr 07, 8-9 PM (2)

Apr 07, 9-10 PM (1)

Apr 07, 10-11 PM (0)

Apr 07, 11-12 AM (4)

Apr 08, 12-1 AM (0)

Apr 08, 1-2 AM (0)

Apr 08, 2-3 AM (0)

Apr 08, 3-4 AM (1)

Apr 08, 4-5 AM (2)

Apr 08, 5-6 AM (2)

Apr 08, 6-7 AM (3)

Apr 08, 7-8 AM (0)

Apr 08, 8-9 AM (1)

Apr 08, 9-10 AM (1)

Apr 08, 10-11 AM (1)

Apr 08, 11-12 PM (1)

Apr 08, 12-1 PM (1)

Apr 08, 1-2 PM (0)

Apr 08, 2-3 PM (0)

Apr 08, 3-4 PM (0)

Apr 08, 4-5 PM (0)

Apr 08, 5-6 PM (0)

Apr 08, 6-7 PM (0)

Apr 08, 7-8 PM (1)

Apr 08, 8-9 PM (0)

Apr 08, 9-10 PM (0)

Apr 08, 10-11 PM (0)

Apr 08, 11-12 AM (0)

Apr 09, 12-1 AM (0)

Apr 09, 1-2 AM (1)

Apr 09, 2-3 AM (0)

Apr 09, 3-4 AM (1)

Apr 09, 4-5 AM (1)

Apr 09, 5-6 AM (1)

Apr 09, 6-7 AM (0)

Apr 09, 7-8 AM (0)

Apr 09, 8-9 AM (0)

Apr 09, 9-10 AM (0)

Apr 09, 10-11 AM (0)

Apr 09, 11-12 PM (0)

Apr 09, 12-1 PM (3)

Apr 09, 1-2 PM (2)

Apr 09, 2-3 PM (0)

Apr 09, 3-4 PM (0)

Apr 09, 4-5 PM (0)

Apr 09, 5-6 PM (1)

Apr 09, 6-7 PM (1)

Apr 09, 7-8 PM (2)

Apr 09, 8-9 PM (3)

Apr 09, 9-10 PM (1)

Apr 09, 10-11 PM (5)

Apr 09, 11-12 AM (2)

Apr 10, 12-1 AM (0)

Apr 10, 1-2 AM (1)

Apr 10, 2-3 AM (0)

Apr 10, 3-4 AM (0)

Apr 10, 4-5 AM (0)

Apr 10, 5-6 AM (0)

Apr 10, 6-7 AM (0)

Apr 10, 7-8 AM (0)

Apr 10, 8-9 AM (0)

Apr 10, 9-10 AM (0)

Apr 10, 10-11 AM (1)

Apr 10, 11-12 PM (1)

Apr 10, 12-1 PM (1)

Apr 10, 1-2 PM (2)

Apr 10, 2-3 PM (0)

Apr 10, 3-4 PM (4)

Apr 10, 4-5 PM (0)

Apr 10, 5-6 PM (0)

Apr 10, 6-7 PM (0)

Apr 10, 7-8 PM (0)

Apr 10, 8-9 PM (0)

Apr 10, 9-10 PM (0)

Apr 10, 10-11 PM (0)

Apr 10, 11-12 AM (0)

Apr 11, 12-1 AM (0)

Apr 11, 1-2 AM (0)

Apr 11, 2-3 AM (0)

75 commits this week Apr 04, 2026 - Apr 11, 2026

zliu41 · Fri, 10 Apr 26 16:47:28 +0000 · plutus

Deploying to gh-pages from @ IntersectMBO/plutus@643ddd135bfa465bc532c51e679939daf8b1e3d9 🚀

35d9ec8f · gh-pages · No file changes

zliu41 · Fri, 10 Apr 26 16:11:27 +0000 · plutus

Split plutus-tx-plugin-tests

184ddd2e · zliu41/split-plugin-tests · 300/112 ++ 27 --

zliu41 · Fri, 10 Apr 26 16:06:53 +0000 · plutus

Deploying to gh-pages from @ IntersectMBO/plutus@643ddd135bfa465bc532c51e679939daf8b1e3d9 🚀

429d906f · gh-pages · No file changes

zliu41 · Fri, 10 Apr 26 16:06:22 +0000 · plutus

Split plutus-tx-plugin-tests

55ff4177 · zliu41/split-plugin-tests · 300/102 ++ 27 --

zliu41 · Fri, 10 Apr 26 14:30:13 +0000 · plutus

optBias (doesn't quite work)

e06ca148 · zliu41/bias · 10/5,439 ++ 5,209 --

zliu41 · Fri, 10 Apr 26 14:24:50 +0000 · plutus

Deploying to gh-pages from @ IntersectMBO/plutus@643ddd135bfa465bc532c51e679939daf8b1e3d9 🚀

75fa0231 · gh-pages · No file changes

kwxm · Fri, 10 Apr 26 13:53:58 +0000 · plutus

spec: make it clear that some builtins cannot fail (#7710)

643ddd13 · master · 2/10 ++ 6 --

basetunnel · Fri, 10 Apr 26 12:26:09 +0000 · plutus

Define case-of-case fixpoint rules

fd63655b · basetunnel/certifier-case-case · 2/192 ++ 191 --

basetunnel · Fri, 10 Apr 26 11:24:14 +0000 · plutus

WIP: Add soundness for case-reduce

e5f4d236 · basetunnel/certifier-case-case · 12/2,635 ++ 4,366 --

zliu41 · Fri, 10 Apr 26 02:55:50 +0000 · plutus

optBias (doesn't quite work)

e8d82451 · zliu41/bias · 8/62 ++ 5 --

zliu41 · Fri, 10 Apr 26 00:40:52 +0000 · plutus

Deploying to gh-pages from @ IntersectMBO/plutus@9c3a1c38415dd0b82defdb596a6124aea682429f 🚀

1b00c959 · gh-pages · No file changes

dependabot[bot] · Fri, 10 Apr 26 00:02:35 +0000 · plutus

chore(deps): bump actions/github-script from 7 to 9

Bumps [actions/github-script](https://github.com/actions/github-script) from 7 to 9.
- [Release notes](https://github.com/actions/github-script/releases)
- [Commits](https://github.com/actions/github-script/compare/v7...v9)

---
updated-dependencies:
- dependency-name: actions/github-script
  dependency-version: '9'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>

b5ee929f · dependabot/github_actions/actions/github-script-9 · 5/9 ++ 9 --