From 4aed8f28ebcb577102da3a867ce41142b851b919 Mon Sep 17 00:00:00 2001 From: kwxm Date: Fri, 14 Jun 2024 15:43:07 +0100 Subject: [PATCH 1/5] Shorten some file names --- .../long-key.uplc} | 0 .../long-key.uplc.budget.expected} | 0 .../long-key.uplc.expected} | 0 .../long-sig.uplc} | 0 .../long-sig.uplc.budget.expected} | 0 .../long-sig.uplc.expected} | 0 .../short-key.uplc} | 0 .../short-key.uplc.budget.expected} | 0 .../short-key.uplc.expected} | 0 .../short-sig.uplc} | 0 .../short-sig.uplc.budget.expected} | 0 .../short-sig.uplc.expected} | 0 12 files changed, 0 insertions(+), 0 deletions(-) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/{verifySchnorrSecp256k1Signature-long-key/verifySchnorrSecp256k1Signature-long-key.uplc => long-key/long-key.uplc} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/{verifySchnorrSecp256k1Signature-long-key/verifySchnorrSecp256k1Signature-long-key.uplc.budget.expected => long-key/long-key.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/{verifySchnorrSecp256k1Signature-long-key/verifySchnorrSecp256k1Signature-long-key.uplc.expected => long-key/long-key.uplc.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/{verifySchnorrSecp256k1Signature-long-sig/verifySchnorrSecp256k1Signature-long-sig.uplc => long-sig/long-sig.uplc} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/{verifySchnorrSecp256k1Signature-long-sig/verifySchnorrSecp256k1Signature-long-sig.uplc.budget.expected => long-sig/long-sig.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/{verifySchnorrSecp256k1Signature-long-sig/verifySchnorrSecp256k1Signature-long-sig.uplc.expected => long-sig/long-sig.uplc.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/{verifySchnorrSecp256k1Signature-short-key/verifySchnorrSecp256k1Signature-short-key.uplc => short-key/short-key.uplc} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/{verifySchnorrSecp256k1Signature-short-key/verifySchnorrSecp256k1Signature-short-key.uplc.budget.expected => short-key/short-key.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/{verifySchnorrSecp256k1Signature-short-key/verifySchnorrSecp256k1Signature-short-key.uplc.expected => short-key/short-key.uplc.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/{verifySchnorrSecp256k1Signature-short-sig/verifySchnorrSecp256k1Signature-short-sig.uplc => short-sig/short-sig.uplc} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/{verifySchnorrSecp256k1Signature-short-sig/verifySchnorrSecp256k1Signature-short-sig.uplc.budget.expected => short-sig/short-sig.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/{verifySchnorrSecp256k1Signature-short-sig/verifySchnorrSecp256k1Signature-short-sig.uplc.expected => short-sig/short-sig.uplc.expected} (100%) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-long-key/verifySchnorrSecp256k1Signature-long-key.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/long-key/long-key.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-long-key/verifySchnorrSecp256k1Signature-long-key.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/long-key/long-key.uplc diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-long-key/verifySchnorrSecp256k1Signature-long-key.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/long-key/long-key.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-long-key/verifySchnorrSecp256k1Signature-long-key.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/long-key/long-key.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-long-key/verifySchnorrSecp256k1Signature-long-key.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/long-key/long-key.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-long-key/verifySchnorrSecp256k1Signature-long-key.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/long-key/long-key.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-long-sig/verifySchnorrSecp256k1Signature-long-sig.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/long-sig/long-sig.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-long-sig/verifySchnorrSecp256k1Signature-long-sig.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/long-sig/long-sig.uplc diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-long-sig/verifySchnorrSecp256k1Signature-long-sig.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/long-sig/long-sig.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-long-sig/verifySchnorrSecp256k1Signature-long-sig.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/long-sig/long-sig.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-long-sig/verifySchnorrSecp256k1Signature-long-sig.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/long-sig/long-sig.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-long-sig/verifySchnorrSecp256k1Signature-long-sig.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/long-sig/long-sig.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-short-key/verifySchnorrSecp256k1Signature-short-key.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/short-key/short-key.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-short-key/verifySchnorrSecp256k1Signature-short-key.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/short-key/short-key.uplc diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-short-key/verifySchnorrSecp256k1Signature-short-key.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/short-key/short-key.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-short-key/verifySchnorrSecp256k1Signature-short-key.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/short-key/short-key.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-short-key/verifySchnorrSecp256k1Signature-short-key.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/short-key/short-key.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-short-key/verifySchnorrSecp256k1Signature-short-key.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/short-key/short-key.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-short-sig/verifySchnorrSecp256k1Signature-short-sig.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/short-sig/short-sig.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-short-sig/verifySchnorrSecp256k1Signature-short-sig.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/short-sig/short-sig.uplc diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-short-sig/verifySchnorrSecp256k1Signature-short-sig.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/short-sig/short-sig.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-short-sig/verifySchnorrSecp256k1Signature-short-sig.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/short-sig/short-sig.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-short-sig/verifySchnorrSecp256k1Signature-short-sig.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/short-sig/short-sig.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/verifySchnorrSecp256k1Signature-short-sig/verifySchnorrSecp256k1Signature-short-sig.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifySchnorrSecp256k1Signature/short-sig/short-sig.uplc.expected From bcfeb0372fbd1522d4512324fc3ac17076a19aa2 Mon Sep 17 00:00:00 2001 From: kwxm Date: Fri, 14 Jun 2024 15:44:50 +0100 Subject: [PATCH 2/5] Shorten some file names --- .../invalid-key.uplc} | 0 .../invalid-key.uplc.budget.expected} | 0 .../invalid-key.uplc.expected} | 0 .../long-key.uplc} | 0 .../long-key.uplc.budget.expected} | 0 .../long-key.uplc.expected} | 0 .../long-msg.uplc} | 0 .../long-msg.uplc.budget.expected} | 0 .../long-msg.uplc.expected} | 0 .../long-sig.uplc} | 0 .../long-sig.uplc.budget.expected} | 0 .../long-sig.uplc.expected} | 0 .../short-key.uplc} | 0 .../short-key.uplc.budget.expected} | 0 .../short-key.uplc.expected} | 0 .../short-msg.uplc} | 0 .../short-msg.uplc.budget.expected} | 0 .../short-msg.uplc.expected} | 0 .../short-sig.uplc} | 0 .../short-sig.uplc.budget.expected} | 0 .../short-sig.uplc.expected} | 0 21 files changed, 0 insertions(+), 0 deletions(-) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/{verifyEcdsaSecp256k1Signature-invalid-key/verifyEcdsaSecp256k1Signature-invalid-key.uplc => invalid-key/invalid-key.uplc} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/{verifyEcdsaSecp256k1Signature-invalid-key/verifyEcdsaSecp256k1Signature-invalid-key.uplc.budget.expected => invalid-key/invalid-key.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/{verifyEcdsaSecp256k1Signature-invalid-key/verifyEcdsaSecp256k1Signature-invalid-key.uplc.expected => invalid-key/invalid-key.uplc.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/{verifyEcdsaSecp256k1Signature-long-key/verifyEcdsaSecp256k1Signature-long-key.uplc => long-key/long-key.uplc} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/{verifyEcdsaSecp256k1Signature-long-key/verifyEcdsaSecp256k1Signature-long-key.uplc.budget.expected => long-key/long-key.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/{verifyEcdsaSecp256k1Signature-long-key/verifyEcdsaSecp256k1Signature-long-key.uplc.expected => long-key/long-key.uplc.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/{verifyEcdsaSecp256k1Signature-long-msg/verifyEcdsaSecp256k1Signature-long-msg.uplc => long-msg/long-msg.uplc} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/{verifyEcdsaSecp256k1Signature-long-msg/verifyEcdsaSecp256k1Signature-long-msg.uplc.budget.expected => long-msg/long-msg.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/{verifyEcdsaSecp256k1Signature-long-msg/verifyEcdsaSecp256k1Signature-long-msg.uplc.expected => long-msg/long-msg.uplc.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/{verifyEcdsaSecp256k1Signature-long-sig/verifyEcdsaSecp256k1Signature-long-sig.uplc => long-sig/long-sig.uplc} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/{verifyEcdsaSecp256k1Signature-long-sig/verifyEcdsaSecp256k1Signature-long-sig.uplc.budget.expected => long-sig/long-sig.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/{verifyEcdsaSecp256k1Signature-long-sig/verifyEcdsaSecp256k1Signature-long-sig.uplc.expected => long-sig/long-sig.uplc.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/{verifyEcdsaSecp256k1Signature-short-key/verifyEcdsaSecp256k1Signature-short-key.uplc => short-key/short-key.uplc} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/{verifyEcdsaSecp256k1Signature-short-key/verifyEcdsaSecp256k1Signature-short-key.uplc.budget.expected => short-key/short-key.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/{verifyEcdsaSecp256k1Signature-short-key/verifyEcdsaSecp256k1Signature-short-key.uplc.expected => short-key/short-key.uplc.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/{verifyEcdsaSecp256k1Signature-short-msg/verifyEcdsaSecp256k1Signature-short-msg.uplc => short-msg/short-msg.uplc} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/{verifyEcdsaSecp256k1Signature-short-msg/verifyEcdsaSecp256k1Signature-short-msg.uplc.budget.expected => short-msg/short-msg.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/{verifyEcdsaSecp256k1Signature-short-msg/verifyEcdsaSecp256k1Signature-short-msg.uplc.expected => short-msg/short-msg.uplc.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/{verifyEcdsaSecp256k1Signature-short-sig/verifyEcdsaSecp256k1Signature-short-sig.uplc => short-sig/short-sig.uplc} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/{verifyEcdsaSecp256k1Signature-short-sig/verifyEcdsaSecp256k1Signature-short-sig.uplc.budget.expected => short-sig/short-sig.uplc.budget.expected} (100%) rename plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/{verifyEcdsaSecp256k1Signature-short-sig/verifyEcdsaSecp256k1Signature-short-sig.uplc.expected => short-sig/short-sig.uplc.expected} (100%) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-invalid-key/verifyEcdsaSecp256k1Signature-invalid-key.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/invalid-key/invalid-key.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-invalid-key/verifyEcdsaSecp256k1Signature-invalid-key.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/invalid-key/invalid-key.uplc diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-invalid-key/verifyEcdsaSecp256k1Signature-invalid-key.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/invalid-key/invalid-key.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-invalid-key/verifyEcdsaSecp256k1Signature-invalid-key.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/invalid-key/invalid-key.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-invalid-key/verifyEcdsaSecp256k1Signature-invalid-key.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/invalid-key/invalid-key.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-invalid-key/verifyEcdsaSecp256k1Signature-invalid-key.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/invalid-key/invalid-key.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-long-key/verifyEcdsaSecp256k1Signature-long-key.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/long-key/long-key.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-long-key/verifyEcdsaSecp256k1Signature-long-key.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/long-key/long-key.uplc diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-long-key/verifyEcdsaSecp256k1Signature-long-key.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/long-key/long-key.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-long-key/verifyEcdsaSecp256k1Signature-long-key.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/long-key/long-key.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-long-key/verifyEcdsaSecp256k1Signature-long-key.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/long-key/long-key.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-long-key/verifyEcdsaSecp256k1Signature-long-key.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/long-key/long-key.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-long-msg/verifyEcdsaSecp256k1Signature-long-msg.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/long-msg/long-msg.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-long-msg/verifyEcdsaSecp256k1Signature-long-msg.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/long-msg/long-msg.uplc diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-long-msg/verifyEcdsaSecp256k1Signature-long-msg.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/long-msg/long-msg.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-long-msg/verifyEcdsaSecp256k1Signature-long-msg.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/long-msg/long-msg.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-long-msg/verifyEcdsaSecp256k1Signature-long-msg.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/long-msg/long-msg.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-long-msg/verifyEcdsaSecp256k1Signature-long-msg.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/long-msg/long-msg.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-long-sig/verifyEcdsaSecp256k1Signature-long-sig.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/long-sig/long-sig.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-long-sig/verifyEcdsaSecp256k1Signature-long-sig.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/long-sig/long-sig.uplc diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-long-sig/verifyEcdsaSecp256k1Signature-long-sig.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/long-sig/long-sig.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-long-sig/verifyEcdsaSecp256k1Signature-long-sig.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/long-sig/long-sig.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-long-sig/verifyEcdsaSecp256k1Signature-long-sig.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/long-sig/long-sig.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-long-sig/verifyEcdsaSecp256k1Signature-long-sig.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/long-sig/long-sig.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-short-key/verifyEcdsaSecp256k1Signature-short-key.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/short-key/short-key.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-short-key/verifyEcdsaSecp256k1Signature-short-key.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/short-key/short-key.uplc diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-short-key/verifyEcdsaSecp256k1Signature-short-key.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/short-key/short-key.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-short-key/verifyEcdsaSecp256k1Signature-short-key.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/short-key/short-key.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-short-key/verifyEcdsaSecp256k1Signature-short-key.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/short-key/short-key.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-short-key/verifyEcdsaSecp256k1Signature-short-key.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/short-key/short-key.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-short-msg/verifyEcdsaSecp256k1Signature-short-msg.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/short-msg/short-msg.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-short-msg/verifyEcdsaSecp256k1Signature-short-msg.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/short-msg/short-msg.uplc diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-short-msg/verifyEcdsaSecp256k1Signature-short-msg.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/short-msg/short-msg.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-short-msg/verifyEcdsaSecp256k1Signature-short-msg.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/short-msg/short-msg.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-short-msg/verifyEcdsaSecp256k1Signature-short-msg.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/short-msg/short-msg.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-short-msg/verifyEcdsaSecp256k1Signature-short-msg.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/short-msg/short-msg.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-short-sig/verifyEcdsaSecp256k1Signature-short-sig.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/short-sig/short-sig.uplc similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-short-sig/verifyEcdsaSecp256k1Signature-short-sig.uplc rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/short-sig/short-sig.uplc diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-short-sig/verifyEcdsaSecp256k1Signature-short-sig.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/short-sig/short-sig.uplc.budget.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-short-sig/verifyEcdsaSecp256k1Signature-short-sig.uplc.budget.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/short-sig/short-sig.uplc.budget.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-short-sig/verifyEcdsaSecp256k1Signature-short-sig.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/short-sig/short-sig.uplc.expected similarity index 100% rename from plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/verifyEcdsaSecp256k1Signature-short-sig/verifyEcdsaSecp256k1Signature-short-sig.uplc.expected rename to plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/short-sig/short-sig.uplc.expected From fe9541f3ed86ff2afcb752352eac173f61f9701b Mon Sep 17 00:00:00 2001 From: kwxm Date: Fri, 14 Jun 2024 15:51:57 +0100 Subject: [PATCH 3/5] Shorten some file names --- .../semantics/verifyEd25519Signature/long-key/long-key.uplc | 4 ++++ .../long-key/long-key.uplc.budget.expected | 1 + .../verifyEd25519Signature/long-key/long-key.uplc.expected | 1 + .../semantics/verifyEd25519Signature/long-sig/long-sig.uplc | 4 ++++ .../long-sig/long-sig.uplc.budget.expected | 1 + .../verifyEd25519Signature/long-sig/long-sig.uplc.expected | 1 + .../semantics/verifyEd25519Signature/short-key/short-key.uplc | 4 ++++ .../short-key/short-key.uplc.budget.expected | 1 + .../verifyEd25519Signature/short-key/short-key.uplc.expected | 1 + .../semantics/verifyEd25519Signature/short-sig/short-sig.uplc | 4 ++++ .../short-sig/short-sig.uplc.budget.expected | 1 + .../verifyEd25519Signature/short-sig/short-sig.uplc.expected | 1 + 12 files changed, 24 insertions(+) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-key/long-key.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-key/long-key.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-key/long-key.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-sig/long-sig.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-sig/long-sig.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-sig/long-sig.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-key/short-key.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-key/short-key.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-key/short-key.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-sig/short-sig.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-sig/short-sig.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-sig/short-sig.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-key/long-key.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-key/long-key.uplc new file mode 100644 index 00000000000..5b1d6a8304a --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-key/long-key.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #e253af0766804b869bb1595be9765b534886bbaab8305bf50dbc7f899bfb5f0101)] + (con bytestring #18b6bec097)] + (con bytestring #b2fc46ad47af464478c199e1f8be169f1be6327c7f9a0a6689371ca94caf04064a01b22aff1520abd58951341603faed768cf78ce97ae7b038abfe456aa17c09)]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-key/long-key.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-key/long-key.uplc.budget.expected new file mode 100644 index 00000000000..ccc477ffed6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-key/long-key.uplc.budget.expected @@ -0,0 +1 @@ +evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-key/long-key.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-key/long-key.uplc.expected new file mode 100644 index 00000000000..ccc477ffed6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-key/long-key.uplc.expected @@ -0,0 +1 @@ +evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-sig/long-sig.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-sig/long-sig.uplc new file mode 100644 index 00000000000..dda7bd820cc --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-sig/long-sig.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #e253af0766804b869bb1595be9765b534886bbaab8305bf50dbc7f899bfb5f01)] + (con bytestring #18b6bec097)] + (con bytestring #b2fc46ad47af464478c199e1f8be169f1be6327c7f9a0a6689371ca94caf04064a01b22aff1520abd58951341603faed768cf78ce97ae7b038abfe456aa17c0909)]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-sig/long-sig.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-sig/long-sig.uplc.budget.expected new file mode 100644 index 00000000000..ccc477ffed6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-sig/long-sig.uplc.budget.expected @@ -0,0 +1 @@ +evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-sig/long-sig.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-sig/long-sig.uplc.expected new file mode 100644 index 00000000000..ccc477ffed6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/long-sig/long-sig.uplc.expected @@ -0,0 +1 @@ +evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-key/short-key.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-key/short-key.uplc new file mode 100644 index 00000000000..5a8247903f1 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-key/short-key.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #e253af0766804b869bb1595be9765b534886bbaab8305bf50dbc7f899bfb5f)] + (con bytestring #18b6bec097)] + (con bytestring #b2fc46ad47af464478c199e1f8be169f1be6327c7f9a0a6689371ca94caf04064a01b22aff1520abd58951341603faed768cf78ce97ae7b038abfe456aa17c09)]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-key/short-key.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-key/short-key.uplc.budget.expected new file mode 100644 index 00000000000..ccc477ffed6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-key/short-key.uplc.budget.expected @@ -0,0 +1 @@ +evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-key/short-key.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-key/short-key.uplc.expected new file mode 100644 index 00000000000..ccc477ffed6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-key/short-key.uplc.expected @@ -0,0 +1 @@ +evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-sig/short-sig.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-sig/short-sig.uplc new file mode 100644 index 00000000000..26288c98c62 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-sig/short-sig.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #e253af0766804b869bb1595be9765b534886bbaab8305bf50dbc7f899bfb5f01)] + (con bytestring #18b6bec097)] + (con bytestring #b2fc46ad47af464478c199e1f8be169f1be6327c7f9a0a6689371ca94caf04064a01b22aff1520abd58951341603faed768cf78ce97ae7b038abfe456aa17c)]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-sig/short-sig.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-sig/short-sig.uplc.budget.expected new file mode 100644 index 00000000000..ccc477ffed6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-sig/short-sig.uplc.budget.expected @@ -0,0 +1 @@ +evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-sig/short-sig.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-sig/short-sig.uplc.expected new file mode 100644 index 00000000000..ccc477ffed6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/short-sig/short-sig.uplc.expected @@ -0,0 +1 @@ +evaluation failure \ No newline at end of file From 04df02dd2f9a18f1285792bfafd38922fde64308 Mon Sep 17 00:00:00 2001 From: kwxm Date: Fri, 14 Jun 2024 16:01:37 +0100 Subject: [PATCH 4/5] Shorten some filenames --- .../verifyEd25519Signature1/verifyEd25519Signature1.uplc | 4 ---- .../verifyEd25519Signature1.uplc.budget.expected | 2 -- .../verifyEd25519Signature1.uplc.expected | 1 - .../verifyEd25519Signature10/verifyEd25519Signature10.uplc | 4 ---- .../verifyEd25519Signature10.uplc.budget.expected | 2 -- .../verifyEd25519Signature10.uplc.expected | 1 - .../verifyEd25519Signature11/verifyEd25519Signature11.uplc | 4 ---- .../verifyEd25519Signature11.uplc.budget.expected | 2 -- .../verifyEd25519Signature11.uplc.expected | 1 - .../verifyEd25519Signature12/verifyEd25519Signature12.uplc | 4 ---- .../verifyEd25519Signature12.uplc.budget.expected | 2 -- .../verifyEd25519Signature12.uplc.expected | 1 - .../verifyEd25519Signature13/verifyEd25519Signature13.uplc | 4 ---- .../verifyEd25519Signature13.uplc.budget.expected | 2 -- .../verifyEd25519Signature13.uplc.expected | 1 - .../verifyEd25519Signature14/verifyEd25519Signature14.uplc | 4 ---- .../verifyEd25519Signature14.uplc.budget.expected | 2 -- .../verifyEd25519Signature14.uplc.expected | 1 - .../verifyEd25519Signature15/verifyEd25519Signature15.uplc | 4 ---- .../verifyEd25519Signature15.uplc.budget.expected | 2 -- .../verifyEd25519Signature15.uplc.expected | 1 - .../verifyEd25519Signature16/verifyEd25519Signature16.uplc | 4 ---- .../verifyEd25519Signature16.uplc.budget.expected | 2 -- .../verifyEd25519Signature16.uplc.expected | 1 - .../verifyEd25519Signature17/verifyEd25519Signature17.uplc | 4 ---- .../verifyEd25519Signature17.uplc.budget.expected | 2 -- .../verifyEd25519Signature17.uplc.expected | 1 - .../verifyEd25519Signature18/verifyEd25519Signature18.uplc | 4 ---- .../verifyEd25519Signature18.uplc.budget.expected | 2 -- .../verifyEd25519Signature18.uplc.expected | 1 - .../verifyEd25519Signature19/verifyEd25519Signature19.uplc | 4 ---- .../verifyEd25519Signature19.uplc.budget.expected | 2 -- .../verifyEd25519Signature19.uplc.expected | 1 - .../verifyEd25519Signature2/verifyEd25519Signature2.uplc | 4 ---- .../verifyEd25519Signature2.uplc.budget.expected | 2 -- .../verifyEd25519Signature2.uplc.expected | 1 - .../verifyEd25519Signature20/verifyEd25519Signature20.uplc | 4 ---- .../verifyEd25519Signature20.uplc.budget.expected | 2 -- .../verifyEd25519Signature20.uplc.expected | 1 - .../verifyEd25519Signature21/verifyEd25519Signature21.uplc | 4 ---- .../verifyEd25519Signature21.uplc.budget.expected | 2 -- .../verifyEd25519Signature21.uplc.expected | 1 - .../verifyEd25519Signature22/verifyEd25519Signature22.uplc | 4 ---- .../verifyEd25519Signature22.uplc.budget.expected | 2 -- .../verifyEd25519Signature22.uplc.expected | 1 - .../verifyEd25519Signature23/verifyEd25519Signature23.uplc | 4 ---- .../verifyEd25519Signature23.uplc.budget.expected | 2 -- .../verifyEd25519Signature23.uplc.expected | 1 - .../verifyEd25519Signature24/verifyEd25519Signature24.uplc | 4 ---- .../verifyEd25519Signature24.uplc.budget.expected | 2 -- .../verifyEd25519Signature24.uplc.expected | 1 - .../verifyEd25519Signature25/verifyEd25519Signature25.uplc | 4 ---- .../verifyEd25519Signature25.uplc.budget.expected | 2 -- .../verifyEd25519Signature25.uplc.expected | 1 - .../verifyEd25519Signature26/verifyEd25519Signature26.uplc | 4 ---- .../verifyEd25519Signature26.uplc.budget.expected | 2 -- .../verifyEd25519Signature26.uplc.expected | 1 - .../verifyEd25519Signature27/verifyEd25519Signature27.uplc | 4 ---- .../verifyEd25519Signature27.uplc.budget.expected | 2 -- .../verifyEd25519Signature27.uplc.expected | 1 - .../verifyEd25519Signature28/verifyEd25519Signature28.uplc | 4 ---- .../verifyEd25519Signature28.uplc.budget.expected | 2 -- .../verifyEd25519Signature28.uplc.expected | 1 - .../verifyEd25519Signature29/verifyEd25519Signature29.uplc | 4 ---- .../verifyEd25519Signature29.uplc.budget.expected | 2 -- .../verifyEd25519Signature29.uplc.expected | 1 - .../verifyEd25519Signature3/verifyEd25519Signature3.uplc | 5 ----- .../verifyEd25519Signature3.uplc.budget.expected | 2 -- .../verifyEd25519Signature3.uplc.expected | 1 - .../verifyEd25519Signature30/verifyEd25519Signature30.uplc | 4 ---- .../verifyEd25519Signature30.uplc.budget.expected | 2 -- .../verifyEd25519Signature30.uplc.expected | 1 - .../verifyEd25519Signature31/verifyEd25519Signature31.uplc | 4 ---- .../verifyEd25519Signature31.uplc.budget.expected | 2 -- .../verifyEd25519Signature31.uplc.expected | 1 - .../verifyEd25519Signature4/verifyEd25519Signature4.uplc | 4 ---- .../verifyEd25519Signature4.uplc.budget.expected | 2 -- .../verifyEd25519Signature4.uplc.expected | 1 - .../verifyEd25519Signature5/verifyEd25519Signature5.uplc | 4 ---- .../verifyEd25519Signature5.uplc.budget.expected | 2 -- .../verifyEd25519Signature5.uplc.expected | 1 - .../verifyEd25519Signature6/verifyEd25519Signature6.uplc | 4 ---- .../verifyEd25519Signature6.uplc.budget.expected | 2 -- .../verifyEd25519Signature6.uplc.expected | 1 - .../verifyEd25519Signature7/verifyEd25519Signature7.uplc | 4 ---- .../verifyEd25519Signature7.uplc.budget.expected | 2 -- .../verifyEd25519Signature7.uplc.expected | 1 - .../verifyEd25519Signature8/verifyEd25519Signature8.uplc | 4 ---- .../verifyEd25519Signature8.uplc.budget.expected | 2 -- .../verifyEd25519Signature8.uplc.expected | 1 - .../verifyEd25519Signature9/verifyEd25519Signature9.uplc | 4 ---- .../verifyEd25519Signature9.uplc.budget.expected | 2 -- .../verifyEd25519Signature9.uplc.expected | 1 - .../verifyEd25519SignatureLongKey.uplc | 4 ---- .../verifyEd25519SignatureLongKey.uplc.budget.expected | 1 - .../verifyEd25519SignatureLongKey.uplc.expected | 1 - .../verifyEd25519SignatureLongSig.uplc | 4 ---- .../verifyEd25519SignatureLongSig.uplc.budget.expected | 1 - .../verifyEd25519SignatureLongSig.uplc.expected | 1 - .../verifyEd25519SignatureShortKey.uplc | 4 ---- .../verifyEd25519SignatureShortKey.uplc.budget.expected | 1 - .../verifyEd25519SignatureShortKey.uplc.expected | 1 - .../verifyEd25519SignatureShortSig.uplc | 4 ---- .../verifyEd25519SignatureShortSig.uplc.budget.expected | 1 - .../verifyEd25519SignatureShortSig.uplc.expected | 1 - 105 files changed, 242 deletions(-) delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature1/verifyEd25519Signature1.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature1/verifyEd25519Signature1.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature1/verifyEd25519Signature1.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature10/verifyEd25519Signature10.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature10/verifyEd25519Signature10.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature10/verifyEd25519Signature10.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature11/verifyEd25519Signature11.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature11/verifyEd25519Signature11.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature11/verifyEd25519Signature11.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature12/verifyEd25519Signature12.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature12/verifyEd25519Signature12.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature12/verifyEd25519Signature12.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature13/verifyEd25519Signature13.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature13/verifyEd25519Signature13.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature13/verifyEd25519Signature13.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature14/verifyEd25519Signature14.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature14/verifyEd25519Signature14.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature14/verifyEd25519Signature14.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature15/verifyEd25519Signature15.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature15/verifyEd25519Signature15.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature15/verifyEd25519Signature15.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature16/verifyEd25519Signature16.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature16/verifyEd25519Signature16.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature16/verifyEd25519Signature16.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature17/verifyEd25519Signature17.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature17/verifyEd25519Signature17.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature17/verifyEd25519Signature17.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature18/verifyEd25519Signature18.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature18/verifyEd25519Signature18.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature18/verifyEd25519Signature18.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature19/verifyEd25519Signature19.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature19/verifyEd25519Signature19.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature19/verifyEd25519Signature19.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature2/verifyEd25519Signature2.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature2/verifyEd25519Signature2.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature2/verifyEd25519Signature2.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature20/verifyEd25519Signature20.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature20/verifyEd25519Signature20.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature20/verifyEd25519Signature20.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature21/verifyEd25519Signature21.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature21/verifyEd25519Signature21.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature21/verifyEd25519Signature21.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature22/verifyEd25519Signature22.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature22/verifyEd25519Signature22.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature22/verifyEd25519Signature22.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature23/verifyEd25519Signature23.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature23/verifyEd25519Signature23.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature23/verifyEd25519Signature23.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature24/verifyEd25519Signature24.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature24/verifyEd25519Signature24.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature24/verifyEd25519Signature24.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature25/verifyEd25519Signature25.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature25/verifyEd25519Signature25.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature25/verifyEd25519Signature25.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature26/verifyEd25519Signature26.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature26/verifyEd25519Signature26.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature26/verifyEd25519Signature26.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature27/verifyEd25519Signature27.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature27/verifyEd25519Signature27.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature27/verifyEd25519Signature27.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature28/verifyEd25519Signature28.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature28/verifyEd25519Signature28.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature28/verifyEd25519Signature28.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature29/verifyEd25519Signature29.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature29/verifyEd25519Signature29.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature29/verifyEd25519Signature29.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature3/verifyEd25519Signature3.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature3/verifyEd25519Signature3.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature3/verifyEd25519Signature3.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature30/verifyEd25519Signature30.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature30/verifyEd25519Signature30.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature30/verifyEd25519Signature30.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature31/verifyEd25519Signature31.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature31/verifyEd25519Signature31.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature31/verifyEd25519Signature31.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature4/verifyEd25519Signature4.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature4/verifyEd25519Signature4.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature4/verifyEd25519Signature4.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature5/verifyEd25519Signature5.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature5/verifyEd25519Signature5.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature5/verifyEd25519Signature5.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature6/verifyEd25519Signature6.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature6/verifyEd25519Signature6.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature6/verifyEd25519Signature6.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature7/verifyEd25519Signature7.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature7/verifyEd25519Signature7.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature7/verifyEd25519Signature7.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature8/verifyEd25519Signature8.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature8/verifyEd25519Signature8.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature8/verifyEd25519Signature8.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature9/verifyEd25519Signature9.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature9/verifyEd25519Signature9.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature9/verifyEd25519Signature9.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongKey/verifyEd25519SignatureLongKey.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongKey/verifyEd25519SignatureLongKey.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongKey/verifyEd25519SignatureLongKey.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongSig/verifyEd25519SignatureLongSig.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongSig/verifyEd25519SignatureLongSig.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongSig/verifyEd25519SignatureLongSig.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortKey/verifyEd25519SignatureShortKey.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortKey/verifyEd25519SignatureShortKey.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortKey/verifyEd25519SignatureShortKey.uplc.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortSig/verifyEd25519SignatureShortSig.uplc delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortSig/verifyEd25519SignatureShortSig.uplc.budget.expected delete mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortSig/verifyEd25519SignatureShortSig.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature1/verifyEd25519Signature1.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature1/verifyEd25519Signature1.uplc deleted file mode 100644 index c29535a539b..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature1/verifyEd25519Signature1.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #d75a980182b10ab7d54bfed3c964073a0ee172f3daa62325af021a68f707511a)] - (con bytestring #)] - (con bytestring #e5564300c360ac729086e2cc806e828a84877f1eb8e5d974d873e065224901555fb8821590a33bacc61e39701cf9b46bd25bf5f0595bbe24655141438e7a100b)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature1/verifyEd25519Signature1.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature1/verifyEd25519Signature1.uplc.budget.expected deleted file mode 100644 index 37620dba007..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature1/verifyEd25519Signature1.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53510544 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature1/verifyEd25519Signature1.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature1/verifyEd25519Signature1.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature1/verifyEd25519Signature1.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature10/verifyEd25519Signature10.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature10/verifyEd25519Signature10.uplc deleted file mode 100644 index d258cd6ac6e..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature10/verifyEd25519Signature10.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #c1a49c66e617f9ef5ec66bc4c6564ca33de2a5fb5e1464062e6d6c6219155efd)] - (con bytestring #672bf8965d04bc5146)] - (con bytestring #2c76a04af2391c147082e33faacdbe56642a1e134bd388620b852b901a6bc16ff6c9cc9404c41dea12ed281da067a1513866f9d964f8bdd24953856c50042901)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature10/verifyEd25519Signature10.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature10/verifyEd25519Signature10.uplc.budget.expected deleted file mode 100644 index a9f85a17efc..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature10/verifyEd25519Signature10.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53524877 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature10/verifyEd25519Signature10.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature10/verifyEd25519Signature10.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature10/verifyEd25519Signature10.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature11/verifyEd25519Signature11.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature11/verifyEd25519Signature11.uplc deleted file mode 100644 index 2797d7ba867..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature11/verifyEd25519Signature11.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #31b2524b8348f7ab1dfafa675cc538e9a84e3fe5819e27c12ad8bbc1a36e4dff)] - (con bytestring #33d7a786aded8c1bf691)] - (con bytestring #28e4598c415ae9de01f03f9f3fab4e919e8bf537dd2b0cdf6e79b9e6559c9409d9151a4c40f083193937627c369488259e99da5a9f0a87497fa6696a5dd6ce08)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature11/verifyEd25519Signature11.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature11/verifyEd25519Signature11.uplc.budget.expected deleted file mode 100644 index a9f85a17efc..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature11/verifyEd25519Signature11.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53524877 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature11/verifyEd25519Signature11.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature11/verifyEd25519Signature11.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature11/verifyEd25519Signature11.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature12/verifyEd25519Signature12.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature12/verifyEd25519Signature12.uplc deleted file mode 100644 index cb332d4ef01..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature12/verifyEd25519Signature12.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #44b57ee30cdb55829d0a5d4f046baef078f1e97a7f21b62d75f8e96ea139c35f)] - (con bytestring #3486f68848a65a0eb5507d)] - (con bytestring #77d389e599630d934076329583cd4105a649a9292abc44cd28c40000c8e2f5ac7660a81c85b72af8452d7d25c070861dae91601c7803d656531650dd4e5c4100)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature12/verifyEd25519Signature12.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature12/verifyEd25519Signature12.uplc.budget.expected deleted file mode 100644 index a9f85a17efc..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature12/verifyEd25519Signature12.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53524877 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature12/verifyEd25519Signature12.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature12/verifyEd25519Signature12.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature12/verifyEd25519Signature12.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature13/verifyEd25519Signature13.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature13/verifyEd25519Signature13.uplc deleted file mode 100644 index ec9cf40b53d..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature13/verifyEd25519Signature13.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #6fe83693d011d111131c4f3fbaaa40a9d3d76b30012ff73bb0e39ec27ab18257)] - (con bytestring #5a8d9d0a22357e6655f9c785)] - (con bytestring #0f9ad9793033a2fa06614b277d37381e6d94f65ac2a5a94558d09ed6ce922258c1a567952e863ac94297aec3c0d0c8ddf71084e504860bb6ba27449b55adc40e)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature13/verifyEd25519Signature13.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature13/verifyEd25519Signature13.uplc.budget.expected deleted file mode 100644 index a9f85a17efc..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature13/verifyEd25519Signature13.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53524877 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature13/verifyEd25519Signature13.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature13/verifyEd25519Signature13.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature13/verifyEd25519Signature13.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature14/verifyEd25519Signature14.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature14/verifyEd25519Signature14.uplc deleted file mode 100644 index 1a908dbcf87..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature14/verifyEd25519Signature14.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #a2eb8c0501e30bae0cf842d2bde8dec7386f6b7fc3981b8c57c9792bb94cf2dd)] - (con bytestring #b87d3813e03f58cf19fd0b6395)] - (con bytestring #d8bb64aad8c9955a115a793addd24f7f2b077648714f49c4694ec995b330d09d640df310f447fd7b6cb5c14f9fe9f490bcf8cfadbfd2169c8ac20d3b8af49a0c)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature14/verifyEd25519Signature14.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature14/verifyEd25519Signature14.uplc.budget.expected deleted file mode 100644 index a9f85a17efc..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature14/verifyEd25519Signature14.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53524877 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature14/verifyEd25519Signature14.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature14/verifyEd25519Signature14.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature14/verifyEd25519Signature14.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature15/verifyEd25519Signature15.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature15/verifyEd25519Signature15.uplc deleted file mode 100644 index ec1cf10bd60..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature15/verifyEd25519Signature15.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #cf3af898467a5b7a52d33d53bc037e2642a8da996903fc252217e9c033e2f291)] - (con bytestring #55c7fa434f5ed8cdec2b7aeac173)] - (con bytestring #6ee3fe81e23c60eb2312b2006b3b25e6838e02106623f844c44edb8dafd66ab0671087fd195df5b8f58a1d6e52af42908053d55c7321010092748795ef94cf06)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature15/verifyEd25519Signature15.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature15/verifyEd25519Signature15.uplc.budget.expected deleted file mode 100644 index a9f85a17efc..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature15/verifyEd25519Signature15.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53524877 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature15/verifyEd25519Signature15.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature15/verifyEd25519Signature15.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature15/verifyEd25519Signature15.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature16/verifyEd25519Signature16.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature16/verifyEd25519Signature16.uplc deleted file mode 100644 index 1d1fb97f020..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature16/verifyEd25519Signature16.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #fd2a565723163e29f53c9de3d5e8fbe36a7ab66e1439ec4eae9c0a604af291a5)] - (con bytestring #0a688e79be24f866286d4646b5d81c)] - (con bytestring #f68d04847e5b249737899c014d31c805c5007a62c0a10d50bb1538c5f35503951fbc1e08682f2cc0c92efe8f4985dec61dcbd54d4b94a22547d24451271c8b00)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature16/verifyEd25519Signature16.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature16/verifyEd25519Signature16.uplc.budget.expected deleted file mode 100644 index a9f85a17efc..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature16/verifyEd25519Signature16.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53524877 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature16/verifyEd25519Signature16.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature16/verifyEd25519Signature16.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature16/verifyEd25519Signature16.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature17/verifyEd25519Signature17.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature17/verifyEd25519Signature17.uplc deleted file mode 100644 index 8646e659d75..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature17/verifyEd25519Signature17.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #34e5a8508c4743746962c066e4badea2201b8ab484de5c4f94476ccd2143955b)] - (con bytestring #c942fa7ac6b23ab7ff612fdc8e68ef39)] - (con bytestring #2a3d27dc40d0a8127949a3b7f908b3688f63b7f14f651aacd715940bdbe27a0809aac142f47ab0e1e44fa490ba87ce5392f33a891539caf1ef4c367cae54500c)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature17/verifyEd25519Signature17.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature17/verifyEd25519Signature17.uplc.budget.expected deleted file mode 100644 index a9f85a17efc..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature17/verifyEd25519Signature17.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53524877 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature17/verifyEd25519Signature17.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature17/verifyEd25519Signature17.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature17/verifyEd25519Signature17.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature18/verifyEd25519Signature18.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature18/verifyEd25519Signature18.uplc deleted file mode 100644 index 462c7ff48f6..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature18/verifyEd25519Signature18.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #0445e456dacc7d5b0bbed23c8200cdb74bdcb03e4c7b73f0a2b9b46eac5d4372)] - (con bytestring #7368724a5b0efb57d28d97622dbde725af)] - (con bytestring #3653ccb21219202b8436fb41a32ba2618c4a133431e6e63463ceb3b6106c4d56e1d2ba165ba76eaad3dc39bffb130f1de3d8e6427db5b71938db4e272bc3e20b)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature18/verifyEd25519Signature18.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature18/verifyEd25519Signature18.uplc.budget.expected deleted file mode 100644 index c5f7b892e15..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature18/verifyEd25519Signature18.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53539210 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature18/verifyEd25519Signature18.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature18/verifyEd25519Signature18.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature18/verifyEd25519Signature18.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature19/verifyEd25519Signature19.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature19/verifyEd25519Signature19.uplc deleted file mode 100644 index f558d30cf9f..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature19/verifyEd25519Signature19.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #74d29127f199d86a8676aec33b4ce3f225ccb191f52c191ccd1e8cca65213a6b)] - (con bytestring #bd8e05033f3a8bcdcbf4beceb70901c82e31)] - (con bytestring #fbe929d743a03c17910575492f3092ee2a2bf14a60a3fcacec74a58c7334510fc262db582791322d6c8c41f1700adb80027ecabc14270b703444ae3ee7623e0a)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature19/verifyEd25519Signature19.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature19/verifyEd25519Signature19.uplc.budget.expected deleted file mode 100644 index c5f7b892e15..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature19/verifyEd25519Signature19.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53539210 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature19/verifyEd25519Signature19.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature19/verifyEd25519Signature19.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature19/verifyEd25519Signature19.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature2/verifyEd25519Signature2.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature2/verifyEd25519Signature2.uplc deleted file mode 100644 index c1e435e2c73..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature2/verifyEd25519Signature2.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #3d4017c3e843895a92b70aa74d1b7ebc9c982ccf2ec4968cc0cd55f12af4660c)] - (con bytestring #72)] - (con bytestring #92a009a9f0d4cab8720e820b5f642540a2b27b5416503f8fb3762223ebdb69da085ac1e43e15996e458f3613d0f11d8c387b2eaeb4302aeeb00d291612bb0c00)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature2/verifyEd25519Signature2.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature2/verifyEd25519Signature2.uplc.budget.expected deleted file mode 100644 index 37620dba007..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature2/verifyEd25519Signature2.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53510544 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature2/verifyEd25519Signature2.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature2/verifyEd25519Signature2.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature2/verifyEd25519Signature2.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature20/verifyEd25519Signature20.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature20/verifyEd25519Signature20.uplc deleted file mode 100644 index c8529a4787d..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature20/verifyEd25519Signature20.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #5b96dca497875bf9664c5e75facf3f9bc54bae913d66ca15ee85f1491ca24d2c)] - (con bytestring #8171456f8b907189b1d779e26bc5afbb08c67a)] - (con bytestring #73bca64e9dd0db88138eedfafcea8f5436cfb74bfb0e7733cf349baa0c49775c56d5934e1d38e36f39b7c5beb0a836510c45126f8ec4b6810519905b0ca07c09)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature20/verifyEd25519Signature20.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature20/verifyEd25519Signature20.uplc.budget.expected deleted file mode 100644 index c5f7b892e15..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature20/verifyEd25519Signature20.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53539210 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature20/verifyEd25519Signature20.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature20/verifyEd25519Signature20.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature20/verifyEd25519Signature20.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature21/verifyEd25519Signature21.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature21/verifyEd25519Signature21.uplc deleted file mode 100644 index 8683db0b62d..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature21/verifyEd25519Signature21.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #1ca281938529896535a7714e3584085b86ef9fec723f42819fc8dd5d8c00817f)] - (con bytestring #8ba6a4c9a15a244a9c26bb2a59b1026f21348b49)] - (con bytestring #a1adc2bc6a2d980662677e7fdff6424de7dba50f5795ca90fdf3e96e256f3285cac71d3360482e993d0294ba4ec7440c61affdf35fe83e6e04263937db93f105)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature21/verifyEd25519Signature21.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature21/verifyEd25519Signature21.uplc.budget.expected deleted file mode 100644 index c5f7b892e15..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature21/verifyEd25519Signature21.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53539210 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature21/verifyEd25519Signature21.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature21/verifyEd25519Signature21.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature21/verifyEd25519Signature21.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature22/verifyEd25519Signature22.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature22/verifyEd25519Signature22.uplc deleted file mode 100644 index 1d67ac7ed67..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature22/verifyEd25519Signature22.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #7fae45dd0a05971026d410bc497af5be7d0827a82a145c203f625dfcb8b03ba8)] - (con bytestring #1d566a6232bbaab3e6d8804bb518a498ed0f904986)] - (con bytestring #bb61cf84de61862207c6a455258bc4db4e15eea0317ff88718b882a06b5cf6ec6fd20c5a269e5d5c805bafbcc579e2590af414c7c227273c102a10070cdfe80f)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature22/verifyEd25519Signature22.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature22/verifyEd25519Signature22.uplc.budget.expected deleted file mode 100644 index c5f7b892e15..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature22/verifyEd25519Signature22.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53539210 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature22/verifyEd25519Signature22.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature22/verifyEd25519Signature22.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature22/verifyEd25519Signature22.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature23/verifyEd25519Signature23.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature23/verifyEd25519Signature23.uplc deleted file mode 100644 index 0ab74c72ac0..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature23/verifyEd25519Signature23.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #48359b850d23f0715d94bb8bb75e7e14322eaf14f06f28a805403fbda002fc85)] - (con bytestring #1b0afb0ac4ba9ab7b7172cddc9eb42bba1a64bce47d4)] - (con bytestring #b6dcd09989dfbac54322a3ce87876e1d62134da998c79d24b50bd7a6a797d86a0e14dc9d7491d6c14a673c652cfbec9f962a38c945da3b2f0879d0b68a921300)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature23/verifyEd25519Signature23.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature23/verifyEd25519Signature23.uplc.budget.expected deleted file mode 100644 index c5f7b892e15..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature23/verifyEd25519Signature23.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53539210 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature23/verifyEd25519Signature23.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature23/verifyEd25519Signature23.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature23/verifyEd25519Signature23.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature24/verifyEd25519Signature24.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature24/verifyEd25519Signature24.uplc deleted file mode 100644 index 1a1350609a4..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature24/verifyEd25519Signature24.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #fdb30673402faf1c8033714f3517e47cc0f91fe70cf3836d6c23636e3fd2287c)] - (con bytestring #507c94c8820d2a5793cbf3442b3d71936f35fe3afef316)] - (con bytestring #7ef66e5e86f2360848e0014e94880ae2920ad8a3185a46b35d1e07dea8fa8ae4f6b843ba174d99fa7986654a0891c12a794455669375bf92af4cc2770b579e0c)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature24/verifyEd25519Signature24.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature24/verifyEd25519Signature24.uplc.budget.expected deleted file mode 100644 index c5f7b892e15..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature24/verifyEd25519Signature24.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53539210 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature24/verifyEd25519Signature24.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature24/verifyEd25519Signature24.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature24/verifyEd25519Signature24.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature25/verifyEd25519Signature25.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature25/verifyEd25519Signature25.uplc deleted file mode 100644 index 2300b191f4e..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature25/verifyEd25519Signature25.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #b1d39801892027d58a8c64335163195893bfc1b61dbeca3260497e1f30371107)] - (con bytestring #d3d615a8472d9962bb70c5b5466a3d983a4811046e2a0ef5)] - (con bytestring #836afa764d9c48aa4770a4388b654e97b3c16f082967febca27f2fc47ddfd9244b03cfc729698acf5109704346b60b230f255430089ddc56912399d1122de70a)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature25/verifyEd25519Signature25.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature25/verifyEd25519Signature25.uplc.budget.expected deleted file mode 100644 index c5f7b892e15..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature25/verifyEd25519Signature25.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53539210 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature25/verifyEd25519Signature25.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature25/verifyEd25519Signature25.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature25/verifyEd25519Signature25.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature26/verifyEd25519Signature26.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature26/verifyEd25519Signature26.uplc deleted file mode 100644 index ce94e043148..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature26/verifyEd25519Signature26.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #d0c846f97fe28585c0ee159015d64c56311c886eddcc185d296dbb165d2625d6)] - (con bytestring #6ada80b6fa84f7034920789e8536b82d5e4678059aed27f71c)] - (con bytestring #16e462a29a6dd498685a3718b3eed00cc1598601ee47820486032d6b9acc9bf89f57684e08d8c0f05589cda2882a05dc4c63f9d0431d6552710812433003bc08)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature26/verifyEd25519Signature26.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature26/verifyEd25519Signature26.uplc.budget.expected deleted file mode 100644 index d29b7f2b32f..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature26/verifyEd25519Signature26.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53553543 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature26/verifyEd25519Signature26.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature26/verifyEd25519Signature26.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature26/verifyEd25519Signature26.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature27/verifyEd25519Signature27.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature27/verifyEd25519Signature27.uplc deleted file mode 100644 index dba00a9ab65..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature27/verifyEd25519Signature27.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #2bf32ba142ba4622d8f3e29ecd85eea07b9c47be9d64412c9b510b27dd218b23)] - (con bytestring #82cb53c4d5a013bae5070759ec06c3c6955ab7a4050958ec328c)] - (con bytestring #881f5b8c5a030df0f75b6634b070dd27bd1ee3c08738ae349338b3ee6469bbf9760b13578a237d5182535ede121283027a90b5f865d63a6537dca07b44049a0f)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature27/verifyEd25519Signature27.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature27/verifyEd25519Signature27.uplc.budget.expected deleted file mode 100644 index d29b7f2b32f..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature27/verifyEd25519Signature27.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53553543 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature27/verifyEd25519Signature27.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature27/verifyEd25519Signature27.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature27/verifyEd25519Signature27.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature28/verifyEd25519Signature28.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature28/verifyEd25519Signature28.uplc deleted file mode 100644 index b07f60f2fa9..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature28/verifyEd25519Signature28.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #94d23d977c33e49e5e4992c68f25ec99a27c41ce6b91f2bfa0cd8292fe962835)] - (con bytestring #a9a8cbb0ad585124e522abbfb40533bdd6f49347b55b18e8558cb0)] - (con bytestring #3acd39bec8c3cd2b44299722b5850a0400c1443590fd4861d59aae7496acb3df73fc3fdf7969ae5f50ba47dddc435246e5fd376f6b891cd4c2caf5d614b6170c)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature28/verifyEd25519Signature28.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature28/verifyEd25519Signature28.uplc.budget.expected deleted file mode 100644 index d29b7f2b32f..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature28/verifyEd25519Signature28.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53553543 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature28/verifyEd25519Signature28.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature28/verifyEd25519Signature28.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature28/verifyEd25519Signature28.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature29/verifyEd25519Signature29.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature29/verifyEd25519Signature29.uplc deleted file mode 100644 index 799a1d999fe..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature29/verifyEd25519Signature29.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #9d084aa8b97a6b9bafa496dbc6f76f3306a116c9d917e681520a0f914369427e)] - (con bytestring #5cb6f9aa59b80eca14f6a68fb40cf07b794e75171fba96262c1c6adc)] - (con bytestring #f5875423781b66216cb5e8998de5d9ffc29d1d67107054ace3374503a9c3ef811577f269de81296744bd706f1ac478caf09b54cdf871b3f802bd57f9a6cb9101)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature29/verifyEd25519Signature29.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature29/verifyEd25519Signature29.uplc.budget.expected deleted file mode 100644 index d29b7f2b32f..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature29/verifyEd25519Signature29.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53553543 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature29/verifyEd25519Signature29.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature29/verifyEd25519Signature29.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature29/verifyEd25519Signature29.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature3/verifyEd25519Signature3.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature3/verifyEd25519Signature3.uplc deleted file mode 100644 index 1c982279b00..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature3/verifyEd25519Signature3.uplc +++ /dev/null @@ -1,5 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #fc51cd8e6218a1a38da47ed00230f0580816ed13ba3303ac5deb911548908025)] - (con bytestring #af82)] - (con bytestring #6291d657deec24024827e69c3abe01a30ce548a284743a445e3680d7db5ac3ac18ff9b538d16f290ae67f760984dc6594a7c15e9716ed28dc027beceea1ec40a)]) - diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature3/verifyEd25519Signature3.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature3/verifyEd25519Signature3.uplc.budget.expected deleted file mode 100644 index 37620dba007..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature3/verifyEd25519Signature3.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53510544 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature3/verifyEd25519Signature3.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature3/verifyEd25519Signature3.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature3/verifyEd25519Signature3.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature30/verifyEd25519Signature30.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature30/verifyEd25519Signature30.uplc deleted file mode 100644 index 8d2c4af81c2..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature30/verifyEd25519Signature30.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #16cee8a3f2631834c88b670897ff0b08ce90cc147b4593b3f1f403727f7e7ad5)] - (con bytestring #32fe27994124202153b5c70d3813fdee9c2aa6e7dc743d4d535f1840a5)] - (con bytestring #d834197c1a3080614e0a5fa0aaaa808824f21c38d692e6ffbd200f7dfb3c8f44402a7382180b98ad0afc8eec1a02acecf3cb7fde627b9f18111f260ab1db9a07)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature30/verifyEd25519Signature30.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature30/verifyEd25519Signature30.uplc.budget.expected deleted file mode 100644 index d29b7f2b32f..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature30/verifyEd25519Signature30.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53553543 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature30/verifyEd25519Signature30.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature30/verifyEd25519Signature30.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature30/verifyEd25519Signature30.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature31/verifyEd25519Signature31.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature31/verifyEd25519Signature31.uplc deleted file mode 100644 index b6369724e73..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature31/verifyEd25519Signature31.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #23be323c562dfd71ce65f5bba56a74a3a6dfc36b573d2f94f635c7f9b4fd5a5b)] - (con bytestring #bb3172795710fe00054d3b5dfef8a11623582da68bf8e46d72d27cece2aa)] - (con bytestring #0f8fad1e6bde771b4f5420eac75c378bae6db5ac6650cd2bc210c1823b432b48e016b10595458ffab92f7a8989b293ceb8dfed6c243a2038fc06652aaaf16f02)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature31/verifyEd25519Signature31.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature31/verifyEd25519Signature31.uplc.budget.expected deleted file mode 100644 index d29b7f2b32f..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature31/verifyEd25519Signature31.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53553543 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature31/verifyEd25519Signature31.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature31/verifyEd25519Signature31.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature31/verifyEd25519Signature31.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature4/verifyEd25519Signature4.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature4/verifyEd25519Signature4.uplc deleted file mode 100644 index b0ed6be70d9..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature4/verifyEd25519Signature4.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #e61a185bcef2613a6c7cb79763ce945d3b245d76114dd440bcf5f2dc1aa57057)] - (con bytestring #cbc77b)] - (con bytestring #d9868d52c2bebce5f3fa5a79891970f309cb6591e3e1702a70276fa97c24b3a8e58606c38c9758529da50ee31b8219cba45271c689afa60b0ea26c99db19b00c)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature4/verifyEd25519Signature4.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature4/verifyEd25519Signature4.uplc.budget.expected deleted file mode 100644 index 37620dba007..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature4/verifyEd25519Signature4.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53510544 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature4/verifyEd25519Signature4.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature4/verifyEd25519Signature4.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature4/verifyEd25519Signature4.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature5/verifyEd25519Signature5.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature5/verifyEd25519Signature5.uplc deleted file mode 100644 index 053c66b7f13..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature5/verifyEd25519Signature5.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #6df9340c138cc188b5fe4464ebaa3f7fc206a2d55c3434707e74c9fc04e20ebb)] - (con bytestring #5f4c8989)] - (con bytestring #124f6fc6b0d100842769e71bd530664d888df8507df6c56dedfdb509aeb93416e26b918d38aa06305df3095697c18b2aa832eaa52edc0ae49fbae5a85e150c07)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature5/verifyEd25519Signature5.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature5/verifyEd25519Signature5.uplc.budget.expected deleted file mode 100644 index 37620dba007..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature5/verifyEd25519Signature5.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53510544 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature5/verifyEd25519Signature5.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature5/verifyEd25519Signature5.uplc.expected deleted file mode 100644 index dd87da54804..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature5/verifyEd25519Signature5.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool False)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature6/verifyEd25519Signature6.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature6/verifyEd25519Signature6.uplc deleted file mode 100644 index 34e77accf2f..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature6/verifyEd25519Signature6.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #e253af0766804b869bb1595be9765b534886bbaab8305bf50dbc7f899bfb5f01)] - (con bytestring #18b6bec097)] - (con bytestring #b2fc46ad47af464478c199e1f8be169f1be6327c7f9a0a6689371ca94caf04064a01b22aff1520abd58951341603faed768cf78ce97ae7b038abfe456aa17c09)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature6/verifyEd25519Signature6.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature6/verifyEd25519Signature6.uplc.budget.expected deleted file mode 100644 index 37620dba007..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature6/verifyEd25519Signature6.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53510544 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature6/verifyEd25519Signature6.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature6/verifyEd25519Signature6.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature6/verifyEd25519Signature6.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature7/verifyEd25519Signature7.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature7/verifyEd25519Signature7.uplc deleted file mode 100644 index 28b638c41d2..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature7/verifyEd25519Signature7.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #fbcfbfa40505d7f2be444a33d185cc54e16d615260e1640b2b5087b83ee3643d)] - (con bytestring #89010d855972)] - (con bytestring #6ed629fc1d9ce9e1468755ff636d5a3f40a5d9c91afd93b79d241830f7e5fa29854b8f20cc6eecbb248dbd8d16d14e99752194e4904d09c74d639518839d2300)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature7/verifyEd25519Signature7.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature7/verifyEd25519Signature7.uplc.budget.expected deleted file mode 100644 index 37620dba007..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature7/verifyEd25519Signature7.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53510544 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature7/verifyEd25519Signature7.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature7/verifyEd25519Signature7.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature7/verifyEd25519Signature7.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature8/verifyEd25519Signature8.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature8/verifyEd25519Signature8.uplc deleted file mode 100644 index c0e1845845b..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature8/verifyEd25519Signature8.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #98a5e3a36e67aaba89888bf093de1ad963e774013b3902bfab356d8b90178a63)] - (con bytestring #b4a8f381e70e7a)] - (con bytestring #6e0af2fe55ae377a6b7a7278edfb419bd321e06d0df5e27037db8812e7e3529810fa5552f6c0020985ca17a0e02e036d7b222a24f99b77b75fdd16cb05568107)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature8/verifyEd25519Signature8.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature8/verifyEd25519Signature8.uplc.budget.expected deleted file mode 100644 index 37620dba007..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature8/verifyEd25519Signature8.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53510544 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature8/verifyEd25519Signature8.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature8/verifyEd25519Signature8.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature8/verifyEd25519Signature8.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature9/verifyEd25519Signature9.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature9/verifyEd25519Signature9.uplc deleted file mode 100644 index 668c70c92a4..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature9/verifyEd25519Signature9.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #f81fb54a825fced95eb033afcd64314075abfb0abd20a970892503436f34b863)] - (con bytestring #4284abc51bb67235)] - (con bytestring #d6addec5afb0528ac17bb178d3e7f2887f9adbb1ad16e110545ef3bc57f9de2314a5c8388f723b8907be0f3ac90c6259bbe885ecc17645df3db7d488f805fa08)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature9/verifyEd25519Signature9.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature9/verifyEd25519Signature9.uplc.budget.expected deleted file mode 100644 index 37620dba007..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature9/verifyEd25519Signature9.uplc.budget.expected +++ /dev/null @@ -1,2 +0,0 @@ -({cpu: 53510544 -| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature9/verifyEd25519Signature9.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature9/verifyEd25519Signature9.uplc.expected deleted file mode 100644 index b1057ef7547..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519Signature9/verifyEd25519Signature9.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongKey/verifyEd25519SignatureLongKey.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongKey/verifyEd25519SignatureLongKey.uplc deleted file mode 100644 index 5b1d6a8304a..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongKey/verifyEd25519SignatureLongKey.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #e253af0766804b869bb1595be9765b534886bbaab8305bf50dbc7f899bfb5f0101)] - (con bytestring #18b6bec097)] - (con bytestring #b2fc46ad47af464478c199e1f8be169f1be6327c7f9a0a6689371ca94caf04064a01b22aff1520abd58951341603faed768cf78ce97ae7b038abfe456aa17c09)]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongKey/verifyEd25519SignatureLongKey.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongKey/verifyEd25519SignatureLongKey.uplc.budget.expected deleted file mode 100644 index ccc477ffed6..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongKey/verifyEd25519SignatureLongKey.uplc.budget.expected +++ /dev/null @@ -1 +0,0 @@ -evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongKey/verifyEd25519SignatureLongKey.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongKey/verifyEd25519SignatureLongKey.uplc.expected deleted file mode 100644 index ccc477ffed6..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongKey/verifyEd25519SignatureLongKey.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongSig/verifyEd25519SignatureLongSig.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongSig/verifyEd25519SignatureLongSig.uplc deleted file mode 100644 index dda7bd820cc..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongSig/verifyEd25519SignatureLongSig.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #e253af0766804b869bb1595be9765b534886bbaab8305bf50dbc7f899bfb5f01)] - (con bytestring #18b6bec097)] - (con bytestring #b2fc46ad47af464478c199e1f8be169f1be6327c7f9a0a6689371ca94caf04064a01b22aff1520abd58951341603faed768cf78ce97ae7b038abfe456aa17c0909)]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongSig/verifyEd25519SignatureLongSig.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongSig/verifyEd25519SignatureLongSig.uplc.budget.expected deleted file mode 100644 index ccc477ffed6..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongSig/verifyEd25519SignatureLongSig.uplc.budget.expected +++ /dev/null @@ -1 +0,0 @@ -evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongSig/verifyEd25519SignatureLongSig.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongSig/verifyEd25519SignatureLongSig.uplc.expected deleted file mode 100644 index ccc477ffed6..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureLongSig/verifyEd25519SignatureLongSig.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortKey/verifyEd25519SignatureShortKey.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortKey/verifyEd25519SignatureShortKey.uplc deleted file mode 100644 index 5a8247903f1..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortKey/verifyEd25519SignatureShortKey.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #e253af0766804b869bb1595be9765b534886bbaab8305bf50dbc7f899bfb5f)] - (con bytestring #18b6bec097)] - (con bytestring #b2fc46ad47af464478c199e1f8be169f1be6327c7f9a0a6689371ca94caf04064a01b22aff1520abd58951341603faed768cf78ce97ae7b038abfe456aa17c09)]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortKey/verifyEd25519SignatureShortKey.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortKey/verifyEd25519SignatureShortKey.uplc.budget.expected deleted file mode 100644 index ccc477ffed6..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortKey/verifyEd25519SignatureShortKey.uplc.budget.expected +++ /dev/null @@ -1 +0,0 @@ -evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortKey/verifyEd25519SignatureShortKey.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortKey/verifyEd25519SignatureShortKey.uplc.expected deleted file mode 100644 index ccc477ffed6..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortKey/verifyEd25519SignatureShortKey.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortSig/verifyEd25519SignatureShortSig.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortSig/verifyEd25519SignatureShortSig.uplc deleted file mode 100644 index 26288c98c62..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortSig/verifyEd25519SignatureShortSig.uplc +++ /dev/null @@ -1,4 +0,0 @@ -(program 0.0.0 [[[(builtin verifyEd25519Signature) - (con bytestring #e253af0766804b869bb1595be9765b534886bbaab8305bf50dbc7f899bfb5f01)] - (con bytestring #18b6bec097)] - (con bytestring #b2fc46ad47af464478c199e1f8be169f1be6327c7f9a0a6689371ca94caf04064a01b22aff1520abd58951341603faed768cf78ce97ae7b038abfe456aa17c)]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortSig/verifyEd25519SignatureShortSig.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortSig/verifyEd25519SignatureShortSig.uplc.budget.expected deleted file mode 100644 index ccc477ffed6..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortSig/verifyEd25519SignatureShortSig.uplc.budget.expected +++ /dev/null @@ -1 +0,0 @@ -evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortSig/verifyEd25519SignatureShortSig.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortSig/verifyEd25519SignatureShortSig.uplc.expected deleted file mode 100644 index ccc477ffed6..00000000000 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/verifyEd25519SignatureShortSig/verifyEd25519SignatureShortSig.uplc.expected +++ /dev/null @@ -1 +0,0 @@ -evaluation failure \ No newline at end of file From 7a78858f4186d87ef054fd0435648a74aaee1f7b Mon Sep 17 00:00:00 2001 From: kwxm Date: Fri, 14 Jun 2024 16:05:15 +0100 Subject: [PATCH 5/5] Missed some files --- .../semantics/verifyEd25519Signature/test01/test01.uplc | 4 ++++ .../test01/test01.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test01/test01.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test02/test02.uplc | 4 ++++ .../test02/test02.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test02/test02.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test03/test03.uplc | 5 +++++ .../test03/test03.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test03/test03.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test04/test04.uplc | 4 ++++ .../test04/test04.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test04/test04.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test05/test05.uplc | 4 ++++ .../test05/test05.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test05/test05.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test06/test06.uplc | 4 ++++ .../test06/test06.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test06/test06.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test07/test07.uplc | 4 ++++ .../test07/test07.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test07/test07.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test08/test08.uplc | 4 ++++ .../test08/test08.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test08/test08.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test09/test09.uplc | 4 ++++ .../test09/test09.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test09/test09.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test10/test10.uplc | 4 ++++ .../test10/test10.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test10/test10.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test11/test11.uplc | 4 ++++ .../test11/test11.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test11/test11.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test12/test12.uplc | 4 ++++ .../test12/test12.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test12/test12.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test13/test13.uplc | 4 ++++ .../test13/test13.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test13/test13.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test14/test14.uplc | 4 ++++ .../test14/test14.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test14/test14.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test15/test15.uplc | 4 ++++ .../test15/test15.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test15/test15.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test16/test16.uplc | 4 ++++ .../test16/test16.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test16/test16.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test17/test17.uplc | 4 ++++ .../test17/test17.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test17/test17.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test18/test18.uplc | 4 ++++ .../test18/test18.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test18/test18.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test19/test19.uplc | 4 ++++ .../test19/test19.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test19/test19.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test20/test20.uplc | 4 ++++ .../test20/test20.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test20/test20.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test21/test21.uplc | 4 ++++ .../test21/test21.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test21/test21.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test22/test22.uplc | 4 ++++ .../test22/test22.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test22/test22.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test23/test23.uplc | 4 ++++ .../test23/test23.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test23/test23.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test24/test24.uplc | 4 ++++ .../test24/test24.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test24/test24.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test25/test25.uplc | 4 ++++ .../test25/test25.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test25/test25.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test26/test26.uplc | 4 ++++ .../test26/test26.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test26/test26.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test27/test27.uplc | 4 ++++ .../test27/test27.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test27/test27.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test28/test28.uplc | 4 ++++ .../test28/test28.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test28/test28.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test29/test29.uplc | 4 ++++ .../test29/test29.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test29/test29.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test30/test30.uplc | 4 ++++ .../test30/test30.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test30/test30.uplc.expected | 1 + .../semantics/verifyEd25519Signature/test31/test31.uplc | 4 ++++ .../test31/test31.uplc.budget.expected | 2 ++ .../verifyEd25519Signature/test31/test31.uplc.expected | 1 + 93 files changed, 218 insertions(+) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test01/test01.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test01/test01.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test01/test01.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test02/test02.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test02/test02.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test02/test02.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test03/test03.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test03/test03.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test03/test03.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test04/test04.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test04/test04.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test04/test04.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test05/test05.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test05/test05.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test05/test05.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test06/test06.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test06/test06.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test06/test06.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test07/test07.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test07/test07.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test07/test07.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test08/test08.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test08/test08.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test08/test08.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test09/test09.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test09/test09.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test09/test09.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test10/test10.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test10/test10.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test10/test10.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test11/test11.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test11/test11.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test11/test11.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test12/test12.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test12/test12.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test12/test12.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test13/test13.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test13/test13.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test13/test13.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test14/test14.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test14/test14.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test14/test14.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test15/test15.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test15/test15.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test15/test15.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test16/test16.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test16/test16.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test16/test16.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test17/test17.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test17/test17.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test17/test17.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test18/test18.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test18/test18.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test18/test18.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test19/test19.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test19/test19.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test19/test19.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test20/test20.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test20/test20.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test20/test20.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test21/test21.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test21/test21.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test21/test21.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test22/test22.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test22/test22.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test22/test22.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test23/test23.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test23/test23.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test23/test23.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test24/test24.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test24/test24.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test24/test24.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test25/test25.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test25/test25.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test25/test25.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test26/test26.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test26/test26.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test26/test26.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test27/test27.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test27/test27.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test27/test27.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test28/test28.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test28/test28.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test28/test28.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test29/test29.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test29/test29.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test29/test29.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test30/test30.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test30/test30.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test30/test30.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test31/test31.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test31/test31.uplc.budget.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test31/test31.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test01/test01.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test01/test01.uplc new file mode 100644 index 00000000000..c29535a539b --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test01/test01.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #d75a980182b10ab7d54bfed3c964073a0ee172f3daa62325af021a68f707511a)] + (con bytestring #)] + (con bytestring #e5564300c360ac729086e2cc806e828a84877f1eb8e5d974d873e065224901555fb8821590a33bacc61e39701cf9b46bd25bf5f0595bbe24655141438e7a100b)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test01/test01.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test01/test01.uplc.budget.expected new file mode 100644 index 00000000000..37620dba007 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test01/test01.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53510544 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test01/test01.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test01/test01.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test01/test01.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test02/test02.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test02/test02.uplc new file mode 100644 index 00000000000..c1e435e2c73 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test02/test02.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #3d4017c3e843895a92b70aa74d1b7ebc9c982ccf2ec4968cc0cd55f12af4660c)] + (con bytestring #72)] + (con bytestring #92a009a9f0d4cab8720e820b5f642540a2b27b5416503f8fb3762223ebdb69da085ac1e43e15996e458f3613d0f11d8c387b2eaeb4302aeeb00d291612bb0c00)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test02/test02.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test02/test02.uplc.budget.expected new file mode 100644 index 00000000000..37620dba007 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test02/test02.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53510544 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test02/test02.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test02/test02.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test02/test02.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test03/test03.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test03/test03.uplc new file mode 100644 index 00000000000..1c982279b00 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test03/test03.uplc @@ -0,0 +1,5 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #fc51cd8e6218a1a38da47ed00230f0580816ed13ba3303ac5deb911548908025)] + (con bytestring #af82)] + (con bytestring #6291d657deec24024827e69c3abe01a30ce548a284743a445e3680d7db5ac3ac18ff9b538d16f290ae67f760984dc6594a7c15e9716ed28dc027beceea1ec40a)]) + diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test03/test03.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test03/test03.uplc.budget.expected new file mode 100644 index 00000000000..37620dba007 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test03/test03.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53510544 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test03/test03.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test03/test03.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test03/test03.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test04/test04.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test04/test04.uplc new file mode 100644 index 00000000000..b0ed6be70d9 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test04/test04.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #e61a185bcef2613a6c7cb79763ce945d3b245d76114dd440bcf5f2dc1aa57057)] + (con bytestring #cbc77b)] + (con bytestring #d9868d52c2bebce5f3fa5a79891970f309cb6591e3e1702a70276fa97c24b3a8e58606c38c9758529da50ee31b8219cba45271c689afa60b0ea26c99db19b00c)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test04/test04.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test04/test04.uplc.budget.expected new file mode 100644 index 00000000000..37620dba007 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test04/test04.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53510544 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test04/test04.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test04/test04.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test04/test04.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test05/test05.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test05/test05.uplc new file mode 100644 index 00000000000..053c66b7f13 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test05/test05.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #6df9340c138cc188b5fe4464ebaa3f7fc206a2d55c3434707e74c9fc04e20ebb)] + (con bytestring #5f4c8989)] + (con bytestring #124f6fc6b0d100842769e71bd530664d888df8507df6c56dedfdb509aeb93416e26b918d38aa06305df3095697c18b2aa832eaa52edc0ae49fbae5a85e150c07)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test05/test05.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test05/test05.uplc.budget.expected new file mode 100644 index 00000000000..37620dba007 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test05/test05.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53510544 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test05/test05.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test05/test05.uplc.expected new file mode 100644 index 00000000000..dd87da54804 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test05/test05.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool False)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test06/test06.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test06/test06.uplc new file mode 100644 index 00000000000..34e77accf2f --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test06/test06.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #e253af0766804b869bb1595be9765b534886bbaab8305bf50dbc7f899bfb5f01)] + (con bytestring #18b6bec097)] + (con bytestring #b2fc46ad47af464478c199e1f8be169f1be6327c7f9a0a6689371ca94caf04064a01b22aff1520abd58951341603faed768cf78ce97ae7b038abfe456aa17c09)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test06/test06.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test06/test06.uplc.budget.expected new file mode 100644 index 00000000000..37620dba007 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test06/test06.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53510544 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test06/test06.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test06/test06.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test06/test06.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test07/test07.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test07/test07.uplc new file mode 100644 index 00000000000..28b638c41d2 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test07/test07.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #fbcfbfa40505d7f2be444a33d185cc54e16d615260e1640b2b5087b83ee3643d)] + (con bytestring #89010d855972)] + (con bytestring #6ed629fc1d9ce9e1468755ff636d5a3f40a5d9c91afd93b79d241830f7e5fa29854b8f20cc6eecbb248dbd8d16d14e99752194e4904d09c74d639518839d2300)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test07/test07.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test07/test07.uplc.budget.expected new file mode 100644 index 00000000000..37620dba007 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test07/test07.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53510544 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test07/test07.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test07/test07.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test07/test07.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test08/test08.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test08/test08.uplc new file mode 100644 index 00000000000..c0e1845845b --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test08/test08.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #98a5e3a36e67aaba89888bf093de1ad963e774013b3902bfab356d8b90178a63)] + (con bytestring #b4a8f381e70e7a)] + (con bytestring #6e0af2fe55ae377a6b7a7278edfb419bd321e06d0df5e27037db8812e7e3529810fa5552f6c0020985ca17a0e02e036d7b222a24f99b77b75fdd16cb05568107)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test08/test08.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test08/test08.uplc.budget.expected new file mode 100644 index 00000000000..37620dba007 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test08/test08.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53510544 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test08/test08.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test08/test08.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test08/test08.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test09/test09.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test09/test09.uplc new file mode 100644 index 00000000000..668c70c92a4 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test09/test09.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #f81fb54a825fced95eb033afcd64314075abfb0abd20a970892503436f34b863)] + (con bytestring #4284abc51bb67235)] + (con bytestring #d6addec5afb0528ac17bb178d3e7f2887f9adbb1ad16e110545ef3bc57f9de2314a5c8388f723b8907be0f3ac90c6259bbe885ecc17645df3db7d488f805fa08)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test09/test09.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test09/test09.uplc.budget.expected new file mode 100644 index 00000000000..37620dba007 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test09/test09.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53510544 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test09/test09.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test09/test09.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test09/test09.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test10/test10.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test10/test10.uplc new file mode 100644 index 00000000000..d258cd6ac6e --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test10/test10.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #c1a49c66e617f9ef5ec66bc4c6564ca33de2a5fb5e1464062e6d6c6219155efd)] + (con bytestring #672bf8965d04bc5146)] + (con bytestring #2c76a04af2391c147082e33faacdbe56642a1e134bd388620b852b901a6bc16ff6c9cc9404c41dea12ed281da067a1513866f9d964f8bdd24953856c50042901)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test10/test10.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test10/test10.uplc.budget.expected new file mode 100644 index 00000000000..a9f85a17efc --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test10/test10.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53524877 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test10/test10.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test10/test10.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test10/test10.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test11/test11.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test11/test11.uplc new file mode 100644 index 00000000000..2797d7ba867 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test11/test11.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #31b2524b8348f7ab1dfafa675cc538e9a84e3fe5819e27c12ad8bbc1a36e4dff)] + (con bytestring #33d7a786aded8c1bf691)] + (con bytestring #28e4598c415ae9de01f03f9f3fab4e919e8bf537dd2b0cdf6e79b9e6559c9409d9151a4c40f083193937627c369488259e99da5a9f0a87497fa6696a5dd6ce08)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test11/test11.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test11/test11.uplc.budget.expected new file mode 100644 index 00000000000..a9f85a17efc --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test11/test11.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53524877 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test11/test11.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test11/test11.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test11/test11.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test12/test12.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test12/test12.uplc new file mode 100644 index 00000000000..cb332d4ef01 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test12/test12.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #44b57ee30cdb55829d0a5d4f046baef078f1e97a7f21b62d75f8e96ea139c35f)] + (con bytestring #3486f68848a65a0eb5507d)] + (con bytestring #77d389e599630d934076329583cd4105a649a9292abc44cd28c40000c8e2f5ac7660a81c85b72af8452d7d25c070861dae91601c7803d656531650dd4e5c4100)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test12/test12.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test12/test12.uplc.budget.expected new file mode 100644 index 00000000000..a9f85a17efc --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test12/test12.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53524877 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test12/test12.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test12/test12.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test12/test12.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test13/test13.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test13/test13.uplc new file mode 100644 index 00000000000..ec9cf40b53d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test13/test13.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #6fe83693d011d111131c4f3fbaaa40a9d3d76b30012ff73bb0e39ec27ab18257)] + (con bytestring #5a8d9d0a22357e6655f9c785)] + (con bytestring #0f9ad9793033a2fa06614b277d37381e6d94f65ac2a5a94558d09ed6ce922258c1a567952e863ac94297aec3c0d0c8ddf71084e504860bb6ba27449b55adc40e)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test13/test13.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test13/test13.uplc.budget.expected new file mode 100644 index 00000000000..a9f85a17efc --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test13/test13.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53524877 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test13/test13.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test13/test13.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test13/test13.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test14/test14.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test14/test14.uplc new file mode 100644 index 00000000000..1a908dbcf87 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test14/test14.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #a2eb8c0501e30bae0cf842d2bde8dec7386f6b7fc3981b8c57c9792bb94cf2dd)] + (con bytestring #b87d3813e03f58cf19fd0b6395)] + (con bytestring #d8bb64aad8c9955a115a793addd24f7f2b077648714f49c4694ec995b330d09d640df310f447fd7b6cb5c14f9fe9f490bcf8cfadbfd2169c8ac20d3b8af49a0c)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test14/test14.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test14/test14.uplc.budget.expected new file mode 100644 index 00000000000..a9f85a17efc --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test14/test14.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53524877 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test14/test14.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test14/test14.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test14/test14.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test15/test15.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test15/test15.uplc new file mode 100644 index 00000000000..ec1cf10bd60 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test15/test15.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #cf3af898467a5b7a52d33d53bc037e2642a8da996903fc252217e9c033e2f291)] + (con bytestring #55c7fa434f5ed8cdec2b7aeac173)] + (con bytestring #6ee3fe81e23c60eb2312b2006b3b25e6838e02106623f844c44edb8dafd66ab0671087fd195df5b8f58a1d6e52af42908053d55c7321010092748795ef94cf06)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test15/test15.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test15/test15.uplc.budget.expected new file mode 100644 index 00000000000..a9f85a17efc --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test15/test15.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53524877 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test15/test15.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test15/test15.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test15/test15.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test16/test16.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test16/test16.uplc new file mode 100644 index 00000000000..1d1fb97f020 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test16/test16.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #fd2a565723163e29f53c9de3d5e8fbe36a7ab66e1439ec4eae9c0a604af291a5)] + (con bytestring #0a688e79be24f866286d4646b5d81c)] + (con bytestring #f68d04847e5b249737899c014d31c805c5007a62c0a10d50bb1538c5f35503951fbc1e08682f2cc0c92efe8f4985dec61dcbd54d4b94a22547d24451271c8b00)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test16/test16.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test16/test16.uplc.budget.expected new file mode 100644 index 00000000000..a9f85a17efc --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test16/test16.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53524877 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test16/test16.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test16/test16.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test16/test16.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test17/test17.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test17/test17.uplc new file mode 100644 index 00000000000..8646e659d75 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test17/test17.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #34e5a8508c4743746962c066e4badea2201b8ab484de5c4f94476ccd2143955b)] + (con bytestring #c942fa7ac6b23ab7ff612fdc8e68ef39)] + (con bytestring #2a3d27dc40d0a8127949a3b7f908b3688f63b7f14f651aacd715940bdbe27a0809aac142f47ab0e1e44fa490ba87ce5392f33a891539caf1ef4c367cae54500c)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test17/test17.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test17/test17.uplc.budget.expected new file mode 100644 index 00000000000..a9f85a17efc --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test17/test17.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53524877 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test17/test17.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test17/test17.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test17/test17.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test18/test18.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test18/test18.uplc new file mode 100644 index 00000000000..462c7ff48f6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test18/test18.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #0445e456dacc7d5b0bbed23c8200cdb74bdcb03e4c7b73f0a2b9b46eac5d4372)] + (con bytestring #7368724a5b0efb57d28d97622dbde725af)] + (con bytestring #3653ccb21219202b8436fb41a32ba2618c4a133431e6e63463ceb3b6106c4d56e1d2ba165ba76eaad3dc39bffb130f1de3d8e6427db5b71938db4e272bc3e20b)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test18/test18.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test18/test18.uplc.budget.expected new file mode 100644 index 00000000000..c5f7b892e15 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test18/test18.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53539210 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test18/test18.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test18/test18.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test18/test18.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test19/test19.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test19/test19.uplc new file mode 100644 index 00000000000..f558d30cf9f --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test19/test19.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #74d29127f199d86a8676aec33b4ce3f225ccb191f52c191ccd1e8cca65213a6b)] + (con bytestring #bd8e05033f3a8bcdcbf4beceb70901c82e31)] + (con bytestring #fbe929d743a03c17910575492f3092ee2a2bf14a60a3fcacec74a58c7334510fc262db582791322d6c8c41f1700adb80027ecabc14270b703444ae3ee7623e0a)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test19/test19.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test19/test19.uplc.budget.expected new file mode 100644 index 00000000000..c5f7b892e15 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test19/test19.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53539210 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test19/test19.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test19/test19.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test19/test19.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test20/test20.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test20/test20.uplc new file mode 100644 index 00000000000..c8529a4787d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test20/test20.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #5b96dca497875bf9664c5e75facf3f9bc54bae913d66ca15ee85f1491ca24d2c)] + (con bytestring #8171456f8b907189b1d779e26bc5afbb08c67a)] + (con bytestring #73bca64e9dd0db88138eedfafcea8f5436cfb74bfb0e7733cf349baa0c49775c56d5934e1d38e36f39b7c5beb0a836510c45126f8ec4b6810519905b0ca07c09)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test20/test20.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test20/test20.uplc.budget.expected new file mode 100644 index 00000000000..c5f7b892e15 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test20/test20.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53539210 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test20/test20.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test20/test20.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test20/test20.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test21/test21.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test21/test21.uplc new file mode 100644 index 00000000000..8683db0b62d --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test21/test21.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #1ca281938529896535a7714e3584085b86ef9fec723f42819fc8dd5d8c00817f)] + (con bytestring #8ba6a4c9a15a244a9c26bb2a59b1026f21348b49)] + (con bytestring #a1adc2bc6a2d980662677e7fdff6424de7dba50f5795ca90fdf3e96e256f3285cac71d3360482e993d0294ba4ec7440c61affdf35fe83e6e04263937db93f105)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test21/test21.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test21/test21.uplc.budget.expected new file mode 100644 index 00000000000..c5f7b892e15 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test21/test21.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53539210 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test21/test21.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test21/test21.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test21/test21.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test22/test22.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test22/test22.uplc new file mode 100644 index 00000000000..1d67ac7ed67 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test22/test22.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #7fae45dd0a05971026d410bc497af5be7d0827a82a145c203f625dfcb8b03ba8)] + (con bytestring #1d566a6232bbaab3e6d8804bb518a498ed0f904986)] + (con bytestring #bb61cf84de61862207c6a455258bc4db4e15eea0317ff88718b882a06b5cf6ec6fd20c5a269e5d5c805bafbcc579e2590af414c7c227273c102a10070cdfe80f)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test22/test22.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test22/test22.uplc.budget.expected new file mode 100644 index 00000000000..c5f7b892e15 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test22/test22.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53539210 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test22/test22.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test22/test22.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test22/test22.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test23/test23.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test23/test23.uplc new file mode 100644 index 00000000000..0ab74c72ac0 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test23/test23.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #48359b850d23f0715d94bb8bb75e7e14322eaf14f06f28a805403fbda002fc85)] + (con bytestring #1b0afb0ac4ba9ab7b7172cddc9eb42bba1a64bce47d4)] + (con bytestring #b6dcd09989dfbac54322a3ce87876e1d62134da998c79d24b50bd7a6a797d86a0e14dc9d7491d6c14a673c652cfbec9f962a38c945da3b2f0879d0b68a921300)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test23/test23.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test23/test23.uplc.budget.expected new file mode 100644 index 00000000000..c5f7b892e15 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test23/test23.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53539210 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test23/test23.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test23/test23.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test23/test23.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test24/test24.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test24/test24.uplc new file mode 100644 index 00000000000..1a1350609a4 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test24/test24.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #fdb30673402faf1c8033714f3517e47cc0f91fe70cf3836d6c23636e3fd2287c)] + (con bytestring #507c94c8820d2a5793cbf3442b3d71936f35fe3afef316)] + (con bytestring #7ef66e5e86f2360848e0014e94880ae2920ad8a3185a46b35d1e07dea8fa8ae4f6b843ba174d99fa7986654a0891c12a794455669375bf92af4cc2770b579e0c)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test24/test24.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test24/test24.uplc.budget.expected new file mode 100644 index 00000000000..c5f7b892e15 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test24/test24.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53539210 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test24/test24.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test24/test24.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test24/test24.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test25/test25.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test25/test25.uplc new file mode 100644 index 00000000000..2300b191f4e --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test25/test25.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #b1d39801892027d58a8c64335163195893bfc1b61dbeca3260497e1f30371107)] + (con bytestring #d3d615a8472d9962bb70c5b5466a3d983a4811046e2a0ef5)] + (con bytestring #836afa764d9c48aa4770a4388b654e97b3c16f082967febca27f2fc47ddfd9244b03cfc729698acf5109704346b60b230f255430089ddc56912399d1122de70a)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test25/test25.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test25/test25.uplc.budget.expected new file mode 100644 index 00000000000..c5f7b892e15 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test25/test25.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53539210 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test25/test25.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test25/test25.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test25/test25.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test26/test26.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test26/test26.uplc new file mode 100644 index 00000000000..ce94e043148 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test26/test26.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #d0c846f97fe28585c0ee159015d64c56311c886eddcc185d296dbb165d2625d6)] + (con bytestring #6ada80b6fa84f7034920789e8536b82d5e4678059aed27f71c)] + (con bytestring #16e462a29a6dd498685a3718b3eed00cc1598601ee47820486032d6b9acc9bf89f57684e08d8c0f05589cda2882a05dc4c63f9d0431d6552710812433003bc08)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test26/test26.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test26/test26.uplc.budget.expected new file mode 100644 index 00000000000..d29b7f2b32f --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test26/test26.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53553543 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test26/test26.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test26/test26.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test26/test26.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test27/test27.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test27/test27.uplc new file mode 100644 index 00000000000..dba00a9ab65 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test27/test27.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #2bf32ba142ba4622d8f3e29ecd85eea07b9c47be9d64412c9b510b27dd218b23)] + (con bytestring #82cb53c4d5a013bae5070759ec06c3c6955ab7a4050958ec328c)] + (con bytestring #881f5b8c5a030df0f75b6634b070dd27bd1ee3c08738ae349338b3ee6469bbf9760b13578a237d5182535ede121283027a90b5f865d63a6537dca07b44049a0f)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test27/test27.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test27/test27.uplc.budget.expected new file mode 100644 index 00000000000..d29b7f2b32f --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test27/test27.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53553543 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test27/test27.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test27/test27.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test27/test27.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test28/test28.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test28/test28.uplc new file mode 100644 index 00000000000..b07f60f2fa9 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test28/test28.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #94d23d977c33e49e5e4992c68f25ec99a27c41ce6b91f2bfa0cd8292fe962835)] + (con bytestring #a9a8cbb0ad585124e522abbfb40533bdd6f49347b55b18e8558cb0)] + (con bytestring #3acd39bec8c3cd2b44299722b5850a0400c1443590fd4861d59aae7496acb3df73fc3fdf7969ae5f50ba47dddc435246e5fd376f6b891cd4c2caf5d614b6170c)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test28/test28.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test28/test28.uplc.budget.expected new file mode 100644 index 00000000000..d29b7f2b32f --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test28/test28.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53553543 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test28/test28.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test28/test28.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test28/test28.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test29/test29.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test29/test29.uplc new file mode 100644 index 00000000000..799a1d999fe --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test29/test29.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #9d084aa8b97a6b9bafa496dbc6f76f3306a116c9d917e681520a0f914369427e)] + (con bytestring #5cb6f9aa59b80eca14f6a68fb40cf07b794e75171fba96262c1c6adc)] + (con bytestring #f5875423781b66216cb5e8998de5d9ffc29d1d67107054ace3374503a9c3ef811577f269de81296744bd706f1ac478caf09b54cdf871b3f802bd57f9a6cb9101)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test29/test29.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test29/test29.uplc.budget.expected new file mode 100644 index 00000000000..d29b7f2b32f --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test29/test29.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53553543 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test29/test29.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test29/test29.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test29/test29.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test30/test30.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test30/test30.uplc new file mode 100644 index 00000000000..8d2c4af81c2 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test30/test30.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #16cee8a3f2631834c88b670897ff0b08ce90cc147b4593b3f1f403727f7e7ad5)] + (con bytestring #32fe27994124202153b5c70d3813fdee9c2aa6e7dc743d4d535f1840a5)] + (con bytestring #d834197c1a3080614e0a5fa0aaaa808824f21c38d692e6ffbd200f7dfb3c8f44402a7382180b98ad0afc8eec1a02acecf3cb7fde627b9f18111f260ab1db9a07)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test30/test30.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test30/test30.uplc.budget.expected new file mode 100644 index 00000000000..d29b7f2b32f --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test30/test30.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53553543 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test30/test30.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test30/test30.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test30/test30.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test31/test31.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test31/test31.uplc new file mode 100644 index 00000000000..b6369724e73 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test31/test31.uplc @@ -0,0 +1,4 @@ +(program 0.0.0 [[[(builtin verifyEd25519Signature) + (con bytestring #23be323c562dfd71ce65f5bba56a74a3a6dfc36b573d2f94f635c7f9b4fd5a5b)] + (con bytestring #bb3172795710fe00054d3b5dfef8a11623582da68bf8e46d72d27cece2aa)] + (con bytestring #0f8fad1e6bde771b4f5420eac75c378bae6db5ac6650cd2bc210c1823b432b48e016b10595458ffab92f7a8989b293ceb8dfed6c243a2038fc06652aaaf16f02)]) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test31/test31.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test31/test31.uplc.budget.expected new file mode 100644 index 00000000000..d29b7f2b32f --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test31/test31.uplc.budget.expected @@ -0,0 +1,2 @@ +({cpu: 53553543 +| mem: 810}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test31/test31.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test31/test31.uplc.expected new file mode 100644 index 00000000000..b1057ef7547 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEd25519Signature/test31/test31.uplc.expected @@ -0,0 +1 @@ +(program 0.0.0 (con bool True)) \ No newline at end of file