plutus - 91 commits this week

Home / Input Output / plutus

Insights Pull Requests

Feb 14, 1-2 PM (0)

Feb 14, 2-3 PM (0)

Feb 14, 3-4 PM (1)

Feb 14, 4-5 PM (0)

Feb 14, 5-6 PM (0)

Feb 14, 6-7 PM (0)

Feb 14, 7-8 PM (0)

Feb 14, 8-9 PM (0)

Feb 14, 9-10 PM (0)

Feb 14, 10-11 PM (0)

Feb 14, 11-12 AM (0)

Feb 15, 12-1 AM (0)

Feb 15, 1-2 AM (0)

Feb 15, 2-3 AM (0)

Feb 15, 3-4 AM (0)

Feb 15, 4-5 AM (0)

Feb 15, 5-6 AM (0)

Feb 15, 6-7 AM (0)

Feb 15, 7-8 AM (0)

Feb 15, 8-9 AM (0)

Feb 15, 9-10 AM (0)

Feb 15, 10-11 AM (0)

Feb 15, 11-12 PM (0)

Feb 15, 12-1 PM (0)

Feb 15, 1-2 PM (0)

Feb 15, 2-3 PM (0)

Feb 15, 3-4 PM (0)

Feb 15, 4-5 PM (0)

Feb 15, 5-6 PM (0)

Feb 15, 6-7 PM (0)

Feb 15, 7-8 PM (0)

Feb 15, 8-9 PM (0)

Feb 15, 9-10 PM (0)

Feb 15, 10-11 PM (0)

Feb 15, 11-12 AM (0)

Feb 16, 12-1 AM (0)

Feb 16, 1-2 AM (0)

Feb 16, 2-3 AM (0)

Feb 16, 3-4 AM (0)

Feb 16, 4-5 AM (0)

Feb 16, 5-6 AM (0)

Feb 16, 6-7 AM (0)

Feb 16, 7-8 AM (0)

Feb 16, 8-9 AM (0)

Feb 16, 9-10 AM (0)

Feb 16, 10-11 AM (0)

Feb 16, 11-12 PM (0)

Feb 16, 12-1 PM (0)

Feb 16, 1-2 PM (0)

Feb 16, 2-3 PM (0)

Feb 16, 3-4 PM (0)

Feb 16, 4-5 PM (0)

Feb 16, 5-6 PM (0)

Feb 16, 6-7 PM (0)

Feb 16, 7-8 PM (0)

Feb 16, 8-9 PM (0)

Feb 16, 9-10 PM (0)

Feb 16, 10-11 PM (1)

Feb 16, 11-12 AM (0)

Feb 17, 12-1 AM (1)

Feb 17, 1-2 AM (0)

Feb 17, 2-3 AM (0)

Feb 17, 3-4 AM (0)

Feb 17, 4-5 AM (1)

Feb 17, 5-6 AM (0)

Feb 17, 6-7 AM (0)

Feb 17, 7-8 AM (0)

Feb 17, 8-9 AM (0)

Feb 17, 9-10 AM (0)

Feb 17, 10-11 AM (0)

Feb 17, 11-12 PM (0)

Feb 17, 12-1 PM (7)

Feb 17, 1-2 PM (0)

Feb 17, 2-3 PM (0)

Feb 17, 3-4 PM (8)

Feb 17, 4-5 PM (1)

Feb 17, 5-6 PM (10)

Feb 17, 6-7 PM (2)

Feb 17, 7-8 PM (3)

Feb 17, 8-9 PM (1)

Feb 17, 9-10 PM (1)

Feb 17, 10-11 PM (0)

Feb 17, 11-12 AM (0)

Feb 18, 12-1 AM (4)

Feb 18, 1-2 AM (1)

Feb 18, 2-3 AM (1)

Feb 18, 3-4 AM (0)

Feb 18, 4-5 AM (0)

Feb 18, 5-6 AM (0)

Feb 18, 6-7 AM (1)

Feb 18, 7-8 AM (0)

Feb 18, 8-9 AM (0)

Feb 18, 9-10 AM (0)

Feb 18, 10-11 AM (0)

Feb 18, 11-12 PM (6)

Feb 18, 12-1 PM (1)

Feb 18, 1-2 PM (1)

Feb 18, 2-3 PM (2)

Feb 18, 3-4 PM (6)

Feb 18, 4-5 PM (2)

Feb 18, 5-6 PM (2)

