Skip to content

Commit

Permalink
Mark && and || OPAQUE (#6510)
Browse files Browse the repository at this point in the history
  • Loading branch information
@zliu41
zliu41 authored Sep 25, 2024
1 parent 2694830 commit 84bcd15
Show file tree
Hide file tree
Showing 112 changed files with 711 additions and 724 deletions.
4 changes: 2 additions & 2 deletions plutus-benchmark/bitwise/test/9.6/Ed25519.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 2137056248968
| mem: 7088454370})
({cpu: 2137056280968
| mem: 7088454570})
70 changes: 37 additions & 33 deletions plutus-benchmark/bitwise/test/9.6/Ed25519.pir.golden
View file
Original file line number Diff line number Diff line change
Expand Up @@ -126,45 +126,49 @@
let
!`$j` : Bool -> integer
= \(cond : Bool) ->
let
~`$j` : integer
= Bool_match
cond
{all dead. integer}
(/\dead -> x)
(/\dead ->
Bool_match
cond
{all dead. integer}
(/\dead -> xB)
(/\dead -> x)
{all dead. dead})
{all dead. dead}
~`$j` : integer
= Bool_match
cond
{all dead. integer}
(/\dead ->
Bool_match
cond
{all dead. integer}
(/\dead -> xAB)
(/\dead -> `$j`)
{all dead. dead})
(/\dead -> `$j`)
{all dead. dead}
in
Bool_match
cond
(Bool_match
cond
{all dead. Bool}
(/\dead ->
Bool_match
cond
{all dead. Bool}
(/\dead -> False)
(/\dead -> True)
{all dead. dead})
(/\dead -> False)
{all dead. dead})
{all dead. integer}
(/\dead -> xA)
(/\dead ->
Bool_match
cond
(Bool_match
cond
{all dead. Bool}
(/\dead -> cond)
(/\dead -> False)
{all dead. dead})
{all dead. integer}
(/\dead -> `$j`)
(/\dead -> xA)
(/\dead -> xAB)
(/\dead ->
Bool_match
(Bool_match
(Bool_match
cond
{all dead. Bool}
(/\dead -> False)
(/\dead -> True)
{all dead. dead})
{all dead. Bool}
(/\dead -> cond)
(/\dead -> False)
{all dead. dead})
{all dead. integer}
(/\dead -> xB)
(/\dead -> x)
{all dead. dead})
{all dead. dead})
(/\dead -> `$j`)
{all dead. dead}
in
Bool_match
Expand Down
4 changes: 2 additions & 2 deletions ...antics/9.6/0000020002010200020101020201000100010001020101020201010000020102.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 286144915
| mem: 1411365})
({cpu: 286752915
| mem: 1415165})
4 changes: 2 additions & 2 deletions ...antics/9.6/0001000101000000010101000001000001010101010100000001000001010000.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 404984478
| mem: 1735428})
({cpu: 406216478
| mem: 1743128})
4 changes: 2 additions & 2 deletions ...antics/9.6/0003040402030103010203030303000200000104030002040304020400000102.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 970025702
| mem: 5005418})
({cpu: 972969702
| mem: 5023818})
4 changes: 2 additions & 2 deletions ...antics/9.6/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 733346042
| mem: 3414193})
({cpu: 735826042
| mem: 3429693})
4 changes: 2 additions & 2 deletions ...antics/9.6/0101010001010101010101000100010100000001010000010001000001000101.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 838521402
| mem: 2440532})
({cpu: 841001402
| mem: 2456032})
4 changes: 2 additions & 2 deletions ...antics/9.6/0101020201010201010200010102000201000201010102000102010201010000.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 266907370
| mem: 1323523})
({cpu: 267515370
| mem: 1327323})
4 changes: 2 additions & 2 deletions ...antics/9.6/0101080808040600020306010000000302050807010208060100070207080202.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 725441759
| mem: 3514770})
({cpu: 727393759
| mem: 3526970})
4 changes: 2 additions & 2 deletions ...antics/9.6/0104010200020000040103020102020004040300030304040400010301040303.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 708917036
| mem: 3526929})
({cpu: 710245036
| mem: 3535229})
4 changes: 2 additions & 2 deletions ...antics/9.6/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 674717323
| mem: 3204363})
({cpu: 676669323
| mem: 3216563})
4 changes: 2 additions & 2 deletions ...antics/9.6/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 994825658
| mem: 4554193})
({cpu: 995673658
| mem: 4559493})
4 changes: 2 additions & 2 deletions ...antics/9.6/0705030002040601010206030604080208020207000101060706050502040301.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 971605329
| mem: 4185446})
({cpu: 972837329
| mem: 4193146})
4 changes: 2 additions & 2 deletions ...antics/9.6/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 955927047
| mem: 4741259})
({cpu: 957975047
| mem: 4754059})
4 changes: 2 additions & 2 deletions ...antics/9.6/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1056957394
| mem: 5193561})
({cpu: 1059005394
| mem: 5206361})
4 changes: 2 additions & 2 deletions ...antics/9.6/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1294902269
| mem: 6267210})
({cpu: 1297670269
| mem: 6284510})
4 changes: 2 additions & 2 deletions ...antics/9.6/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 431885686
| mem: 2162283})
({cpu: 432733686
| mem: 2167583})
4 changes: 2 additions & 2 deletions ...antics/9.6/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 684366441
| mem: 3340211})
({cpu: 686318441
| mem: 3352411})
4 changes: 2 additions & 2 deletions ...antics/9.6/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 449420894
| mem: 2240375})
({cpu: 450540894
| mem: 2247375})
4 changes: 2 additions & 2 deletions ...antics/9.6/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 687086636
| mem: 3400483})
({cpu: 688606636
| mem: 3409983})
4 changes: 2 additions & 2 deletions ...antics/9.6/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 269353310
| mem: 1329825})
({cpu: 269961310
| mem: 1333625})
4 changes: 2 additions & 2 deletions ...antics/9.6/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 857074084
| mem: 4113352})
({cpu: 859266084
| mem: 4127052})
4 changes: 2 additions & 2 deletions ...antics/9.6/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 705876042
| mem: 3203809})
({cpu: 707588042
| mem: 3214509})
4 changes: 2 additions & 2 deletions ...antics/9.6/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 269407868
| mem: 1329825})
({cpu: 270015868
| mem: 1333625})
4 changes: 2 additions & 2 deletions ...antics/9.6/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 955332104
| mem: 1270754})
({cpu: 956564104
| mem: 1278454})
4 changes: 2 additions & 2 deletions ...antics/9.6/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3865674919
| mem: 1677986})
({cpu: 3866906919
| mem: 1685686})
4 changes: 2 additions & 2 deletions ...antics/9.6/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 325508681
| mem: 1593950})
({cpu: 326740681
| mem: 1601650})
4 changes: 2 additions & 2 deletions ...antics/9.6/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 266907370
| mem: 1323523})
({cpu: 267515370
| mem: 1327323})
4 changes: 2 additions & 2 deletions ...antics/9.6/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 503494002
| mem: 2553902})
({cpu: 505718002
| mem: 2567802})
4 changes: 2 additions & 2 deletions ...antics/9.6/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1754786702
| mem: 1680206})
({cpu: 1756018702
| mem: 1687906})
4 changes: 2 additions & 2 deletions ...antics/9.6/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 841735320
| mem: 3165952})
({cpu: 842967320
| mem: 3173652})
4 changes: 2 additions & 2 deletions ...antics/9.6/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 717573728
| mem: 3575895})
({cpu: 719285728
| mem: 3586595})
4 changes: 2 additions & 2 deletions ...antics/9.6/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 712741245
| mem: 3313464})
({cpu: 714453245
| mem: 3324164})
4 changes: 2 additions & 2 deletions ...antics/9.6/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1079129807
| mem: 5463876})
({cpu: 1082649807
| mem: 5485876})
4 changes: 2 additions & 2 deletions ...antics/9.6/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 269353310
| mem: 1329825})
({cpu: 269961310
| mem: 1333625})
4 changes: 2 additions & 2 deletions ...antics/9.6/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 419616222
| mem: 2101967})
({cpu: 420736222
| mem: 2108967})
4 changes: 2 additions & 2 deletions ...antics/9.6/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 573056620
| mem: 2881888})
({cpu: 574768620
| mem: 2892588})
4 changes: 2 additions & 2 deletions ...antics/9.6/383683bfcecdab0f4df507f59631c702bd11a81ca3841f47f37633e8aacbb5de.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 691765597
| mem: 3358236})
({cpu: 693717597
| mem: 3370436})
4 changes: 2 additions & 2 deletions ...antics/9.6/3bb75b2e53eb13f718eacd3263ab4535f9137fabffc9de499a0de7cabb335479.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 266907370
| mem: 1323523})
({cpu: 267515370
| mem: 1327323})
4 changes: 2 additions & 2 deletions ...antics/9.6/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 749259900
| mem: 3552144})
({cpu: 750971900
| mem: 3562844})
4 changes: 2 additions & 2 deletions ...antics/9.6/44a9e339fa25948b48637fe7e10dcfc6d1256319a7b5ce4202cb54dfef8e37e7.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 266907370
| mem: 1323523})
({cpu: 267515370
| mem: 1327323})
4 changes: 2 additions & 2 deletions ...antics/9.6/4c3efd13b6c69112a8a888372d56c86e60c232125976f29b1c3e21d9f537845c.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 963703900
| mem: 4822893})
({cpu: 965511900
| mem: 4834193})
4 changes: 2 additions & 2 deletions ...antics/9.6/4d7adf91bfc93cebe95a7e054ec17cfbb912b32bd8aecb48a228b50e02b055c8.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 635103703
| mem: 3167501})
({cpu: 636431703
| mem: 3175801})
4 changes: 2 additions & 2 deletions ...antics/9.6/4f9e8d361b85e62db2350dd3ae77463540e7af0d28e1eb68faeecc45f4655f57.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 364085225
| mem: 1624192})
({cpu: 365317225
| mem: 1631892})
4 changes: 2 additions & 2 deletions ...antics/9.6/52df7c8dfaa5f801cd837faa65f2fd333665fff00a555ce8c55e36ddc003007a.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 325146631
| mem: 1569587})
({cpu: 325754631
| mem: 1573387})
4 changes: 2 additions & 2 deletions ...antics/9.6/53ed4db7ab33d6f907eec91a861d1188269be5ae1892d07ee71161bfb55a7cb7.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 332690133
| mem: 1604053})
({cpu: 333298133
| mem: 1607853})
Loading

