plutus - 124 commits this week

Home / Input Output / plutus

Insights Pull Requests

Dec 01, 1-2 AM (0)

Dec 01, 2-3 AM (0)

Dec 01, 3-4 AM (1)

Dec 01, 4-5 AM (1)

Dec 01, 5-6 AM (0)

Dec 01, 6-7 AM (0)

Dec 01, 7-8 AM (0)

Dec 01, 8-9 AM (0)

Dec 01, 9-10 AM (0)

Dec 01, 10-11 AM (2)

Dec 01, 11-12 PM (5)

Dec 01, 12-1 PM (0)

Dec 01, 1-2 PM (3)

Dec 01, 2-3 PM (3)

Dec 01, 3-4 PM (2)

Dec 01, 4-5 PM (1)

Dec 01, 5-6 PM (0)

Dec 01, 6-7 PM (0)

Dec 01, 7-8 PM (0)

Dec 01, 8-9 PM (0)

Dec 01, 9-10 PM (0)

Dec 01, 10-11 PM (0)

Dec 01, 11-12 AM (0)

Dec 02, 12-1 AM (0)

Dec 02, 1-2 AM (0)

Dec 02, 2-3 AM (0)

Dec 02, 3-4 AM (0)

Dec 02, 4-5 AM (0)

Dec 02, 5-6 AM (0)

Dec 02, 6-7 AM (0)

Dec 02, 7-8 AM (0)

Dec 02, 8-9 AM (1)

Dec 02, 9-10 AM (1)

Dec 02, 10-11 AM (3)

Dec 02, 11-12 PM (0)

Dec 02, 12-1 PM (1)

Dec 02, 1-2 PM (8)

Dec 02, 2-3 PM (1)

Dec 02, 3-4 PM (0)

Dec 02, 4-5 PM (0)

Dec 02, 5-6 PM (0)

Dec 02, 6-7 PM (0)

Dec 02, 7-8 PM (0)

Dec 02, 8-9 PM (0)

Dec 02, 9-10 PM (0)

Dec 02, 10-11 PM (0)

Dec 02, 11-12 AM (3)

Dec 03, 12-1 AM (0)

Dec 03, 1-2 AM (0)

Dec 03, 2-3 AM (0)

Dec 03, 3-4 AM (0)

Dec 03, 4-5 AM (0)

Dec 03, 5-6 AM (0)

Dec 03, 6-7 AM (0)

Dec 03, 7-8 AM (0)

Dec 03, 8-9 AM (0)

Dec 03, 9-10 AM (14)

Dec 03, 10-11 AM (5)

Dec 03, 11-12 PM (2)

Dec 03, 12-1 PM (5)

Dec 03, 1-2 PM (1)

Dec 03, 2-3 PM (4)

Dec 03, 3-4 PM (0)

Dec 03, 4-5 PM (0)

Dec 03, 5-6 PM (0)

Dec 03, 6-7 PM (0)

Dec 03, 7-8 PM (0)

Dec 03, 8-9 PM (0)

Dec 03, 9-10 PM (0)

Dec 03, 10-11 PM (2)

Dec 03, 11-12 AM (0)

Dec 04, 12-1 AM (0)

Dec 04, 1-2 AM (0)

Dec 04, 2-3 AM (2)

Dec 04, 3-4 AM (2)

Dec 04, 4-5 AM (1)

Dec 04, 5-6 AM (1)

Dec 04, 6-7 AM (1)

Dec 04, 7-8 AM (1)

Dec 04, 8-9 AM (0)

Dec 04, 9-10 AM (0)

Dec 04, 10-11 AM (0)

Dec 04, 11-12 PM (0)

Dec 04, 12-1 PM (5)

Dec 04, 1-2 PM (6)

Dec 04, 2-3 PM (0)

Dec 04, 3-4 PM (2)

Dec 04, 4-5 PM (0)

Dec 04, 5-6 PM (3)

Dec 04, 6-7 PM (0)

Dec 04, 7-8 PM (0)

Dec 04, 8-9 PM (0)

Dec 04, 9-10 PM (0)

Dec 04, 10-11 PM (1)

Dec 04, 11-12 AM (1)

Dec 05, 12-1 AM (2)

Dec 05, 1-2 AM (0)

Dec 05, 2-3 AM (2)

Dec 05, 3-4 AM (4)

Dec 05, 4-5 AM (1)

Dec 05, 5-6 AM (1)

Dec 05, 6-7 AM (2)

Dec 05, 7-8 AM (1)

Dec 05, 8-9 AM (1)

Dec 05, 9-10 AM (1)

Dec 05, 10-11 AM (0)

Dec 05, 11-12 PM (0)

Dec 05, 12-1 PM (5)

Dec 05, 1-2 PM (6)

Dec 05, 2-3 PM (0)

