plutus

plutus copied to clipboard

[Builtins] Make unlifting lazy again

42

This is technically a regression performance-wise, but we may already be charging for it (depends on how budgeting calibration works), so let's see, maybe it's not detectable regardless.

effectfully

[EXPERIMENT] [Builtins] 10x more builtins

38

This replicates the existing builtins so that there are 10x of them now. This is just to check whether it results in any evaluation slowdown.

effectfully

The UFloatDelay translation relation requires a test that a term `isPure`. This exists in Haskell but needs defining in Agda. Currently it is a null type that accepts any term,...

ramsay-t

bezirg

This experiment adds the `dropList` builtin so that folks can play with it. Not intended for merging.

effectfully

Improve documentation on deploying a UPLC script

1

# Plutus Core Meetup Dogfooding At the 2024 Plutus Core Meetup we had a dogfooding session aimed at deploying a UPLC script to the Preview Cardano chain. The following is...

ana-pantilie

This issue is just to have some place where the Education team can share their feedback in free form should they wish so. This doesn't mean that other issues to...

effectfully

Add a step for incrementing ledger package versions in the release process

10

zliu41

Add a way to generate callstack trace message

2

closes #7146. ~~Add plugin option to generate callstack trace message. Currently this won't handle cases when a function has `PlutusTx.Trace.callStack` and that function is called in multiple places. It will...

SeungheonOh

[Refac] Make UPLC and TPLC tests more uniform

1

Polished things a little, added some functionality to the `testlib` of UPLC that we already had for TPLC, added a UPLC test.

effectfully