Skip to content

Commit

Permalink
Kwxm/write bits/new semantics (#6547)
Browse files Browse the repository at this point in the history 
* Initial updates to writeBits

* Update some conformance tests

* Update more conformance tests

* Remove trailing spaces

* Update budgeting benchmarks

* Update comment in PlutusTx

* Update untyped-plutus-core-test

* Update plutus-core-test

* Update bitwise use case benchmarks and golden files

* Update golden files in cardano-constitution

* Add changelog entries

* throw -> throwIO

* Update CSV file
  • Loading branch information
@kwxm
kwxm authored Oct 9, 2024
1 parent df74625 commit 6a5d5a2
Show file tree
Hide file tree
Showing 72 changed files with 493 additions and 473 deletions.
72 changes: 37 additions & 35 deletions cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/sorted.uplc.golden
View file
Original file line number Diff line number Diff line change
Expand Up @@ -757,19 +757,19 @@ program
(constr 3
[ (constr 1
[ cse
, cse ]) ]))
, (constr 1
[ (constr 0
[ (constr 0
[ ])
, (constr 1
[ cse
, cse ]) ])
, (constr 0
[ ]) ]) ]) ]))
(constr 3
[ (constr 1
[ cse
, (constr 1
[ (constr 0
[ (constr 0
[ ])
, (constr 1
[ cse
, cse ]) ])
, (constr 0
[ ]) ]) ]) ]))
, cse ]) ]))
(constr 1
[ (constr 3
[ (constr 1
Expand Down Expand Up @@ -801,15 +801,15 @@ program
, (constr 1
[ cse
, (constr 1
[ (cse
100)
[ cse
, (constr 0
[ ]) ]) ]) ]))
(constr 0
[ (constr 1
[ ])
, (constr 1
[ cse
[ (cse
10)
, cse ]) ]))
(constr 1
[ (constr 0
Expand All @@ -835,17 +835,18 @@ program
, (constr 0
[ ]) ]))
(constr 1
[ (constr 0
[ (constr 0
[ ])
, (constr 1
[ 500000000
, (constr 0
[ ]) ]) ])
[ (cse
4)
, (constr 0
[ ]) ]))
(constr 1
[ cse
[ (constr 0
[ (constr 0
[ ])
, (constr 1
[ 500000000
, (constr 0
[ ]) ]) ])
, (constr 0
[ ]) ]))
(constr 1
Expand All @@ -859,13 +860,14 @@ program
(cse
2))
(cse
10))
(constr 0
[ (constr 1
[ ])
, cse ]))
(cse 5))
(cse 4))
100))
(cse
1))
(constr 0
[ (constr 1
[ ])
, cse ]))
(cse 5))
(constr 0
[ (constr 1
[])
Expand All @@ -874,14 +876,14 @@ program
, (constr 0
[ ]) ]) ]))
(cse 1))
(cse 1))
(unsafeRatio 9 10))
(cse 10))
(unsafeRatio 4))
(unsafeRatio 0))
(unsafeRatio 1))
(unsafeRatio 3))
(unsafeRatio 51))
(constr 1 [0, (constr 0 [])]))
(unsafeRatio 4))
(unsafeRatio 3))
(unsafeRatio 9))
(constr 1 [0, (constr 0 [])]))
(unsafeRatio 1))
(unsafeRatio 51))
(fix1
(\go l ->
force (force chooseList)
Expand Down
Loading

1 comment on commit 6a5d5a2

@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: 6a5d5a2 Previous: df74625 Ratio
validation-auction_1-1 256.5 μs 188.5 μs 1.36
validation-escrow-redeem_2-3 447 μs 412.5 μs 1.08
validation-future-increase-margin-1 354.1 μs 249.9 μs 1.42
validation-future-increase-margin-2 769.7 μs 542.5 μs 1.42
validation-future-increase-margin-3 768.6 μs 573.4 μs 1.34
validation-game-sm-success_1-1 551.6 μs 391.3 μs 1.41
validation-game-sm-success_1-2 285.4 μs 202.2 μs 1.41
validation-game-sm-success_1-3 912.4 μs 649.3 μs 1.41
validation-game-sm-success_1-4 330.7 μs 234.8 μs 1.41
validation-game-sm-success_2-1 551.8 μs 393.2 μs 1.40
validation-game-sm-success_2-2 285.6 μs 202.6 μs 1.41
validation-game-sm-success_2-3 912.7 μs 647.4 μs 1.41
validation-game-sm-success_2-4 330.5 μs 240.5 μs 1.37
validation-multisig-sm-6 485.8 μs 401.8 μs 1.21
validation-multisig-sm-7 548.9 μs 425.3 μs 1.29
validation-token-account-2 487.2 μs 342.9 μs 1.42
validation-decode-auction_1-4 275.9 μs 238.4 μs 1.16
validation-decode-auction_2-1 274.8 μs 192.5 μs 1.43
validation-decode-auction_2-2 748.2 μs 527.2 μs 1.42
validation-decode-auction_2-3 765 μs 538.7 μs 1.42
validation-decode-auction_2-4 764.2 μs 538.3 μs 1.42
validation-decode-auction_2-5 276.1 μs 192.7 μs 1.43
validation-decode-crowdfunding-success-1 250.4 μs 234.6 μs 1.07
validation-decode-future-increase-margin-4 961.3 μs 684.6 μs 1.40
validation-decode-future-increase-margin-5 961.6 μs 707 μs 1.36
validation-decode-future-pay-out-4 970 μs 668.8 μs 1.45
validation-decode-future-settle-early-1 332.5 μs 235.3 μs 1.41
validation-decode-future-settle-early-2 449.8 μs 313 μs 1.44
validation-decode-future-settle-early-3 448.7 μs 324.5 μs 1.38
validation-decode-multisig-sm-10 804.9 μs 702 μs 1.15
validation-decode-ping-pong-1 520.8 μs 489.9 μs 1.06
validation-decode-prism-3 332.4 μs 253.8 μs 1.31
validation-decode-pubkey-1 233 μs 163.3 μs 1.43
validation-decode-stablecoin_1-1 1018 μs 860.4 μs 1.18
nofib-clausify/formula1 3707 μs 3198 μs 1.16
nofib-clausify/formula2 5808 μs 3980 μs 1.46
nofib-clausify/formula3 15920 μs 10890 μs 1.46
nofib-clausify/formula4 35600 μs 25160 μs 1.41
nofib-clausify/formula5 56910 μs 53030 μs 1.07
nofib-knights/4x4 22070 μs 17460 μs 1.26
nofib-queens4x4/bjbt2 8655 μs 6796 μs 1.27
nofib-queens4x4/fc 19660 μs 13530 μs 1.45
nofib-queens5x5/bt 103600 μs 71640 μs 1.45
nofib-queens5x5/bm 107100 μs 75150 μs 1.43
nofib-queens5x5/bjbt1 120900 μs 83620 μs 1.45
nofib-queens5x5/bjbt2 117300 μs 92320 μs 1.27
marlowe-role-payout/5ade103e9530dd0d572fe1b053ea65ad925c6ebbe321e873ace8b804363fa82c 341.7 μs 284.5 μs 1.20
marlowe-role-payout/5d4c62a0671c65a14f6a15093e3efc4f1816d95a5a58fd92486bedaae8d9526b 286.2 μs 195.1 μs 1.47
marlowe-role-payout/5efe992e306e31cc857c64a62436ad2f9325acc5b4a74a8cebccdfd853ce63d2 253 μs 173.1 μs 1.46
marlowe-role-payout/622a7f3bc611b5149253c9189da022a9ff296f60a5b7c172a6dc286faa7284fa 294.7 μs 201.5 μs 1.46
marlowe-role-payout/6621a69217f09d91f42876a9c0cecf79de0e29bdd5b16c82c6c52cf959092ec4 271.1 μs 185.2 μs 1.46
marlowe-role-payout/962c2c658b19904372984a56409707401e64e9b03c1986647134cfd329ec5139 266.7 μs 181.6 μs 1.47
marlowe-role-payout/996804e90f2c75fe68886fc8511304b8ab9b36785f8858f5cb098e91c159dde9 255.3 μs 174.2 μs 1.47
marlowe-role-payout/a004a989c005d59043f996500e110fa756ad1b85800b889d5815a0106388e1d7 196.6 μs 180.5 μs 1.09
marlowe-role-payout/bcdbc576d63b0454100ad06893812edafc2e7e4934fec1b44e2d06eb34f36eb8 188.4 μs 171 μs 1.10
marlowe-role-payout/bd460b7549b70c52e37b312a4242041eac18fe4a266f018bcea0c78a9085a271 283.9 μs 194.2 μs 1.46
marlowe-role-payout/bd79f4a84db23b7c4cd219d498bd581e085cbc3437957e74a8862281a700700b 285.4 μs 194.7 μs 1.47
marlowe-role-payout/c11490431db3a92efdda70933ba411a0423935e73a75c856e326dbcf6672f3bf 250.5 μs 171.1 μs 1.46
marlowe-role-payout/c4d4c88c5fe378a25a034025994a0d0b1642f10c8e6e513f872327fa895bfc7e 263.1 μs 179 μs 1.47
marlowe-role-payout/c78eeba7681d2ab51b4758efa4c812cc041928837c6e7563d8283cce67ce2e02 262.9 μs 180.7 μs 1.45
marlowe-role-payout/c99ecc2146ce2066ba6dffc734923264f8794815acbc2ec74c2c2c42ba272e4d 307.4 μs 210.5 μs 1.46
marlowe-role-payout/caa409c40e39aed9b0f59214b4baa178c375526dea6026b4552b88d2cc729716 236.1 μs 161.3 μs 1.46
marlowe-role-payout/cb2ab8e22d1f64e8d204dece092e90e9bf1fa8b2a6e9cba5012dbe4978065832 250.7 μs 171.7 μs 1.46
marlowe-role-payout/cc1e82927f6c65b3e912200ae30588793d2066e1d4a6627c21955944ac9bd528 280.3 μs 192.1 μs 1.46
marlowe-role-payout/d5cda74eb0947e025e02fb8ed365df39d0a43e4b42cd3573ac2d8fcb29115997 276.3 μs 188.4 μs 1.47
marlowe-role-payout/d6bc8ac4155e22300085784148bbc9d9bbfea896e1009dd396610a90e3943032 283.6 μs 193.9 μs 1.46
marlowe-role-payout/da353bf9219801fa1bf703fc161497570954e9af7e10ffe95c911a9ef97e77bd 253 μs 174 μs 1.45
marlowe-role-payout/dc45c5f1b700b1334db99f50823321daaef0e6925b9b2fabbc9df7cde65af62e 256 μs 176.2 μs 1.45
marlowe-role-payout/ee3962fbd7373360f46decef3c9bda536a0b1daf6cda3b8a4bcfd6deeb5b4c53 285.4 μs 195.1 μs 1.46
marlowe-role-payout/ff38b1ec89952d0247630f107a90cbbeb92ecbfcd19b284f60255718e4ec7548 298.5 μs 203.8 μs 1.46

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

CC: @IntersectMBO/plutus-core

Please sign in to comment.