plutus - 237 commits this week

Home / Input Output / plutus

Insights Pull Requests

Feb 07, 11-12 PM (0)

Feb 07, 12-1 PM (0)

Feb 07, 1-2 PM (0)

Feb 07, 2-3 PM (0)

Feb 07, 3-4 PM (0)

Feb 07, 4-5 PM (0)

Feb 07, 5-6 PM (2)

Feb 07, 6-7 PM (1)

Feb 07, 7-8 PM (0)

Feb 07, 8-9 PM (1)

Feb 07, 9-10 PM (0)

Feb 07, 10-11 PM (0)

Feb 07, 11-12 AM (0)

Feb 08, 12-1 AM (0)

Feb 08, 1-2 AM (0)

Feb 08, 2-3 AM (0)

Feb 08, 3-4 AM (0)

Feb 08, 4-5 AM (0)

Feb 08, 5-6 AM (0)

Feb 08, 6-7 AM (0)

Feb 08, 7-8 AM (0)

Feb 08, 8-9 AM (0)

Feb 08, 9-10 AM (0)

Feb 08, 10-11 AM (0)

Feb 08, 11-12 PM (0)

Feb 08, 12-1 PM (0)

Feb 08, 1-2 PM (0)

Feb 08, 2-3 PM (0)

Feb 08, 3-4 PM (1)

Feb 08, 4-5 PM (2)

Feb 08, 5-6 PM (0)

Feb 08, 6-7 PM (1)

Feb 08, 7-8 PM (0)

Feb 08, 8-9 PM (0)

Feb 08, 9-10 PM (0)

Feb 08, 10-11 PM (0)

Feb 08, 11-12 AM (0)

Feb 09, 12-1 AM (0)

Feb 09, 1-2 AM (0)

Feb 09, 2-3 AM (0)

Feb 09, 3-4 AM (0)

Feb 09, 4-5 AM (0)

Feb 09, 5-6 AM (0)

Feb 09, 6-7 AM (0)

Feb 09, 7-8 AM (0)

Feb 09, 8-9 AM (0)

Feb 09, 9-10 AM (4)

Feb 09, 10-11 AM (1)

Feb 09, 11-12 PM (7)

Feb 09, 12-1 PM (0)

Feb 09, 1-2 PM (7)

Feb 09, 2-3 PM (3)

Feb 09, 3-4 PM (2)

Feb 09, 4-5 PM (8)

Feb 09, 5-6 PM (1)

Feb 09, 6-7 PM (3)

Feb 09, 7-8 PM (0)

Feb 09, 8-9 PM (1)

Feb 09, 9-10 PM (0)

Feb 09, 10-11 PM (1)

Feb 09, 11-12 AM (1)

Feb 10, 12-1 AM (2)

Feb 10, 1-2 AM (0)

Feb 10, 2-3 AM (0)

Feb 10, 3-4 AM (0)

Feb 10, 4-5 AM (0)

Feb 10, 5-6 AM (0)

Feb 10, 6-7 AM (0)

Feb 10, 7-8 AM (22)

Feb 10, 8-9 AM (0)

Feb 10, 9-10 AM (2)

Feb 10, 10-11 AM (3)

Feb 10, 11-12 PM (4)

Feb 10, 12-1 PM (6)

Feb 10, 1-2 PM (4)

Feb 10, 2-3 PM (1)

Feb 10, 3-4 PM (3)

Feb 10, 4-5 PM (3)

Feb 10, 5-6 PM (1)

Feb 10, 6-7 PM (1)

Feb 10, 7-8 PM (0)

Feb 10, 8-9 PM (1)

Feb 10, 9-10 PM (1)

Feb 10, 10-11 PM (0)

Feb 10, 11-12 AM (2)

Feb 11, 12-1 AM (0)

Feb 11, 1-2 AM (1)

Feb 11, 2-3 AM (0)

Feb 11, 3-4 AM (0)

Feb 11, 4-5 AM (0)

Feb 11, 5-6 AM (0)

Feb 11, 6-7 AM (0)

Feb 11, 7-8 AM (0)

Feb 11, 8-9 AM (14)

Feb 11, 9-10 AM (5)

Feb 11, 10-11 AM (4)

Feb 11, 11-12 PM (1)

Feb 11, 12-1 PM (0)