Dec 05, 3-4 PM (0)

Dec 05, 4-5 PM (0)

Dec 05, 5-6 PM (0)

Dec 05, 6-7 PM (0)

Dec 05, 7-8 PM (0)

Dec 05, 8-9 PM (0)

Dec 05, 9-10 PM (0)

Dec 05, 10-11 PM (1)

Dec 05, 11-12 AM (0)

Dec 06, 12-1 AM (0)

Dec 06, 1-2 AM (0)

Dec 06, 2-3 AM (0)

Dec 06, 3-4 AM (0)

Dec 06, 4-5 AM (0)

Dec 06, 5-6 AM (0)

Dec 06, 6-7 AM (0)

Dec 06, 7-8 AM (0)

Dec 06, 8-9 AM (0)

Dec 06, 9-10 AM (0)

Dec 06, 10-11 AM (0)

Dec 06, 11-12 PM (0)

Dec 06, 12-1 PM (0)

Dec 06, 1-2 PM (0)

Dec 06, 2-3 PM (0)

Dec 06, 3-4 PM (0)

Dec 06, 4-5 PM (0)

Dec 06, 5-6 PM (0)

Dec 06, 6-7 PM (0)

Dec 06, 7-8 PM (0)

Dec 06, 8-9 PM (0)

Dec 06, 9-10 PM (0)

Dec 06, 10-11 PM (0)

Dec 06, 11-12 AM (0)

Dec 07, 12-1 AM (0)

Dec 07, 1-2 AM (0)

Dec 07, 2-3 AM (0)

Dec 07, 3-4 AM (0)

Dec 07, 4-5 AM (0)

Dec 07, 5-6 AM (0)

Dec 07, 6-7 AM (0)

Dec 07, 7-8 AM (0)

Dec 07, 8-9 AM (0)

Dec 07, 9-10 AM (0)

Dec 07, 10-11 AM (0)

Dec 07, 11-12 PM (0)

Dec 07, 12-1 PM (0)

Dec 07, 1-2 PM (0)

Dec 07, 2-3 PM (0)

Dec 07, 3-4 PM (0)

Dec 07, 4-5 PM (0)

Dec 07, 5-6 PM (0)

Dec 07, 6-7 PM (0)

Dec 07, 7-8 PM (0)

Dec 07, 8-9 PM (0)

Dec 07, 9-10 PM (0)

Dec 07, 10-11 PM (0)

Dec 07, 11-12 AM (2)

Dec 08, 12-1 AM (0)

Dec 08, 1-2 AM (0)

124 commits this week Dec 01, 2025 - Dec 08, 2025

dependabot[bot] · Mon, 08 Dec 25 00:02:11 +0000 · plutus

Deploy preview for PR 7477 🛫

64d1cc2a · gh-pages · 19/4,824 ++ 0 --

dependabot[bot] · Mon, 08 Dec 25 00:01:17 +0000 · plutus

chore(deps): bump JamesIves/github-pages-deploy-action

