plutus

plutus copied to clipboard

Add arrays to metatheory

1

Fixes https://github.com/IntersectMBO/plutus-private/issues/1465

ramsay-t

Fixes https://github.com/IntersectMBO/plutus-private/issues/1600 Fixes https://github.com/IntersectMBO/plutus/issues/6529

ramsay-t

#7138 lowers down the cost of `equalsData` when the two `Data` objects aren't equal. It would be great to have lower cost for `equalsData`, but implementing it properly is quite...

effectfully

[Builtins] Allow casing on booleans and integers

37

This adds support for casing on booleans and integers using `Case`, which is the first part of #6602.

effectfully

[Builtins] Make costing of 'equalsData' more accurate

1

This makes the user not pay for so the nodes that `equalsData` ends up not processing (when `False` is returned early, because two nodes don't match and there's no point...

effectfully

filip(fix): apply EAA amends for docs site

1

Added aria labels to logo links Contrast: Navigation Logo, Footer Logo, Footer copyright and Footer button colour all have too low a contrast ratio with their respective backgrounds to be...

fstoqnov-iohk

Rename UPLC goldens to have file extension `.uplc`

2

Thanks to @rvcas, we have language support to uplc now natively on github! We can change all golden files with extension `*.uplc.golden` to `*.golden.uplc` to take advantage of github syntax...

SeungheonOh


Unisay

ana-pantilie

[AST] [Performance] Use 'Array' instead of 'Vector'

90

Same as #7010 except using `Array` rather than `SmallArray`.

effectfully