IntersectMBO/plutus

(DecodeU8 . EncodeU8) Rewrite Rule

Open

#6038 aperta il 17 mag 2024

Vedi su GitHub
 (0 commenti) (0 reazioni) (1 assegnatario)Haskell (511 fork)batch import
BuiltinsGood first issueInternaloptimizationstatus: triaged

Metriche repository

Star
 (1637 star)
Metriche merge PR
 (Merge medio 15g 11h) (13 PR mergiate in 30 g)

Descrizione

This is discussed with @Kenneth MacKenzie and considered safe.

Add also a quickcheck that (decodeUtf8 . encodeUtf8) == id to exclude the case of “missing replicating a bug” in the original unoptimized code.

Guida contributor

Direzione di ricerca
Esamina le regole di riscrittura esistenti nel compilatore Plutus, ad esempio in PlutusCore/src/PlutusCore/RewriteRules.hs. Comprendi le funzioni EncodeU8 e DecodeU8, probabilmente in PlutusCore/src/PlutusCore/Builtins.hs. Aggiungi una nuova regola di riscrittura nel modulo appropriato e includi una proprietà QuickCheck nella suite di test (ad esempio, plutus core/test/Spec.hs) per verificare che (decodeUtf8 . encodeUtf8) == id. Guarda altre regole di riscrittura simili per orientarti.
Tech stack
Nessuno
Dominio
backend
Tipo issue
Test
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
HaskellQuickCheck
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60