Bumps [JamesIves/github-pages-deploy-action](https://github.com/jamesives/github-pages-deploy-action) from 4.7.3 to 4.7.4.
- [Release notes](https://github.com/jamesives/github-pages-deploy-action/releases)
- [Commits](https://github.com/jamesives/github-pages-deploy-action/compare/v4.7.3...v4.7.4)

---
updated-dependencies:
- dependency-name: JamesIves/github-pages-deploy-action
  dependency-version: 4.7.4
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

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

e96edcbc · dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.4 · 1/1 ++ 1 --

ana-pantilie · Fri, 05 Dec 25 23:17:19 +0000 · plutus

Temp: experimenting with different inputs for unionValue

bb80be2f · ana/value-costing-final · 22/758 ++ 12 --

ana-pantilie · Fri, 05 Dec 25 14:24:20 +0000 · plutus

Fix issues with rebase

2d083362 · ana/value-costing-final · 3/7 ++ 53 --

ana-pantilie · Fri, 05 Dec 25 14:15:09 +0000 · plutus

Fix model parsing and printing, wip scaleValue

abdc6edd · ana/value-costing-final · 6/49 ++ 7 --

ana-pantilie · Fri, 05 Dec 25 14:14:57 +0000 · plutus

New models for insertCoin and unionValue; regenerate data

75c84107 · ana/value-costing-final · 8/2,418 ++ 1,776 --

ana-pantilie · Fri, 05 Dec 25 14:09:24 +0000 · plutus

Add benchmarking code and costing model for insertCoin

36b222f4 · ana/value-costing-final · 4/91 ++ 18 --

ana-pantilie · Fri, 05 Dec 25 14:09:24 +0000 · plutus

Add benchmarking code and costing model for unionValue

8c1e3e8b · ana/value-costing-final · 2/33 ++ 2 --

ana-pantilie · Fri, 05 Dec 25 14:09:13 +0000 · plutus

Add insertCoin and unionValue costing skeleton

39fdc3f6 · ana/value-costing-final · 9/126 ++ 2 --

ana-pantilie · Fri, 05 Dec 25 13:18:22 +0000 · plutus

Fix model parsing and printing, wip scaleValue

1e449589 · ana/value-costing-final · 6/49 ++ 7 --

ana-pantilie · Fri, 05 Dec 25 13:18:02 +0000 · plutus

New models for insertCoin and unionValue; regenerate data

83bebf5a · ana/value-costing-final · 8/3,600 ++ 2,958 --

ana-pantilie · Fri, 05 Dec 25 13:17:42 +0000 · plutus

Add benchmarking code and costing model for unionValue

e1357f0e · ana/value-costing-final · 2/33 ++ 2 --

ana-pantilie · Fri, 05 Dec 25 13:12:17 +0000 · plutus

Add benchmarking code and costing model for insertCoin

1483adcc · ana/value-costing-final · 4/91 ++ 18 --

ana-pantilie · Fri, 05 Dec 25 13:07:58 +0000 · plutus

Add insertCoin and unionValue costing skeleton

1d9ed4d0 · ana/value-costing-final · 9/126 ++ 2 --

github · Fri, 05 Dec 25 10:31:01 +0000 · plutus

add Plutus Benchmarks (customSmallerIsBetter) benchmark result for fe0786ea56aa3a2c311ba9cf5314bd04279d3ade

d78d9f00 · gh-pages · 1/1,985 ++ 1 --

zliu41 · Fri, 05 Dec 25 09:19:11 +0000 · plutus

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

d71ba7bf · gh-pages · No file changes

zliu41 · Fri, 05 Dec 25 08:23:54 +0000 · plutus

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

1ffe7a4d · gh-pages · No file changes

sohang3112 · Fri, 05 Dec 25 07:48:07 +0000 · plutus

correct according to PR feedback by @SeungheonOh

f6458dbc · pull/7467/head · 2/6 ++ 1 --

zliu41 · Fri, 05 Dec 25 07:37:20 +0000 · plutus

Deploying to gh-pages from @ IntersectMBO/plutus@6127ae929d69e35f70ac5195758f4ec76e37f648 🚀

35269129 · gh-pages · No file changes

zliu41 · Fri, 05 Dec 25 06:40:06 +0000 · plutus

Deploying to gh-pages from @ IntersectMBO/plutus@16bf97cbcb91d77b7a81b87ba444e07df7dbce6c 🚀

c1089694 · gh-pages · No file changes

zliu41 · Fri, 05 Dec 25 05:28:07 +0000 · plutus

Deploying to gh-pages from @ IntersectMBO/plutus@0fdd1e64fc274efa788283bea5dc81f3a1d233e2 🚀

5d766072 · gh-pages · No file changes

dependabot[bot] · Fri, 05 Dec 25 04:26:40 +0000 · plutus

chore(deps): bump JamesIves/github-pages-deploy-action (#7403)

Bumps [JamesIves/github-pages-deploy-action](https://github.com/jamesives/github-pages-deploy-action) from 4.7.3 to 4.7.4.
- [Release notes](https://github.com/jamesives/github-pages-deploy-action/releases)
- [Commits](https://github.com/jamesives/github-pages-deploy-action/compare/v4.7.3...v4.7.4)

---
updated-dependencies:
- dependency-name: JamesIves/github-pages-deploy-action
  dependency-version: 4.7.4
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

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

fe0786ea · master · 5/7 ++ 7 --

basetunnel · Fri, 05 Dec 25 04:26:26 +0000 · plutus

[spec] CEK rules for constr and case (#7419)

6127ae92 · master · 1/2 ++ 2 --

dependabot[bot] · Fri, 05 Dec 25 04:25:05 +0000 · plutus

chore(deps): bump rossjrw/pr-preview-action from 1.6.2 to 1.6.3 (#7449)

Bumps [rossjrw/pr-preview-action](https://github.com/rossjrw/pr-preview-action) from 1.6.2 to 1.6.3.
- [Release notes](https://github.com/rossjrw/pr-preview-action/releases)
- [Commits](https://github.com/rossjrw/pr-preview-action/compare/v1.6.2...v1.6.3)

---
updated-dependencies:
- dependency-name: rossjrw/pr-preview-action
  dependency-version: 1.6.3
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

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

0fdd1e64 · master · 3/3 ++ 3 --

zliu41 · Fri, 05 Dec 25 04:04:21 +0000 · plutus

Deploying to gh-pages from @ IntersectMBO/plutus@16bf97cbcb91d77b7a81b87ba444e07df7dbce6c 🚀

226b687d · gh-pages · No file changes

Show more commits

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