IntersectMBO/plutus

(DecodeU8 . EncodeU8) Rewrite Rule

Open

#6 038 ouverte le 17 mai 2024

Voir sur GitHub
 (0 commentaires) (0 réactions) (1 assigné)Haskell (511 forks)batch import
BuiltinsGood first issueInternaloptimizationstatus: triaged

Métriques du dépôt

Stars
 (1 637 stars)
Métriques de merge PR
 (Merge moyen 15j 11h) (13 PRs mergées en 30 j)

Description

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.

Guide contributeur

Direction de recherche
Examinez les règles de réécriture existantes dans le compilateur Plutus, par exemple dans PlutusCore/src/PlutusCore/RewriteRules.hs. Comprenez les fonctions EncodeU8 et DecodeU8, probablement dans PlutusCore/src/PlutusCore/Builtins.hs. Ajoutez une nouvelle règle de réécriture dans le module approprié et incluez une propriété QuickCheck dans la suite de tests (par exemple, plutus core/test/Spec.hs) pour vérifier que (decodeUtf8 . encodeUtf8) == id. Consultez d'autres règles de réécriture similaires pour vous guider.
Stack technique
Aucun
Domaine
backend
Type d'issue
Test
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
HaskellQuickCheck
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
60