Skip to content

Commit

Permalink
Fix typo (#6580)
Browse files Browse the repository at this point in the history
  • Loading branch information
@kwxm
kwxm authored Oct 16, 2024
1 parent 825ce9a commit 621611a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/plutus-core-spec/cardano/builtins5.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -195,7 +195,7 @@ \subsection{Batch 5}
\note{Writing bits.}
\label{note:writebits}
The denotation $\mathsf{writeBits}$ of the \texttt{writeBits} builtin takes a
bytestring $s$, a list of $J$ of integer indices, and a boolean value $u$. An
bytestring $s$, a list $J$ of integer indices, and a boolean value $u$. An
error occurs if any of the indices in $J$ is not a valid bit index for $s$. If
all of the indices are within bounds then for each index $j$ in $J$ the $j$-th
bit of $s$ is updated according to the value of $u$ ($\bitzero$
Expand Down

1 comment on commit 621611a

@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: 621611a Previous: 825ce9a Ratio
validation-game-sm-success_2-1 552 μs 446.7 μs 1.24
validation-game-sm-success_2-2 285.4 μs 198.6 μs 1.44
validation-game-sm-success_2-3 911.8 μs 635.6 μs 1.43
validation-game-sm-success_2-4 321.7 μs 230.1 μs 1.40
validation-multisig-sm-4 560.7 μs 425.8 μs 1.32
validation-ping-pong-1 460.1 μs 379.5 μs 1.21
validation-prism-1 221.9 μs 178.5 μs 1.24
validation-stablecoin_1-3 1480 μs 1042 μs 1.42
validation-stablecoin_1-4 295.7 μs 226 μs 1.31
validation-stablecoin_1-5 1901 μs 1653 μs 1.15
validation-stablecoin_1-6 367.2 μs 256.6 μs 1.43
validation-stablecoin_2-1 1283 μs 986.5 μs 1.30
validation-token-account-2 484.7 μs 362.9 μs 1.34
validation-uniswap-1 595.4 μs 419.6 μs 1.42
validation-uniswap-2 314.7 μs 222 μs 1.42
validation-uniswap-3 2493 μs 1765 μs 1.41
validation-uniswap-4 479.3 μs 337.9 μs 1.42
validation-uniswap-5 1637 μs 1388 μs 1.18
validation-decode-auction_1-4 274.5 μs 223.9 μs 1.23
validation-decode-auction_2-1 273.8 μs 189.8 μs 1.44
validation-decode-auction_2-2 750.8 μs 525.6 μs 1.43
validation-decode-auction_2-3 747.9 μs 664.5 μs 1.13
validation-decode-currency-1 337.9 μs 320.3 μs 1.05
validation-decode-escrow-redeem_2-2 446.7 μs 308.7 μs 1.45
validation-decode-escrow-redeem_2-3 446.9 μs 308.3 μs 1.45
validation-decode-escrow-refund-1 448 μs 308.8 μs 1.45
validation-decode-future-increase-margin-1 326.1 μs 231.4 μs 1.41
validation-decode-future-increase-margin-2 448.6 μs 311.8 μs 1.44
validation-decode-future-settle-early-1 329.6 μs 274 μs 1.20
validation-decode-ping-pong-1 682 μs 629.1 μs 1.08
validation-decode-ping-pong-2 681.4 μs 494.8 μs 1.38
validation-decode-prism-2 725.4 μs 586.5 μs 1.24
validation-decode-prism-3 336.6 μs 230.3 μs 1.46
validation-decode-pubkey-1 232.3 μs 161.3 μs 1.44
validation-decode-stablecoin_1-1 1205 μs 843.5 μs 1.43
validation-decode-stablecoin_1-2 231.4 μs 160.1 μs 1.45
validation-decode-stablecoin_1-3 1192 μs 883.9 μs 1.35
validation-decode-stablecoin_1-6 230.9 μs 191.4 μs 1.21
validation-decode-stablecoin_2-1 1192 μs 838.4 μs 1.42
validation-decode-stablecoin_2-2 231 μs 160.8 μs 1.44
validation-decode-stablecoin_2-3 1190 μs 897.6 μs 1.33
marlowe-semantics/0000020002010200020101020201000100010001020101020201010000020102 461.3 μs 327.9 μs 1.41
marlowe-semantics/0001000101000000010101000001000001010101010100000001000001010000 638.3 μs 451.9 μs 1.41
marlowe-semantics/0003040402030103010203030303000200000104030002040304020400000102 1493 μs 1058 μs 1.41
marlowe-semantics/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8 1174 μs 834.1 μs 1.41
marlowe-semantics/0101010001010101010101000100010100000001010000010001000001000101 1345 μs 950.6 μs 1.41
marlowe-semantics/0101020201010201010200010102000201000201010102000102010201010000 431.1 μs 307 μs 1.40
marlowe-semantics/0101080808040600020306010000000302050807010208060100070207080202 1100 μs 782.6 μs 1.41
marlowe-semantics/0104010200020000040103020102020004040300030304040400010301040303 1127 μs 1029 μs 1.10
marlowe-semantics/e3afd22d01ff12f381cf915fd32358634e6c413f979f2492cf3339319d8cc079 353.4 μs 322.1 μs 1.10
marlowe-semantics/e9234d2671760874f3f660aae5d3416d18ce6dfd7af4231bdd41b9ec268bc7e1 1381 μs 1260 μs 1.10
marlowe-semantics/eb4a605ed3a64961e9e66ad9631c2813dadf7131740212762ae4483ec749fe1d 431.4 μs 307.5 μs 1.40
marlowe-semantics/ecb5e8308b57724e0f8533921693f111eba942123cf8660aac2b5bac21ec28f0 961.2 μs 683.6 μs 1.41
marlowe-semantics/f2a8fd2014922f0d8e01541205d47e9bb2d4e54333bdd408cbe7c47c55e73ae4 1081 μs 768.2 μs 1.41
marlowe-semantics/f339f59bdf92495ed2b14e2e4d3705972b4dda59aa929cffe0f1ff5355db8d79 6626 μs 4711 μs 1.41
marlowe-semantics/ffdd68a33afd86f8844c9f5e45b2bda5b035aa02274161b23d57709c0f8b8de6 1392 μs 986.6 μs 1.41
marlowe-role-payout/0004000402010401030101030100040000010104020201030001000204020401 268 μs 190.7 μs 1.41
marlowe-role-payout/0100000100010000000001000100010101000101000001000000010000010000 376.5 μs 268.9 μs 1.40
marlowe-role-payout/0101000100000101010000010101000100010101000001000001000000010101 283.8 μs 201.7 μs 1.41
marlowe-role-payout/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c 222.9 μs 167.9 μs 1.33
marlowe-role-payout/04f592afc6e57c633b9c55246e7c82e87258f04e2fb910c37d8e2417e9db46e5 338.5 μs 241.4 μs 1.40
marlowe-role-payout/057ebc80922f16a5f4bf13e985bf586b8cff37a2f6fe0f3ce842178c16981027 240.5 μs 172.3 μs 1.40
marlowe-role-payout/06317060a8e488b1219c9dae427f9ce27918a9e09ee8ac424afa33ca923f7954 261.2 μs 185.4 μs 1.41
marlowe-role-payout/07658a6c898ad6d624c37df1e49e909c2e9349ba7f4c0a6be5f166fe239bfcae 234.5 μs 167.1 μs 1.40
marlowe-role-payout/0bdca1cb8fa7e38e09062557b82490714052e84e2054e913092cd84ac071b961 285.4 μs 204.2 μs 1.40
marlowe-role-payout/0c9d3634aeae7038f839a1262d1a8bc724dc77af9426459417a56ec73240f0e0 257.4 μs 182.7 μs 1.41
marlowe-role-payout/0d0f01050a0a0a0b0b050d0404090e0d0506000d0a041003040e0f100e0a0408 254.9 μs 181.8 μs 1.40
marlowe-role-payout/0dbb692d2bf22d25eeceac461cfebf616f54003077a8473abc0457f18e025960 289.8 μs 205.9 μs 1.41
marlowe-role-payout/0e00171d0f1e1f14070d0a00091f07101808021d081e1b120219081312081e15 248.3 μs 177.4 μs 1.40
marlowe-role-payout/0e72f62b0f922e31a2340baccc768104025400cf7fdd7dae62fbba5fc770936d 216.5 μs 196.9 μs 1.10
marlowe-role-payout/36866914aa07cf62ef36cf2cd64c7f240e3371e27bb9fff5464301678e809c40 242.7 μs 230 μs 1.06
marlowe-role-payout/371c10d2526fc0f09dbe9ed59e44dcd949270b27dc42035addd7ff9f7e0d05e7 294 μs 210.6 μs 1.40
marlowe-role-payout/3897ef714bba3e6821495b706c75f8d64264c3fdaa58a3826c808b5a768c303d 253 μs 180.4 μs 1.40
marlowe-role-payout/4121d88f14387d33ac5e1329618068e3848445cdd66b29e5ba382be2e02a174a 287.8 μs 205.4 μs 1.40
marlowe-role-payout/4299c7fcf093a5dbfe114c188e32ca199b571a7c25cb7f766bf49f12dab308be 245.7 μs 191 μs 1.29

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

CC: @IntersectMBO/plutus-core

Please sign in to comment.