Feb 11, 1-2 PM (1)

Feb 11, 2-3 PM (2)

Feb 11, 3-4 PM (2)

Feb 11, 4-5 PM (2)

Feb 11, 5-6 PM (1)

Feb 11, 6-7 PM (0)

Feb 11, 7-8 PM (1)

Feb 11, 8-9 PM (0)

Feb 11, 9-10 PM (0)

Feb 11, 10-11 PM (1)

Feb 11, 11-12 AM (0)

Feb 12, 12-1 AM (1)

Feb 12, 1-2 AM (1)

Feb 12, 2-3 AM (1)

Feb 12, 3-4 AM (1)

Feb 12, 4-5 AM (0)

Feb 12, 5-6 AM (0)

Feb 12, 6-7 AM (0)

Feb 12, 7-8 AM (0)

Feb 12, 8-9 AM (0)

Feb 12, 9-10 AM (0)

Feb 12, 10-11 AM (1)

Feb 12, 11-12 PM (0)

Feb 12, 12-1 PM (0)

Feb 12, 1-2 PM (2)

Feb 12, 2-3 PM (13)

Feb 12, 3-4 PM (3)

Feb 12, 4-5 PM (2)

Feb 12, 5-6 PM (2)

Feb 12, 6-7 PM (2)

Feb 12, 7-8 PM (1)

Feb 12, 8-9 PM (3)

Feb 12, 9-10 PM (0)

Feb 12, 10-11 PM (1)

Feb 12, 11-12 AM (3)

Feb 13, 12-1 AM (0)

Feb 13, 1-2 AM (1)

Feb 13, 2-3 AM (1)

Feb 13, 3-4 AM (0)

Feb 13, 4-5 AM (0)

Feb 13, 5-6 AM (0)

Feb 13, 6-7 AM (0)

Feb 13, 7-8 AM (0)

Feb 13, 8-9 AM (0)

Feb 13, 9-10 AM (25)

Feb 13, 10-11 AM (0)

Feb 13, 11-12 PM (0)

Feb 13, 12-1 PM (1)

Feb 13, 1-2 PM (1)

Feb 13, 2-3 PM (2)

Feb 13, 3-4 PM (2)

Feb 13, 4-5 PM (2)

Feb 13, 5-6 PM (3)

Feb 13, 6-7 PM (6)

Feb 13, 7-8 PM (1)

Feb 13, 8-9 PM (6)

Feb 13, 9-10 PM (0)

Feb 13, 10-11 PM (1)

Feb 13, 11-12 AM (1)

Feb 14, 12-1 AM (2)

Feb 14, 1-2 AM (0)

Feb 14, 2-3 AM (0)

Feb 14, 3-4 AM (5)

Feb 14, 4-5 AM (0)

Feb 14, 5-6 AM (2)

Feb 14, 6-7 AM (0)

Feb 14, 7-8 AM (0)

Feb 14, 8-9 AM (0)

Feb 14, 9-10 AM (0)

Feb 14, 10-11 AM (0)

Feb 14, 11-12 PM (0)

237 commits this week Feb 07, 2026 - Feb 14, 2026

zliu41 · Sat, 14 Feb 26 06:21:32 +0000 · plutus

Benchmark inline certification

2f1405c0 · zliu41/benchmark-inline-certifier · 7/82 ++ 0 --

zliu41 · Sat, 14 Feb 26 06:07:35 +0000 · plutus

dump

400f14d2 · zliu41/dump · 7/50 ++ 1 --

zliu41 · Sat, 14 Feb 26 04:33:35 +0000 · plutus

Only enable the certifier for inliner; disable others

99318188 · zliu41/benchmark-inline-certifier · 3/1,276 ++ 321,234 --

zliu41 · Sat, 14 Feb 26 04:28:42 +0000 · plutus

Emit certifier hints from UPLC inliner

83a903fa · zliu41/benchmark-inline-certifier · 9/318 ++ 86 --

zliu41 · Sat, 14 Feb 26 04:25:37 +0000 · plutus

Inline checking procedure

48cbe8b1 · zliu41/benchmark-inline-certifier · 1/108 ++ 5 --

zliu41 · Sat, 14 Feb 26 04:24:31 +0000 · plutus

[certifier] Add stub for inline certification