Feb 18, 6-7 PM (2)

Feb 18, 7-8 PM (0)

Feb 18, 8-9 PM (0)

Feb 18, 9-10 PM (0)

Feb 18, 10-11 PM (0)

Feb 18, 11-12 AM (0)

Feb 19, 12-1 AM (0)

Feb 19, 1-2 AM (1)

Feb 19, 2-3 AM (0)

Feb 19, 3-4 AM (0)

Feb 19, 4-5 AM (0)

Feb 19, 5-6 AM (0)

Feb 19, 6-7 AM (0)

Feb 19, 7-8 AM (0)

Feb 19, 8-9 AM (0)

Feb 19, 9-10 AM (0)

Feb 19, 10-11 AM (0)

Feb 19, 11-12 PM (0)

Feb 19, 12-1 PM (4)

Feb 19, 1-2 PM (3)

Feb 19, 2-3 PM (1)

Feb 19, 3-4 PM (3)

Feb 19, 4-5 PM (2)

Feb 19, 5-6 PM (0)

Feb 19, 6-7 PM (0)

Feb 19, 7-8 PM (0)

Feb 19, 8-9 PM (2)

Feb 19, 9-10 PM (0)

Feb 19, 10-11 PM (2)

Feb 19, 11-12 AM (1)

Feb 20, 12-1 AM (0)

Feb 20, 1-2 AM (0)

Feb 20, 2-3 AM (0)

Feb 20, 3-4 AM (0)

Feb 20, 4-5 AM (0)

Feb 20, 5-6 AM (0)

Feb 20, 6-7 AM (0)

Feb 20, 7-8 AM (0)

Feb 20, 8-9 AM (0)

Feb 20, 9-10 AM (1)

Feb 20, 10-11 AM (1)

Feb 20, 11-12 PM (1)

Feb 20, 12-1 PM (0)

Feb 20, 1-2 PM (0)

Feb 20, 2-3 PM (0)

Feb 20, 3-4 PM (0)

Feb 20, 4-5 PM (0)

Feb 20, 5-6 PM (0)

Feb 20, 6-7 PM (0)

Feb 20, 7-8 PM (0)

Feb 20, 8-9 PM (0)

Feb 20, 9-10 PM (0)

Feb 20, 10-11 PM (1)

Feb 20, 11-12 AM (0)

Feb 21, 12-1 AM (2)

Feb 21, 1-2 AM (0)

Feb 21, 2-3 AM (0)

Feb 21, 3-4 AM (0)

Feb 21, 4-5 AM (0)

Feb 21, 5-6 AM (0)

Feb 21, 6-7 AM (0)

Feb 21, 7-8 AM (0)

Feb 21, 8-9 AM (0)

Feb 21, 9-10 AM (0)

Feb 21, 10-11 AM (0)

Feb 21, 11-12 PM (0)

Feb 21, 12-1 PM (0)

Feb 21, 1-2 PM (0)

91 commits this week Feb 14, 2025 - Feb 21, 2025

github · Fri, 21 Feb 25 01:23:35 +0000 · plutus

add Plutus Benchmarks (customSmallerIsBetter) benchmark result for acb663d088268d29171d19314ed6d21087a34108

9beee149 · gh-pages · 1/1,915 ++ 1 --

zliu41 · Fri, 21 Feb 25 01:19:42 +0000 · plutus

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

3e66de37 · gh-pages · No file changes

dependabot[bot] · Thu, 20 Feb 25 23:42:32 +0000 · plutus

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

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

---
updated-dependencies:
- dependency-name: JamesIves/github-pages-deploy-action
  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>

acb663d0 · master · 4/6 ++ 6 --

github · Thu, 20 Feb 25 12:08:00 +0000 · plutus

add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 78831112ce4fde3f041aa083694c6b77c1bf3f6d

2745e88c · gh-pages · 1/1,915 ++ 1 --

kwxm · Thu, 20 Feb 25 11:59:37 +0000 · plutus

Deploying to gh-pages from @ IntersectMBO/plutus@78831112ce4fde3f041aa083694c6b77c1bf3f6d 🚀

80bf3b2e · gh-pages · No file changes

effectfully · Thu, 20 Feb 25 10:27:02 +0000 · plutus