1 comment on commit 84bcd15

@github-actions
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Plutus Benchmarks'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.05.

Benchmark suite Current: 84bcd15 Previous: 2694830 Ratio
validation-auction_2-1 262.3 μs 231.8 μs 1.13
validation-auction_2-2 919 μs 645.7 μs 1.42
validation-auction_2-3 1199 μs 836.2 μs 1.43
validation-auction_2-4 906.9 μs 635.1 μs 1.43
validation-auction_2-5 337.4 μs 234.6 μs 1.44
validation-crowdfunding-success-1 302.4 μs 209.7 μs 1.44
validation-crowdfunding-success-2 302.6 μs 210.1 μs 1.44
validation-crowdfunding-success-3 302.7 μs 210.2 μs 1.44
validation-currency-1 355.7 μs 248.4 μs 1.43
validation-escrow-redeem_1-1 381 μs 347 μs 1.10
validation-escrow-redeem_1-2 499 μs 345.7 μs 1.44
validation-escrow-redeem_2-1 589.7 μs 411.1 μs 1.43
validation-escrow-redeem_2-2 588 μs 413.3 μs 1.42
validation-escrow-redeem_2-3 589.9 μs 412.6 μs 1.43
validation-escrow-refund-1 224.9 μs 156.7 μs 1.44
validation-future-increase-margin-1 355.5 μs 249.2 μs 1.43
validation-future-increase-margin-2 770.6 μs 539.2 μs 1.43
validation-future-increase-margin-3 772.3 μs 538.4 μs 1.43
validation-future-increase-margin-5 1163 μs 813.6 μs 1.43
validation-future-pay-out-1 355.7 μs 263.8 μs 1.35
validation-future-pay-out-2 769.2 μs 541.4 μs 1.42
validation-future-pay-out-3 771.8 μs 538.8 μs 1.43
validation-future-pay-out-4 905.7 μs 810.1 μs 1.12
validation-game-sm-success_1-3 911.9 μs 769 μs 1.19
validation-game-sm-success_1-4 288.6 μs 260.3 μs 1.11
validation-game-sm-success_2-2 294.4 μs 202.3 μs 1.46
validation-game-sm-success_2-3 911.2 μs 638.6 μs 1.43
validation-game-sm-success_2-4 336.6 μs 234.8 μs 1.43
validation-game-sm-success_2-5 912.8 μs 640.4 μs 1.43
validation-game-sm-success_2-6 337.2 μs 233.9 μs 1.44
validation-multisig-sm-1 505.6 μs 436.3 μs 1.16
validation-prism-1 242.8 μs 185 μs 1.31
validation-prism-3 528.6 μs 424.7 μs 1.24
validation-stablecoin_1-1 1292 μs 908.9 μs 1.42
validation-stablecoin_1-2 284.2 μs 197 μs 1.44
validation-stablecoin_1-3 1495 μs 1043 μs 1.43
validation-stablecoin_1-4 300.4 μs 208.3 μs 1.44
validation-stablecoin_1-5 1901 μs 1337 μs 1.42
validation-stablecoin_1-6 370.3 μs 257.6 μs 1.44
validation-stablecoin_2-1 1291 μs 909.9 μs 1.42
validation-stablecoin_2-2 283.9 μs 197.4 μs 1.44
validation-stablecoin_2-3 1482 μs 1044 μs 1.42
validation-stablecoin_2-4 295.2 μs 208.1 μs 1.42
validation-uniswap-1 466.8 μs 415.1 μs 1.12
validation-uniswap-2 259.5 μs 221.8 μs 1.17
validation-uniswap-3 2492 μs 1751 μs 1.42
validation-uniswap-4 492.5 μs 337.7 μs 1.46
validation-uniswap-5 1642 μs 1152 μs 1.43
validation-uniswap-6 462 μs 357.6 μs 1.29
validation-vesting-1 502.1 μs 350.1 μs 1.43
validation-decode-auction_1-1 270.6 μs 229.3 μs 1.18
validation-decode-auction_1-2 745.8 μs 528.7 μs 1.41
validation-decode-auction_1-3 673.5 μs 529.7 μs 1.27
validation-decode-auction_1-4 272.8 μs 192.2 μs 1.42
validation-decode-auction_2-1 272 μs 191.8 μs 1.42
validation-decode-auction_2-2 760.5 μs 527 μs 1.44
validation-decode-auction_2-3 744.6 μs 528.9 μs 1.41
validation-decode-auction_2-4 746.3 μs 529.2 μs 1.41
validation-decode-auction_2-5 272.9 μs 189.4 μs 1.44
validation-decode-crowdfunding-success-1 333.1 μs 232.9 μs 1.43
validation-decode-future-pay-out-1 328.1 μs 272.1 μs 1.21
validation-decode-future-pay-out-2 447 μs 313.5 μs 1.43
validation-decode-future-pay-out-3 446.6 μs 314.7 μs 1.42
validation-decode-future-pay-out-4 953.8 μs 668.4 μs 1.43
validation-decode-future-settle-early-1 326.3 μs 229.8 μs 1.42
validation-decode-future-settle-early-3 446.5 μs 379 μs 1.18
validation-decode-future-settle-early-4 953.5 μs 669.1 μs 1.43
validation-decode-game-sm-success_1-1 727.3 μs 518.7 μs 1.40
validation-decode-game-sm-success_1-2 230.5 μs 162.2 μs 1.42
validation-decode-game-sm-success_1-3 727.9 μs 511.9 μs 1.42
validation-decode-game-sm-success_1-4 230.1 μs 162.1 μs 1.42
validation-decode-game-sm-success_2-1 680.1 μs 511 μs 1.33
validation-decode-game-sm-success_2-6 213.5 μs 162.8 μs 1.31
validation-decode-multisig-sm-1 735.7 μs 573.5 μs 1.28
validation-decode-multisig-sm-4 767.8 μs 571 μs 1.34
validation-decode-multisig-sm-5 807.5 μs 574 μs 1.41
validation-decode-multisig-sm-6 807.3 μs 572.4 μs 1.41
validation-decode-ping-pong-1 678.7 μs 638.3 μs 1.06
validation-decode-prism-2 723.7 μs 508.7 μs 1.42
validation-decode-prism-3 329.8 μs 232.7 μs 1.42
validation-decode-pubkey-1 231 μs 163.2 μs 1.42
validation-decode-stablecoin_1-1 1188 μs 846 μs 1.40
validation-decode-stablecoin_1-2 188.6 μs 162.2 μs 1.16
validation-decode-stablecoin_1-4 200.4 μs 162.3 μs 1.23
validation-decode-stablecoin_1-5 1185 μs 1109 μs 1.07
validation-decode-stablecoin_1-6 230.4 μs 162.2 μs 1.42
validation-decode-stablecoin_2-1 1186 μs 933.8 μs 1.27
validation-decode-stablecoin_2-4 228.1 μs 217.2 μs 1.05
validation-decode-token-account-1 328.3 μs 230.6 μs 1.42
validation-decode-token-account-2 297.8 μs 248.4 μs 1.20
nofib-clausify/formula1 4109 μs 3303 μs 1.24
nofib-clausify/formula2 5794 μs 4078.0000000000005 μs 1.42
nofib-clausify/formula3 15830 μs 11940 μs 1.33
nofib-queens5x5/bm 109200 μs 89880 μs 1.21
marlowe-semantics/0101010001010101010101000100010100000001010000010001000001000101 1321 μs 1127 μs 1.17
marlowe-semantics/0101020201010201010200010102000201000201010102000102010201010000 425.7 μs 304.2 μs 1.40
marlowe-semantics/0101080808040600020306010000000302050807010208060100070207080202 1088 μs 777.3 μs 1.40
marlowe-semantics/0104010200020000040103020102020004040300030304040400010301040303 1114 μs 788 μs 1.41
marlowe-semantics/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008 1065 μs 745.9 μs 1.43
marlowe-semantics/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63 1481 μs 1054 μs 1.41
marlowe-semantics/0705030002040601010206030604080208020207000101060706050502040301 1438 μs 1018 μs 1.41
marlowe-semantics/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607 1459 μs 1036 μs 1.41
marlowe-semantics/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4 1613 μs 1140 μs 1.41
marlowe-semantics/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8 1944 μs 1377 μs 1.41
marlowe-semantics/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a 678 μs 480.2 μs 1.41
marlowe-semantics/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91 1093 μs 772.7 μs 1.41
marlowe-semantics/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5 709.6 μs 500.3 μs 1.42
marlowe-semantics/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad 1073 μs 761.8 μs 1.41
marlowe-semantics/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04 435.7 μs 305.6 μs 1.43
marlowe-semantics/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e 1291 μs 908.6 μs 1.42
marlowe-semantics/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260 1111 μs 787.8 μs 1.41
marlowe-semantics/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7 433.1 μs 306.1 μs 1.41
marlowe-semantics/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d 1439 μs 997.8 μs 1.44
marlowe-semantics/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220 8206 μs 5845 μs 1.40
marlowe-semantics/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263 512.9 μs 362.4 μs 1.42
marlowe-semantics/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882 426.2 μs 302.9 μs 1.41
marlowe-semantics/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3 807 μs 573.1 μs 1.41
marlowe-semantics/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5 2620 μs 1815 μs 1.44
marlowe-semantics/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c 1336 μs 941.2 μs 1.42
marlowe-semantics/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695 1126 μs 794.7 μs 1.42
marlowe-semantics/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1 1093 μs 772.8 μs 1.41
marlowe-semantics/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a 1644 μs 1166 μs 1.41
marlowe-semantics/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d 433 μs 305.3 μs 1.42
marlowe-role-payout/bd79f4a84db23b7c4cd219d498bd581e085cbc3437957e74a8862281a700700b 233.8 μs 198.1 μs 1.18
marlowe-role-payout/c11490431db3a92efdda70933ba411a0423935e73a75c856e326dbcf6672f3bf 246 μs 174.2 μs 1.41
marlowe-role-payout/c4d4c88c5fe378a25a034025994a0d0b1642f10c8e6e513f872327fa895bfc7e 257.2 μs 182.1 μs 1.41
marlowe-role-payout/c78eeba7681d2ab51b4758efa4c812cc041928837c6e7563d8283cce67ce2e02 259 μs 183 μs 1.42
marlowe-role-payout/c99ecc2146ce2066ba6dffc734923264f8794815acbc2ec74c2c2c42ba272e4d 301.5 μs 213 μs 1.42
marlowe-role-payout/caa409c40e39aed9b0f59214b4baa178c375526dea6026b4552b88d2cc729716 230.7 μs 163 μs 1.42
marlowe-role-payout/cb2ab8e22d1f64e8d204dece092e90e9bf1fa8b2a6e9cba5012dbe4978065832 245.4 μs 174.6 μs 1.41
marlowe-role-payout/cc1e82927f6c65b3e912200ae30588793d2066e1d4a6627c21955944ac9bd528 275.3 μs 195.3 μs 1.41
marlowe-role-payout/d5cda74eb0947e025e02fb8ed365df39d0a43e4b42cd3573ac2d8fcb29115997 269.6 μs 191.3 μs 1.41
marlowe-role-payout/d6bc8ac4155e22300085784148bbc9d9bbfea896e1009dd396610a90e3943032 278.4 μs 196.6 μs 1.42
marlowe-role-payout/da353bf9219801fa1bf703fc161497570954e9af7e10ffe95c911a9ef97e77bd 248.6 μs 176.3 μs 1.41
marlowe-role-payout/dc45c5f1b700b1334db99f50823321daaef0e6925b9b2fabbc9df7cde65af62e 249.2 μs 177.8 μs 1.40
marlowe-role-payout/df487b2fd5c1583fa33644423849bc1ab5f02f37edc0c235f34ef01cb12604f6 255.2 μs 181.3 μs 1.41
marlowe-role-payout/eabeeae18131af89fa57936c0e9eb8d2c7adba534f7e1a517d75410028fa0d6c 244.3 μs 173.2 μs 1.41
marlowe-role-payout/ec4712ee820eb959a43ebedfab6735f2325fa52994747526ffd2a4f4f84dd58e 275.1 μs 196.2 μs 1.40
marlowe-role-payout/ee3962fbd7373360f46decef3c9bda536a0b1daf6cda3b8a4bcfd6deeb5b4c53 279.7 μs 198.4 μs 1.41
marlowe-role-payout/f1a1e6a487f91feca5606f72bbb1e948c71abf043c6a0ea83bfea9ec6a0f08d8 240.1 μs 170 μs 1.41
marlowe-role-payout/f2932e4ca4bbb94b0a9ffbe95fcb7bd5639d9751d75d56d5e14efa5bbed981df 239.2 μs 169.5 μs 1.41
marlowe-role-payout/f53e8cafe26647ccce51e4c31db13608aea1f39034c0f52dee2e5634ef66e747 265.8 μs 186.4 μs 1.43
marlowe-role-payout/f7275afb60e33a550df13a132102e7e925dd28965a4efbe510a89b077ff9417f 245.9 μs 173.5 μs 1.42
marlowe-role-payout/fc8c5f45ffcdb024c21e0f34b22c23de8045a94d5e1a5bda1555c45ddb059f82 256.2 μs 180.3 μs 1.42
marlowe-role-payout/ff38b1ec89952d0247630f107a90cbbeb92ecbfcd19b284f60255718e4ec7548 293.1 μs 207.2 μs 1.41

This comment was automatically generated by workflow using github-action-benchmark.

CC: @IntersectMBO/plutus-core

Please sign in to comment.