4670e3c2 · zliu41/benchmark-inline-certifier · 14/53,113 ++ 52,960 --

zliu41 · Sat, 14 Feb 26 04:20:44 +0000 · plutus

simplify patternMatching for debugging

b85844ab · zliu41/integration · 11/238 ++ 340,459 --

zliu41 · Sat, 14 Feb 26 01:53:15 +0000 · plutus

simplify patternMatching for debugging

598be8e3 · zliu41/integration · 3/42 ++ 55 --

zliu41 · Sat, 14 Feb 26 01:02:58 +0000 · plutus

use strings in abort

bae1acf3 · zliu41/integration · 14/82,871 ++ 62,999 --

zliu41 · Sat, 14 Feb 26 00:41:54 +0000 · plutus

use strings in abort

54cd707a · zliu41/integration · 13/32,208 ++ 31,502 --

zliu41 · Fri, 13 Feb 26 23:17:47 +0000 · plutus

tmp

b50c84de · zliu41/integration · 4/5,106 ++ 5,047 --

zliu41 · Fri, 13 Feb 26 21:45:39 +0000 · plutus

test

b0a68879 · zliu41/integration · 4/52,796 ++ 52,763 --

zliu41 · Fri, 13 Feb 26 21:40:24 +0000 · plutus

test

4851aa17 · zliu41/integration · 4/52,780 ++ 52,748 --

zliu41 · Fri, 13 Feb 26 21:29:42 +0000 · plutus

Revert "Remove certifier from plutus-tx-plugin (#7390)"

This reverts commit d6051427a2656a5f93c138e194314a91362641e2.

8dde503f · zliu41/integration · 3/32 ++ 2 --

zliu41 · Fri, 13 Feb 26 21:28:28 +0000 · plutus

wip

54677299 · zliu41/integration · 2/20 ++ 15 --

zliu41 · Fri, 13 Feb 26 21:26:29 +0000 · plutus

fix tests

e1cd71ce · zliu41/init-uinline · 1/1 ++ 1 --

github · Fri, 13 Feb 26 21:07:53 +0000 · plutus

add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 670e91326c404bc10228fcd9d0c129f7d7184ed2

7837ff28 · gh-pages · 1/1,985 ++ 1 --

zliu41 · Fri, 13 Feb 26 20:29:15 +0000 · plutus

Deploying to gh-pages from @ IntersectMBO/plutus@670e91326c404bc10228fcd9d0c129f7d7184ed2 🚀

0d121fdb · gh-pages · No file changes

zliu41 · Fri, 13 Feb 26 19:46:37 +0000 · plutus

[certifier] Add stub for inline certification

e02016d4 · zliu41/init-uinline · 13/53,112 ++ 52,959 --

Unisay · Fri, 13 Feb 26 19:26:27 +0000 · plutus

chore(cost-model): add per-byte-width string benchmark variants

Add benchmark groups for ASCII (1-byte), 2-byte, and 4-byte UTF-8
characters for EncodeUtf8, DecodeUtf8, AppendString, and EqualsString.
Update comments to reflect text-2.x (UTF-8) internals.

ac4521c7 · yura/string-bench-text2 · 1/130 ++ 104 --

Unisay · Fri, 13 Feb 26 19:26:17 +0000 · plutus

chore(cost-model): update string benchmark generators for text-2.x

The generators and comments still referenced text-1.x (UTF-16) internals.
Update for text-2.x (UTF-8): remove the 2*n multiplier (was calibrated for
UTF-16 word sizing) and add per-byte-width generators for ASCII (1-byte),
2-byte, and 4-byte UTF-8 characters.

25099777 · yura/string-bench-text2 · 1/42 ++ 12 --

zliu41 · Fri, 13 Feb 26 19:20:37 +0000 · plutus

[certifier] Add AgdaUnparse instances for certifier hints (#7592)

670e9132 · master · 1/22 ++ 8 --

zliu41 · Fri, 13 Feb 26 19:15:30 +0000 · plutus

wip

ab372db6 · zliu41/integration · 1/19 ++ 14 --

basetunnel · Fri, 13 Feb 26 19:10:29 +0000 · plutus

Version generated .flat programs of marlowe benchmark, add to data-files

e75c708e · basetunnel/bench-marlowe-flat · 202/2 ++ 2 --