[Builtins] [Bug] Tweak 'dropList' costing and else (#6862)

* [Builtins] [Bug] Tweak 'dropList' costing and else

* Update plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs

Co-authored-by: Kenneth MacKenzie <[email protected]>

---------

Co-authored-by: Kenneth MacKenzie <[email protected]>

78831112 · master · 7/45 ++ 20 --

dependabot[bot] · Thu, 20 Feb 25 00:30:15 +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.2 to 4.7.3.
- [Release notes](https://github.com/jamesives/github-pages-deploy-action/releases)
- [Commits](https://github.com/jamesives/github-pages-deploy-action/compare/v4.7.2...v4.7.3)

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

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

eff00b44 · dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.3 · 4/6 ++ 6 --

github · Wed, 19 Feb 25 23:37:30 +0000 · plutus

add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 0d141e8c550ab0bc97f90c3152296ae8ca76c6dc

49803ea7 · gh-pages · 1/1,915 ++ 1 --

zliu41 · Wed, 19 Feb 25 23:29:27 +0000 · plutus

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

2e332436 · gh-pages · No file changes

zliu41 · Wed, 19 Feb 25 21:56:36 +0000 · plutus

Replace the remaining Plutus Tx references with Plinth (#6867)

0d141e8c · master · 8/44 ++ 44 --

zliu41 · Wed, 19 Feb 25 21:51:07 +0000 · plutus

Replace the remaining Plutus Tx references with Plinth

c0dbe87c · pull/6867/head · 8/44 ++ 44 --

github · Wed, 19 Feb 25 17:34:55 +0000 · plutus

add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 503470bdc91b4aae21207b782cb8a5227c8302a7

e9fb9db6 · gh-pages · 1/1,915 ++ 1 --

effectfully · Wed, 19 Feb 25 17:09:57 +0000 · plutus

Update plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs

Co-authored-by: Kenneth MacKenzie <[email protected]>

b93ff12a · effectfully/builtins/bug/tweak-dropList-costing-and-else · 1/1 ++ 1 --

zliu41 · Wed, 19 Feb 25 16:42:05 +0000 · plutus

Deploying to gh-pages from @ IntersectMBO/plutus@503470bdc91b4aae21207b782cb8a5227c8302a7 🚀

f2ee9247 · gh-pages · No file changes

ana-pantilie · Wed, 19 Feb 25 16:36:01 +0000 · plutus

WIP: add missing functions to Data.List

b0b22c29 · ana/complete-data-list · 1/149 ++ 5 --

zliu41 · Wed, 19 Feb 25 16:06:16 +0000 · plutus

Deploying to gh-pages from @ IntersectMBO/plutus@503470bdc91b4aae21207b782cb8a5227c8302a7 🚀

8f32fb4c · gh-pages · No file changes

ana-pantilie · Wed, 19 Feb 25 15:54:00 +0000 · plutus

Optimise AsData for product types (#6854)

503470bd · master · 145/2,718 ++ 3,185 --

kwxm · Wed, 19 Feb 25 14:09:52 +0000 · plutus

Test

6216c6ee · kwxm/test/unknown-pragma · 1/1 ++ 0 --

kwxm · Wed, 19 Feb 25 14:05:43 +0000 · plutus

Test

96577659 · kwxm/test/do-warnings-fail-in-ci · 1/3 ++ 0 --

ramsay-t · Wed, 19 Feb 25 14:02:35 +0000 · plutus

WIP

c7b53c4e · ramsay-t/semantic-equiv · 2/122 ++ 14 --

ana-pantilie · Wed, 19 Feb 25 13:53:05 +0000 · plutus

Fix

f1d37231 · ana/asdata-product-types · 2/1 ++ 5 --

ana-pantilie · Wed, 19 Feb 25 13:43:30 +0000 · plutus

Try to fix compilation error

390c0732 · ana/asdata-product-types · 1/2 ++ 2 --

ana-pantilie · Wed, 19 Feb 25 13:16:12 +0000 · plutus

Add changelog

7bfc2151 · ana/asdata-product-types · 1/4 ++ 0 --

ana-pantilie · Wed, 19 Feb 25 13:01:08 +0000 · plutus

Address review comments

f9fb2049 · ana/asdata-product-types · 2/37 ++ 46 --

effectfully · Wed, 19 Feb 25 02:40:59 +0000 · plutus

[Builtins] [Bug] Tweak 'dropList' costing and else

dc5fde0a · effectfully/builtins/bug/tweak-dropList-costing-and-else · 7/45 ++ 20 --

Show more commits

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