Kwxm/conformance/two digit test names (IntersectMBO#6627)

* Rename files to add leading zeros * Fix test case nesting for chooseList and nullList * Fix names of tests excluded from agda-conformance * Fix some bad renamings * Fix some bad renamings * Rename some of the constant tests as well * Rename some of the constant tests as well * More renaming * More renaming for consistency
v0d1ch · Dec 6, 2024 · be3f521 · be3f521
1 parent 5e70592
commit be3f521
Show file tree

Hide file tree

Showing 814 changed files with 2 additions and 2 deletions.
diff --git a/plutus-conformance/agda/Spec.hs b/plutus-conformance/agda/Spec.hs
@@ -124,8 +124,8 @@ failingBudgetTests =
   -- https://github.com/IntersectMBO/plutus/pull/6368.  Some of the budget tests
   -- do pass, either because evaluation fails or because two different size
   -- measures happen to be the same for small inputs.
-  [ "test-cases/uplc/evaluation/builtin/semantics/replicateByte/case-7"
-  , "test-cases/uplc/evaluation/builtin/semantics/replicateByte/case-9"
+  [ "test-cases/uplc/evaluation/builtin/semantics/replicateByte/case-07"
+  , "test-cases/uplc/evaluation/builtin/semantics/replicateByte/case-09"
   , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-11"
   , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-12"
   , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-13"

diff --git a/...s12-381/G1/bad-syntax-1/bad-syntax-1.uplc → ...2-381/G1/bad-syntax-01/bad-syntax-01.uplc b/...s12-381/G1/bad-syntax-1/bad-syntax-1.uplc → ...2-381/G1/bad-syntax-01/bad-syntax-01.uplc
diff --git a/...yntax-1/bad-syntax-1.uplc.budget.expected → ...tax-01/bad-syntax-01.uplc.budget.expected b/...yntax-1/bad-syntax-1.uplc.budget.expected → ...tax-01/bad-syntax-01.uplc.budget.expected
diff --git a/...1/bad-syntax-1/bad-syntax-1.uplc.expected → ...bad-syntax-01/bad-syntax-01.uplc.expected b/...1/bad-syntax-1/bad-syntax-1.uplc.expected → ...bad-syntax-01/bad-syntax-01.uplc.expected
diff --git a/...s12-381/G1/bad-syntax-2/bad-syntax-2.uplc → ...2-381/G1/bad-syntax-02/bad-syntax-02.uplc b/...s12-381/G1/bad-syntax-2/bad-syntax-2.uplc → ...2-381/G1/bad-syntax-02/bad-syntax-02.uplc
diff --git a/...yntax-2/bad-syntax-2.uplc.budget.expected → ...tax-02/bad-syntax-02.uplc.budget.expected b/...yntax-2/bad-syntax-2.uplc.budget.expected → ...tax-02/bad-syntax-02.uplc.budget.expected
diff --git a/...1/bad-syntax-2/bad-syntax-2.uplc.expected → ...bad-syntax-02/bad-syntax-02.uplc.expected b/...1/bad-syntax-2/bad-syntax-2.uplc.expected → ...bad-syntax-02/bad-syntax-02.uplc.expected
diff --git a/...t/bls12-381/G1/bad-zero-1/bad-zero-1.uplc → ...bls12-381/G1/bad-zero-01/bad-zero-01.uplc b/...t/bls12-381/G1/bad-zero-1/bad-zero-1.uplc → ...bls12-381/G1/bad-zero-01/bad-zero-01.uplc
diff --git a/...ad-zero-1/bad-zero-1.uplc.budget.expected → ...-zero-01/bad-zero-01.uplc.budget.expected b/...ad-zero-1/bad-zero-1.uplc.budget.expected → ...-zero-01/bad-zero-01.uplc.budget.expected
diff --git a/...81/G1/bad-zero-1/bad-zero-1.uplc.expected → .../G1/bad-zero-01/bad-zero-01.uplc.expected b/...81/G1/bad-zero-1/bad-zero-1.uplc.expected → .../G1/bad-zero-01/bad-zero-01.uplc.expected
diff --git a/...t/bls12-381/G1/bad-zero-2/bad-zero-2.uplc → ...bls12-381/G1/bad-zero-02/bad-zero-02.uplc b/...t/bls12-381/G1/bad-zero-2/bad-zero-2.uplc → ...bls12-381/G1/bad-zero-02/bad-zero-02.uplc
diff --git a/...ad-zero-2/bad-zero-2.uplc.budget.expected → ...-zero-02/bad-zero-02.uplc.budget.expected b/...ad-zero-2/bad-zero-2.uplc.budget.expected → ...-zero-02/bad-zero-02.uplc.budget.expected
diff --git a/...81/G1/bad-zero-2/bad-zero-2.uplc.expected → .../G1/bad-zero-02/bad-zero-02.uplc.expected b/...81/G1/bad-zero-2/bad-zero-2.uplc.expected → .../G1/bad-zero-02/bad-zero-02.uplc.expected
diff --git a/...t/bls12-381/G1/bad-zero-3/bad-zero-3.uplc → ...bls12-381/G1/bad-zero-03/bad-zero-03.uplc b/...t/bls12-381/G1/bad-zero-3/bad-zero-3.uplc → ...bls12-381/G1/bad-zero-03/bad-zero-03.uplc
diff --git a/...ad-zero-3/bad-zero-3.uplc.budget.expected → ...-zero-03/bad-zero-03.uplc.budget.expected b/...ad-zero-3/bad-zero-3.uplc.budget.expected → ...-zero-03/bad-zero-03.uplc.budget.expected
diff --git a/...81/G1/bad-zero-3/bad-zero-3.uplc.expected → .../G1/bad-zero-03/bad-zero-03.uplc.expected b/...81/G1/bad-zero-3/bad-zero-3.uplc.expected → .../G1/bad-zero-03/bad-zero-03.uplc.expected
diff --git a/...s12-381/G2/bad-syntax-1/bad-syntax-1.uplc → ...2-381/G2/bad-syntax-01/bad-syntax-01.uplc b/...s12-381/G2/bad-syntax-1/bad-syntax-1.uplc → ...2-381/G2/bad-syntax-01/bad-syntax-01.uplc
diff --git a/...yntax-1/bad-syntax-1.uplc.budget.expected → ...tax-01/bad-syntax-01.uplc.budget.expected b/...yntax-1/bad-syntax-1.uplc.budget.expected → ...tax-01/bad-syntax-01.uplc.budget.expected
diff --git a/...2/bad-syntax-1/bad-syntax-1.uplc.expected → ...bad-syntax-01/bad-syntax-01.uplc.expected b/...2/bad-syntax-1/bad-syntax-1.uplc.expected → ...bad-syntax-01/bad-syntax-01.uplc.expected
diff --git a/...s12-381/G2/bad-syntax-2/bad-syntax-2.uplc → ...2-381/G2/bad-syntax-02/bad-syntax-02.uplc b/...s12-381/G2/bad-syntax-2/bad-syntax-2.uplc → ...2-381/G2/bad-syntax-02/bad-syntax-02.uplc
diff --git a/...yntax-2/bad-syntax-2.uplc.budget.expected → ...tax-02/bad-syntax-02.uplc.budget.expected b/...yntax-2/bad-syntax-2.uplc.budget.expected → ...tax-02/bad-syntax-02.uplc.budget.expected
diff --git a/...2/bad-syntax-2/bad-syntax-2.uplc.expected → ...bad-syntax-02/bad-syntax-02.uplc.expected b/...2/bad-syntax-2/bad-syntax-2.uplc.expected → ...bad-syntax-02/bad-syntax-02.uplc.expected
diff --git a/...t/bls12-381/G2/bad-zero-1/bad-zero-1.uplc → ...bls12-381/G2/bad-zero-01/bad-zero-01.uplc b/...t/bls12-381/G2/bad-zero-1/bad-zero-1.uplc → ...bls12-381/G2/bad-zero-01/bad-zero-01.uplc
diff --git a/...ad-zero-1/bad-zero-1.uplc.budget.expected → ...-zero-01/bad-zero-01.uplc.budget.expected b/...ad-zero-1/bad-zero-1.uplc.budget.expected → ...-zero-01/bad-zero-01.uplc.budget.expected
diff --git a/...81/G2/bad-zero-1/bad-zero-1.uplc.expected → .../G2/bad-zero-01/bad-zero-01.uplc.expected b/...81/G2/bad-zero-1/bad-zero-1.uplc.expected → .../G2/bad-zero-01/bad-zero-01.uplc.expected
diff --git a/...t/bls12-381/G2/bad-zero-2/bad-zero-2.uplc → ...bls12-381/G2/bad-zero-02/bad-zero-02.uplc b/...t/bls12-381/G2/bad-zero-2/bad-zero-2.uplc → ...bls12-381/G2/bad-zero-02/bad-zero-02.uplc
diff --git a/...ad-zero-2/bad-zero-2.uplc.budget.expected → ...-zero-02/bad-zero-02.uplc.budget.expected b/...ad-zero-2/bad-zero-2.uplc.budget.expected → ...-zero-02/bad-zero-02.uplc.budget.expected
diff --git a/...81/G2/bad-zero-2/bad-zero-2.uplc.expected → .../G2/bad-zero-02/bad-zero-02.uplc.expected b/...81/G2/bad-zero-2/bad-zero-2.uplc.expected → .../G2/bad-zero-02/bad-zero-02.uplc.expected
diff --git a/...t/bls12-381/G2/bad-zero-3/bad-zero-3.uplc → ...bls12-381/G2/bad-zero-03/bad-zero-03.uplc b/...t/bls12-381/G2/bad-zero-3/bad-zero-3.uplc → ...bls12-381/G2/bad-zero-03/bad-zero-03.uplc
diff --git a/...ad-zero-3/bad-zero-3.uplc.budget.expected → ...-zero-03/bad-zero-03.uplc.budget.expected b/...ad-zero-3/bad-zero-3.uplc.budget.expected → ...-zero-03/bad-zero-03.uplc.budget.expected
diff --git a/...81/G2/bad-zero-3/bad-zero-3.uplc.expected → .../G2/bad-zero-03/bad-zero-03.uplc.expected b/...81/G2/bad-zero-3/bad-zero-3.uplc.expected → .../G2/bad-zero-03/bad-zero-03.uplc.expected
diff --git a/...t/bytestring/bytestring1/bytestring1.uplc → ...testring/bytestring-01/bytestring-01.uplc b/...t/bytestring/bytestring1/bytestring1.uplc → ...testring/bytestring-01/bytestring-01.uplc
diff --git a/...estring1/bytestring1.uplc.budget.expected → ...ing-01/bytestring-01.uplc.budget.expected b/...estring1/bytestring1.uplc.budget.expected → ...ing-01/bytestring-01.uplc.budget.expected
diff --git a/...ing/bytestring1/bytestring1.uplc.expected → ...bytestring-01/bytestring-01.uplc.expected b/...ing/bytestring1/bytestring1.uplc.expected → ...bytestring-01/bytestring-01.uplc.expected
diff --git a/...t/bytestring/bytestring2/bytestring2.uplc → ...testring/bytestring-02/bytestring-02.uplc b/...t/bytestring/bytestring2/bytestring2.uplc → ...testring/bytestring-02/bytestring-02.uplc
diff --git a/...estring2/bytestring2.uplc.budget.expected → ...ing-02/bytestring-02.uplc.budget.expected b/...estring2/bytestring2.uplc.budget.expected → ...ing-02/bytestring-02.uplc.budget.expected
diff --git a/...ing/bytestring2/bytestring2.uplc.expected → ...bytestring-02/bytestring-02.uplc.expected b/...ing/bytestring2/bytestring2.uplc.expected → ...bytestring-02/bytestring-02.uplc.expected
diff --git a/...t/bytestring/bytestring3/bytestring3.uplc → ...testring/bytestring-03/bytestring-03.uplc b/...t/bytestring/bytestring3/bytestring3.uplc → ...testring/bytestring-03/bytestring-03.uplc
diff --git a/...estring3/bytestring3.uplc.budget.expected → ...ing-03/bytestring-03.uplc.budget.expected b/...estring3/bytestring3.uplc.budget.expected → ...ing-03/bytestring-03.uplc.budget.expected
diff --git a/...ing/bytestring3/bytestring3.uplc.expected → ...bytestring-03/bytestring-03.uplc.expected b/...ing/bytestring3/bytestring3.uplc.expected → ...bytestring-03/bytestring-03.uplc.expected
diff --git a/...t/bytestring/bytestring4/bytestring4.uplc → ...testring/bytestring-04/bytestring-04.uplc b/...t/bytestring/bytestring4/bytestring4.uplc → ...testring/bytestring-04/bytestring-04.uplc
diff --git a/...estring4/bytestring4.uplc.budget.expected → ...ing-04/bytestring-04.uplc.budget.expected b/...estring4/bytestring4.uplc.budget.expected → ...ing-04/bytestring-04.uplc.budget.expected
diff --git a/...ing/bytestring4/bytestring4.uplc.expected → ...bytestring-04/bytestring-04.uplc.expected b/...ing/bytestring4/bytestring4.uplc.expected → ...bytestring-04/bytestring-04.uplc.expected
diff --git a/...n/constant/integer/integer1/integer1.uplc → ...nstant/integer/integer-01/integer-01.uplc b/...n/constant/integer/integer1/integer1.uplc → ...nstant/integer/integer-01/integer-01.uplc
diff --git a/...er/integer1/integer1.uplc.budget.expected → ...nteger-01/integer-01.uplc.budget.expected b/...er/integer1/integer1.uplc.budget.expected → ...nteger-01/integer-01.uplc.budget.expected
diff --git a/...t/integer/integer1/integer1.uplc.expected → ...teger/integer-01/integer-01.uplc.expected b/...t/integer/integer1/integer1.uplc.expected → ...teger/integer-01/integer-01.uplc.expected
diff --git a/...n/constant/integer/integer2/integer2.uplc → ...nstant/integer/integer-02/integer-02.uplc b/...n/constant/integer/integer2/integer2.uplc → ...nstant/integer/integer-02/integer-02.uplc
diff --git a/...er/integer2/integer2.uplc.budget.expected → ...nteger-02/integer-02.uplc.budget.expected b/...er/integer2/integer2.uplc.budget.expected → ...nteger-02/integer-02.uplc.budget.expected
diff --git a/...t/integer/integer2/integer2.uplc.expected → ...teger/integer-02/integer-02.uplc.expected b/...t/integer/integer2/integer2.uplc.expected → ...teger/integer-02/integer-02.uplc.expected
diff --git a/...n/constant/integer/integer3/integer3.uplc → ...nstant/integer/integer-03/integer-03.uplc b/...n/constant/integer/integer3/integer3.uplc → ...nstant/integer/integer-03/integer-03.uplc
diff --git a/...er/integer3/integer3.uplc.budget.expected → ...nteger-03/integer-03.uplc.budget.expected b/...er/integer3/integer3.uplc.budget.expected → ...nteger-03/integer-03.uplc.budget.expected
diff --git a/...t/integer/integer3/integer3.uplc.expected → ...teger/integer-03/integer-03.uplc.expected b/...t/integer/integer3/integer3.uplc.expected → ...teger/integer-03/integer-03.uplc.expected
diff --git a/...n/constant/integer/integer4/integer4.uplc → ...nstant/integer/integer-04/integer-04.uplc b/...n/constant/integer/integer4/integer4.uplc → ...nstant/integer/integer-04/integer-04.uplc
diff --git a/...er/integer4/integer4.uplc.budget.expected → ...nteger-04/integer-04.uplc.budget.expected b/...er/integer4/integer4.uplc.budget.expected → ...nteger-04/integer-04.uplc.budget.expected
diff --git a/...t/integer/integer4/integer4.uplc.expected → ...teger/integer-04/integer-04.uplc.expected b/...t/integer/integer4/integer4.uplc.expected → ...teger/integer-04/integer-04.uplc.expected
diff --git a/...n/constant/integer/integer5/integer5.uplc → ...nstant/integer/integer-05/integer-05.uplc b/...n/constant/integer/integer5/integer5.uplc → ...nstant/integer/integer-05/integer-05.uplc
diff --git a/...er/integer5/integer5.uplc.budget.expected → ...nteger-05/integer-05.uplc.budget.expected b/...er/integer5/integer5.uplc.budget.expected → ...nteger-05/integer-05.uplc.budget.expected
diff --git a/...t/integer/integer5/integer5.uplc.expected → ...teger/integer-05/integer-05.uplc.expected b/...t/integer/integer5/integer5.uplc.expected → ...teger/integer-05/integer-05.uplc.expected
diff --git a/...n/constant/integer/integer6/integer6.uplc → ...nstant/integer/integer-06/integer-06.uplc b/...n/constant/integer/integer6/integer6.uplc → ...nstant/integer/integer-06/integer-06.uplc
diff --git a/...er/integer6/integer6.uplc.budget.expected → ...nteger-06/integer-06.uplc.budget.expected b/...er/integer6/integer6.uplc.budget.expected → ...nteger-06/integer-06.uplc.budget.expected
diff --git a/...t/integer/integer6/integer6.uplc.expected → ...teger/integer-06/integer-06.uplc.expected b/...t/integer/integer6/integer6.uplc.expected → ...teger/integer-06/integer-06.uplc.expected
diff --git a/...n/constant/integer/integer7/integer7.uplc → ...nstant/integer/integer-07/integer-07.uplc b/...n/constant/integer/integer7/integer7.uplc → ...nstant/integer/integer-07/integer-07.uplc
diff --git a/...er/integer7/integer7.uplc.budget.expected → ...nteger-07/integer-07.uplc.budget.expected b/...er/integer7/integer7.uplc.budget.expected → ...nteger-07/integer-07.uplc.budget.expected
diff --git a/...t/integer/integer7/integer7.uplc.expected → ...teger/integer-07/integer-07.uplc.expected b/...t/integer/integer7/integer7.uplc.expected → ...teger/integer-07/integer-07.uplc.expected
diff --git a/...n/constant/integer/integer8/integer8.uplc → ...nstant/integer/integer-08/integer-08.uplc b/...n/constant/integer/integer8/integer8.uplc → ...nstant/integer/integer-08/integer-08.uplc
diff --git a/...er/integer8/integer8.uplc.budget.expected → ...nteger-08/integer-08.uplc.budget.expected b/...er/integer8/integer8.uplc.budget.expected → ...nteger-08/integer-08.uplc.budget.expected
diff --git a/...t/integer/integer8/integer8.uplc.expected → ...teger/integer-08/integer-08.uplc.expected b/...t/integer/integer8/integer8.uplc.expected → ...teger/integer-08/integer-08.uplc.expected
diff --git a/...n/constant/integer/integer9/integer9.uplc → ...nstant/integer/integer-09/integer-09.uplc b/...n/constant/integer/integer9/integer9.uplc → ...nstant/integer/integer-09/integer-09.uplc
diff --git a/...er/integer9/integer9.uplc.budget.expected → ...nteger-09/integer-09.uplc.budget.expected b/...er/integer9/integer9.uplc.budget.expected → ...nteger-09/integer-09.uplc.budget.expected
diff --git a/...t/integer/integer9/integer9.uplc.expected → ...teger/integer-09/integer-09.uplc.expected b/...t/integer/integer9/integer9.uplc.expected → ...teger/integer-09/integer-09.uplc.expected
diff --git a/...ant/list/illTypedList1/illTypedList1.uplc → ...list/illTypedList-01/illTypedList-01.uplc b/...ant/list/illTypedList1/illTypedList1.uplc → ...list/illTypedList-01/illTypedList-01.uplc
diff --git a/...dList1/illTypedList1.uplc.budget.expected → ...t-01/illTypedList-01.uplc.budget.expected b/...dList1/illTypedList1.uplc.budget.expected → ...t-01/illTypedList-01.uplc.budget.expected
diff --git a/...illTypedList1/illTypedList1.uplc.expected → ...ypedList-01/illTypedList-01.uplc.expected b/...illTypedList1/illTypedList1.uplc.expected → ...ypedList-01/illTypedList-01.uplc.expected
diff --git a/...ant/list/illTypedList2/illTypedList2.uplc → ...list/illTypedList-02/illTypedList-02.uplc b/...ant/list/illTypedList2/illTypedList2.uplc → ...list/illTypedList-02/illTypedList-02.uplc
diff --git a/...dList2/illTypedList2.uplc.budget.expected → ...t-02/illTypedList-02.uplc.budget.expected b/...dList2/illTypedList2.uplc.budget.expected → ...t-02/illTypedList-02.uplc.budget.expected
diff --git a/...illTypedList2/illTypedList2.uplc.expected → ...ypedList-02/illTypedList-02.uplc.expected b/...illTypedList2/illTypedList2.uplc.expected → ...ypedList-02/illTypedList-02.uplc.expected
diff --git a/...ant/pair/illTypedPair1/illTypedPair1.uplc → ...pair/illTypedPair-01/illTypedPair-01.uplc b/...ant/pair/illTypedPair1/illTypedPair1.uplc → ...pair/illTypedPair-01/illTypedPair-01.uplc
diff --git a/...dPair1/illTypedPair1.uplc.budget.expected → ...r-01/illTypedPair-01.uplc.budget.expected b/...dPair1/illTypedPair1.uplc.budget.expected → ...r-01/illTypedPair-01.uplc.budget.expected
diff --git a/...illTypedPair1/illTypedPair1.uplc.expected → ...ypedPair-01/illTypedPair-01.uplc.expected b/...illTypedPair1/illTypedPair1.uplc.expected → ...ypedPair-01/illTypedPair-01.uplc.expected
diff --git a/...ant/pair/illTypedPair2/illTypedPair2.uplc → ...pair/illTypedPair-02/illTypedPair-02.uplc b/...ant/pair/illTypedPair2/illTypedPair2.uplc → ...pair/illTypedPair-02/illTypedPair-02.uplc
diff --git a/...dPair2/illTypedPair2.uplc.budget.expected → ...r-02/illTypedPair-02.uplc.budget.expected b/...dPair2/illTypedPair2.uplc.budget.expected → ...r-02/illTypedPair-02.uplc.budget.expected
diff --git a/...illTypedPair2/illTypedPair2.uplc.expected → ...ypedPair-02/illTypedPair-02.uplc.expected b/...illTypedPair2/illTypedPair2.uplc.expected → ...ypedPair-02/illTypedPair-02.uplc.expected
diff --git a/...ltin/constant/string/string1/string1.uplc → .../constant/string/string-01/string-01.uplc b/...ltin/constant/string/string1/string1.uplc → .../constant/string/string-01/string-01.uplc
diff --git a/...ring/string1/string1.uplc.budget.expected → .../string-01/string-01.uplc.budget.expected b/...ring/string1/string1.uplc.budget.expected → .../string-01/string-01.uplc.budget.expected
diff --git a/...tant/string/string1/string1.uplc.expected → .../string/string-01/string-01.uplc.expected b/...tant/string/string1/string1.uplc.expected → .../string/string-01/string-01.uplc.expected
diff --git a/...ltin/constant/string/string2/string2.uplc → .../constant/string/string-02/string-02.uplc b/...ltin/constant/string/string2/string2.uplc → .../constant/string/string-02/string-02.uplc
diff --git a/...ring/string2/string2.uplc.budget.expected → .../string-02/string-02.uplc.budget.expected b/...ring/string2/string2.uplc.budget.expected → .../string-02/string-02.uplc.budget.expected
diff --git a/...tant/string/string2/string2.uplc.expected → .../string/string-02/string-02.uplc.expected b/...tant/string/string2/string2.uplc.expected → .../string/string-02/string-02.uplc.expected
diff --git a/...ltin/constant/string/string3/string3.uplc → .../constant/string/string-03/string-03.uplc b/...ltin/constant/string/string3/string3.uplc → .../constant/string/string-03/string-03.uplc
diff --git a/...ring/string3/string3.uplc.budget.expected → .../string-03/string-03.uplc.budget.expected b/...ring/string3/string3.uplc.budget.expected → .../string-03/string-03.uplc.budget.expected
diff --git a/...tant/string/string3/string3.uplc.expected → .../string/string-03/string-03.uplc.expected b/...tant/string/string3/string3.uplc.expected → .../string/string-03/string-03.uplc.expected
diff --git a/...ltin/constant/string/string4/string4.uplc → .../constant/string/string-04/string-04.uplc b/...ltin/constant/string/string4/string4.uplc → .../constant/string/string-04/string-04.uplc
diff --git a/...ring/string4/string4.uplc.budget.expected → .../string-04/string-04.uplc.budget.expected b/...ring/string4/string4.uplc.budget.expected → .../string-04/string-04.uplc.budget.expected
diff --git a/...tant/string/string4/string4.uplc.expected → .../string/string-04/string-04.uplc.expected b/...tant/string/string4/string4.uplc.expected → .../string/string-04/string-04.uplc.expected
diff --git a/...ltin/constant/string/string5/string5.uplc → .../constant/string/string-05/string-05.uplc b/...ltin/constant/string/string5/string5.uplc → .../constant/string/string-05/string-05.uplc
diff --git a/...ring/string5/string5.uplc.budget.expected → .../string-05/string-05.uplc.budget.expected b/...ring/string5/string5.uplc.budget.expected → .../string-05/string-05.uplc.budget.expected
diff --git a/...tant/string/string5/string5.uplc.expected → .../string/string-05/string-05.uplc.expected b/...tant/string/string5/string5.uplc.expected → .../string/string-05/string-05.uplc.expected
diff --git a/...ltin/constant/string/string6/string6.uplc → .../constant/string/string-06/string-06.uplc b/...ltin/constant/string/string6/string6.uplc → .../constant/string/string-06/string-06.uplc
diff --git a/...ring/string6/string6.uplc.budget.expected → .../string-06/string-06.uplc.budget.expected b/...ring/string6/string6.uplc.budget.expected → .../string-06/string-06.uplc.budget.expected
diff --git a/...tant/string/string6/string6.uplc.expected → .../string/string-06/string-06.uplc.expected b/...tant/string/string6/string6.uplc.expected → .../string/string-06/string-06.uplc.expected
diff --git a/...s/addInteger/addInteger1/addInteger1.uplc → ...dInteger/addInteger-01/addInteger-01.uplc b/...s/addInteger/addInteger1/addInteger1.uplc → ...dInteger/addInteger-01/addInteger-01.uplc
diff --git a/...Integer1/addInteger1.uplc.budget.expected → ...ger-01/addInteger-01.uplc.budget.expected b/...Integer1/addInteger1.uplc.budget.expected → ...ger-01/addInteger-01.uplc.budget.expected
diff --git a/...ger/addInteger1/addInteger1.uplc.expected → ...addInteger-01/addInteger-01.uplc.expected b/...ger/addInteger1/addInteger1.uplc.expected → ...addInteger-01/addInteger-01.uplc.expected
diff --git a/...s/addInteger/addInteger2/addInteger2.uplc → ...dInteger/addInteger-02/addInteger-02.uplc b/...s/addInteger/addInteger2/addInteger2.uplc → ...dInteger/addInteger-02/addInteger-02.uplc
diff --git a/...Integer2/addInteger2.uplc.budget.expected → ...ger-02/addInteger-02.uplc.budget.expected b/...Integer2/addInteger2.uplc.budget.expected → ...ger-02/addInteger-02.uplc.budget.expected
diff --git a/...ger/addInteger2/addInteger2.uplc.expected → ...addInteger-02/addInteger-02.uplc.expected b/...ger/addInteger2/addInteger2.uplc.expected → ...addInteger-02/addInteger-02.uplc.expected
diff --git a/...s/addInteger/addInteger3/addInteger3.uplc → ...dInteger/addInteger-03/addInteger-03.uplc b/...s/addInteger/addInteger3/addInteger3.uplc → ...dInteger/addInteger-03/addInteger-03.uplc
diff --git a/...Integer3/addInteger3.uplc.budget.expected → ...ger-03/addInteger-03.uplc.budget.expected b/...Integer3/addInteger3.uplc.budget.expected → ...ger-03/addInteger-03.uplc.budget.expected
diff --git a/...ger/addInteger3/addInteger3.uplc.expected → ...addInteger-03/addInteger-03.uplc.expected b/...ger/addInteger3/addInteger3.uplc.expected → ...addInteger-03/addInteger-03.uplc.expected
diff --git a/...s/addInteger/addInteger4/addInteger4.uplc → ...dInteger/addInteger-04/addInteger-04.uplc b/...s/addInteger/addInteger4/addInteger4.uplc → ...dInteger/addInteger-04/addInteger-04.uplc
diff --git a/...Integer4/addInteger4.uplc.budget.expected → ...ger-04/addInteger-04.uplc.budget.expected b/...Integer4/addInteger4.uplc.budget.expected → ...ger-04/addInteger-04.uplc.budget.expected
diff --git a/...ger/addInteger4/addInteger4.uplc.expected → ...addInteger-04/addInteger-04.uplc.expected b/...ger/addInteger4/addInteger4.uplc.expected → ...addInteger-04/addInteger-04.uplc.expected
diff --git a/...emantics/andByteString/case-1/case-1.uplc → ...antics/andByteString/case-01/case-01.uplc b/...emantics/andByteString/case-1/case-1.uplc → ...antics/andByteString/case-01/case-01.uplc
diff --git a/...String/case-1/case-1.uplc.budget.expected → ...ring/case-01/case-01.uplc.budget.expected b/...String/case-1/case-1.uplc.budget.expected → ...ring/case-01/case-01.uplc.budget.expected
diff --git a/...andByteString/case-1/case-1.uplc.expected → ...dByteString/case-01/case-01.uplc.expected b/...andByteString/case-1/case-1.uplc.expected → ...dByteString/case-01/case-01.uplc.expected
diff --git a/...emantics/andByteString/case-2/case-2.uplc → ...antics/andByteString/case-02/case-02.uplc b/...emantics/andByteString/case-2/case-2.uplc → ...antics/andByteString/case-02/case-02.uplc
diff --git a/...String/case-2/case-2.uplc.budget.expected → ...ring/case-02/case-02.uplc.budget.expected b/...String/case-2/case-2.uplc.budget.expected → ...ring/case-02/case-02.uplc.budget.expected
diff --git a/...andByteString/case-2/case-2.uplc.expected → ...dByteString/case-02/case-02.uplc.expected b/...andByteString/case-2/case-2.uplc.expected → ...dByteString/case-02/case-02.uplc.expected
diff --git a/...emantics/andByteString/case-3/case-3.uplc → ...antics/andByteString/case-03/case-03.uplc b/...emantics/andByteString/case-3/case-3.uplc → ...antics/andByteString/case-03/case-03.uplc
diff --git a/...String/case-3/case-3.uplc.budget.expected → ...ring/case-03/case-03.uplc.budget.expected b/...String/case-3/case-3.uplc.budget.expected → ...ring/case-03/case-03.uplc.budget.expected
diff --git a/...andByteString/case-3/case-3.uplc.expected → ...dByteString/case-03/case-03.uplc.expected b/...andByteString/case-3/case-3.uplc.expected → ...dByteString/case-03/case-03.uplc.expected
diff --git a/...emantics/andByteString/case-4/case-4.uplc → ...antics/andByteString/case-04/case-04.uplc b/...emantics/andByteString/case-4/case-4.uplc → ...antics/andByteString/case-04/case-04.uplc
diff --git a/...String/case-4/case-4.uplc.budget.expected → ...ring/case-04/case-04.uplc.budget.expected b/...String/case-4/case-4.uplc.budget.expected → ...ring/case-04/case-04.uplc.budget.expected
diff --git a/...andByteString/case-4/case-4.uplc.expected → ...dByteString/case-04/case-04.uplc.expected b/...andByteString/case-4/case-4.uplc.expected → ...dByteString/case-04/case-04.uplc.expected
diff --git a/...emantics/andByteString/case-5/case-5.uplc → ...antics/andByteString/case-05/case-05.uplc b/...emantics/andByteString/case-5/case-5.uplc → ...antics/andByteString/case-05/case-05.uplc
diff --git a/...String/case-5/case-5.uplc.budget.expected → ...ring/case-05/case-05.uplc.budget.expected b/...String/case-5/case-5.uplc.budget.expected → ...ring/case-05/case-05.uplc.budget.expected
diff --git a/...andByteString/case-5/case-5.uplc.expected → ...dByteString/case-05/case-05.uplc.expected b/...andByteString/case-5/case-5.uplc.expected → ...dByteString/case-05/case-05.uplc.expected
diff --git a/...emantics/andByteString/case-6/case-6.uplc → ...antics/andByteString/case-06/case-06.uplc b/...emantics/andByteString/case-6/case-6.uplc → ...antics/andByteString/case-06/case-06.uplc
diff --git a/...String/case-6/case-6.uplc.budget.expected → ...ring/case-06/case-06.uplc.budget.expected b/...String/case-6/case-6.uplc.budget.expected → ...ring/case-06/case-06.uplc.budget.expected
diff --git a/...andByteString/case-6/case-6.uplc.expected → ...dByteString/case-06/case-06.uplc.expected b/...andByteString/case-6/case-6.uplc.expected → ...dByteString/case-06/case-06.uplc.expected
diff --git a/...emantics/andByteString/case-7/case-7.uplc → ...antics/andByteString/case-07/case-07.uplc b/...emantics/andByteString/case-7/case-7.uplc → ...antics/andByteString/case-07/case-07.uplc
diff --git a/...String/case-7/case-7.uplc.budget.expected → ...ring/case-07/case-07.uplc.budget.expected b/...String/case-7/case-7.uplc.budget.expected → ...ring/case-07/case-07.uplc.budget.expected
diff --git a/...andByteString/case-7/case-7.uplc.expected → ...dByteString/case-07/case-07.uplc.expected b/...andByteString/case-7/case-7.uplc.expected → ...dByteString/case-07/case-07.uplc.expected
diff --git a/...emantics/andByteString/case-8/case-8.uplc → ...antics/andByteString/case-08/case-08.uplc b/...emantics/andByteString/case-8/case-8.uplc → ...antics/andByteString/case-08/case-08.uplc
diff --git a/...String/case-8/case-8.uplc.budget.expected → ...ring/case-08/case-08.uplc.budget.expected b/...String/case-8/case-8.uplc.budget.expected → ...ring/case-08/case-08.uplc.budget.expected
diff --git a/...andByteString/case-8/case-8.uplc.expected → ...dByteString/case-08/case-08.uplc.expected b/...andByteString/case-8/case-8.uplc.expected → ...dByteString/case-08/case-08.uplc.expected
diff --git a/...emantics/andByteString/case-9/case-9.uplc → ...antics/andByteString/case-09/case-09.uplc b/...emantics/andByteString/case-9/case-9.uplc → ...antics/andByteString/case-09/case-09.uplc
diff --git a/...String/case-9/case-9.uplc.budget.expected → ...ring/case-09/case-09.uplc.budget.expected b/...String/case-9/case-9.uplc.budget.expected → ...ring/case-09/case-09.uplc.budget.expected
diff --git a/...andByteString/case-9/case-9.uplc.expected → ...dByteString/case-09/case-09.uplc.expected b/...andByteString/case-9/case-9.uplc.expected → ...dByteString/case-09/case-09.uplc.expected
diff --git a/.../appendByteString1/appendByteString1.uplc → ...endByteString-01/appendByteString-01.uplc b/.../appendByteString1/appendByteString1.uplc → ...endByteString-01/appendByteString-01.uplc
diff --git a/...g1/appendByteString1.uplc.budget.expected → .../appendByteString-01.uplc.budget.expected b/...g1/appendByteString1.uplc.budget.expected → .../appendByteString-01.uplc.budget.expected
diff --git a/...teString1/appendByteString1.uplc.expected → ...ring-01/appendByteString-01.uplc.expected b/...teString1/appendByteString1.uplc.expected → ...ring-01/appendByteString-01.uplc.expected
diff --git a/.../appendByteString2/appendByteString2.uplc → ...endByteString-02/appendByteString-02.uplc b/.../appendByteString2/appendByteString2.uplc → ...endByteString-02/appendByteString-02.uplc
diff --git a/...g2/appendByteString2.uplc.budget.expected → .../appendByteString-02.uplc.budget.expected b/...g2/appendByteString2.uplc.budget.expected → .../appendByteString-02.uplc.budget.expected
diff --git a/...teString2/appendByteString2.uplc.expected → ...ring-02/appendByteString-02.uplc.expected b/...teString2/appendByteString2.uplc.expected → ...ring-02/appendByteString-02.uplc.expected
diff --git a/.../appendByteString3/appendByteString3.uplc → ...endByteString-03/appendByteString-03.uplc b/.../appendByteString3/appendByteString3.uplc → ...endByteString-03/appendByteString-03.uplc
diff --git a/...g3/appendByteString3.uplc.budget.expected → .../appendByteString-03.uplc.budget.expected b/...g3/appendByteString3.uplc.budget.expected → .../appendByteString-03.uplc.budget.expected
diff --git a/...teString3/appendByteString3.uplc.expected → ...ring-03/appendByteString-03.uplc.expected b/...teString3/appendByteString3.uplc.expected → ...ring-03/appendByteString-03.uplc.expected
diff --git a/...s/bls12_381_G1_scalarMul/mul44/mul44.uplc → ...bls12_381_G1_scalarMul/mul-44/mul-44.uplc b/...s/bls12_381_G1_scalarMul/mul44/mul44.uplc → ...bls12_381_G1_scalarMul/mul-44/mul-44.uplc
diff --git a/..._scalarMul/mul0/mul0.uplc.budget.expected → ...larMul/mul-44/mul-44.uplc.budget.expected b/..._scalarMul/mul0/mul0.uplc.budget.expected → ...larMul/mul-44/mul-44.uplc.budget.expected
diff --git a/...81_G1_scalarMul/mul44/mul44.uplc.expected → ..._G1_scalarMul/mul-44/mul-44.uplc.expected b/...81_G1_scalarMul/mul44/mul44.uplc.expected → ..._G1_scalarMul/mul-44/mul-44.uplc.expected
diff --git a/...s12_381_G1_scalarMul/mulneg1/mulneg1.uplc → ..._G1_scalarMul/mul-neg-one/mulneg-one.uplc b/...s12_381_G1_scalarMul/mulneg1/mulneg1.uplc → ..._G1_scalarMul/mul-neg-one/mulneg-one.uplc
diff --git a/..._scalarMul/mul1/mul1.uplc.budget.expected → ...l-neg-one/mulneg-one.uplc.budget.expected b/..._scalarMul/mul1/mul1.uplc.budget.expected → ...l-neg-one/mulneg-one.uplc.budget.expected
diff --git a/...1_scalarMul/mulneg1/mulneg1.uplc.expected → ...rMul/mul-neg-one/mulneg-one.uplc.expected b/...1_scalarMul/mulneg1/mulneg1.uplc.expected → ...rMul/mul-neg-one/mulneg-one.uplc.expected
diff --git a/...ics/bls12_381_G1_scalarMul/mul1/mul1.uplc → ...s12_381_G1_scalarMul/mul-one/mul-one.uplc b/...ics/bls12_381_G1_scalarMul/mul1/mul1.uplc → ...s12_381_G1_scalarMul/mul-one/mul-one.uplc
diff --git a/...calarMul/mul44/mul44.uplc.budget.expected → ...rMul/mul-one/mul-one.uplc.budget.expected b/...calarMul/mul44/mul44.uplc.budget.expected → ...rMul/mul-one/mul-one.uplc.budget.expected
diff --git a/..._381_G1_scalarMul/mul1/mul1.uplc.expected → ...1_scalarMul/mul-one/mul-one.uplc.expected b/..._381_G1_scalarMul/mul1/mul1.uplc.expected → ...1_scalarMul/mul-one/mul-one.uplc.expected
diff --git a/...ics/bls12_381_G1_scalarMul/mul0/mul0.uplc → ...2_381_G1_scalarMul/mul-zero/mul-zero.uplc b/...ics/bls12_381_G1_scalarMul/mul0/mul0.uplc → ...2_381_G1_scalarMul/mul-zero/mul-zero.uplc
diff --git a/...rMul/mulneg1/mulneg1.uplc.budget.expected → ...ul/mul-zero/mul-zero.uplc.budget.expected b/...rMul/mulneg1/mulneg1.uplc.budget.expected → ...ul/mul-zero/mul-zero.uplc.budget.expected
diff --git a/..._381_G1_scalarMul/mul0/mul0.uplc.expected → ...scalarMul/mul-zero/mul-zero.uplc.expected b/..._381_G1_scalarMul/mul0/mul0.uplc.expected → ...scalarMul/mul-zero/mul-zero.uplc.expected
diff --git a/...s12_381_G1_scalarMul/mul4x11/mul4x11.uplc → ...2_381_G1_scalarMul/mul4x-11/mul4x-11.uplc b/...s12_381_G1_scalarMul/mul4x11/mul4x11.uplc → ...2_381_G1_scalarMul/mul4x-11/mul4x-11.uplc
diff --git a/...rMul/mul4x11/mul4x11.uplc.budget.expected → ...ul/mul4x-11/mul4x-11.uplc.budget.expected b/...rMul/mul4x11/mul4x11.uplc.budget.expected → ...ul/mul4x-11/mul4x-11.uplc.budget.expected
diff --git a/...1_scalarMul/mul4x11/mul4x11.uplc.expected → ...scalarMul/mul4x-11/mul4x-11.uplc.expected b/...1_scalarMul/mul4x11/mul4x11.uplc.expected → ...scalarMul/mul4x-11/mul4x-11.uplc.expected
diff --git a/...2_381_G1_scalarMul/mulneg44/mulneg44.uplc → ...381_G1_scalarMul/mulneg-44/mulneg-44.uplc b/...2_381_G1_scalarMul/mulneg44/mulneg44.uplc → ...381_G1_scalarMul/mulneg-44/mulneg-44.uplc
diff --git a/...ul/mulneg44/mulneg44.uplc.budget.expected → .../mulneg-44/mulneg-44.uplc.budget.expected b/...ul/mulneg44/mulneg44.uplc.budget.expected → .../mulneg-44/mulneg-44.uplc.budget.expected
diff --git a/...scalarMul/mulneg44/mulneg44.uplc.expected → ...alarMul/mulneg-44/mulneg-44.uplc.expected b/...scalarMul/mulneg44/mulneg44.uplc.expected → ...alarMul/mulneg-44/mulneg-44.uplc.expected
diff --git a/..._scalarMul/mulperiodic1/mulperiodic1.uplc → ...larMul/mulperiodic-01/mulperiodic-01.uplc b/..._scalarMul/mulperiodic1/mulperiodic1.uplc → ...larMul/mulperiodic-01/mulperiodic-01.uplc
diff --git a/...riodic1/mulperiodic1.uplc.budget.expected → ...ic-01/mulperiodic-01.uplc.budget.expected b/...riodic1/mulperiodic1.uplc.budget.expected → ...ic-01/mulperiodic-01.uplc.budget.expected
diff --git a/...l/mulperiodic1/mulperiodic1.uplc.expected → ...lperiodic-01/mulperiodic-01.uplc.expected b/...l/mulperiodic1/mulperiodic1.uplc.expected → ...lperiodic-01/mulperiodic-01.uplc.expected
diff --git a/..._scalarMul/mulperiodic2/mulperiodic2.uplc → ...larMul/mulperiodic-02/mulperiodic-02.uplc b/..._scalarMul/mulperiodic2/mulperiodic2.uplc → ...larMul/mulperiodic-02/mulperiodic-02.uplc
diff --git a/...riodic2/mulperiodic2.uplc.budget.expected → ...ic-02/mulperiodic-02.uplc.budget.expected b/...riodic2/mulperiodic2.uplc.budget.expected → ...ic-02/mulperiodic-02.uplc.budget.expected
diff --git a/...l/mulperiodic2/mulperiodic2.uplc.expected → ...lperiodic-02/mulperiodic-02.uplc.expected b/...l/mulperiodic2/mulperiodic2.uplc.expected → ...lperiodic-02/mulperiodic-02.uplc.expected
diff --git a/..._scalarMul/mulperiodic3/mulperiodic3.uplc → ...larMul/mulperiodic-03/mulperiodic-03.uplc b/..._scalarMul/mulperiodic3/mulperiodic3.uplc → ...larMul/mulperiodic-03/mulperiodic-03.uplc
diff --git a/...riodic3/mulperiodic3.uplc.budget.expected → ...ic-03/mulperiodic-03.uplc.budget.expected b/...riodic3/mulperiodic3.uplc.budget.expected → ...ic-03/mulperiodic-03.uplc.budget.expected
diff --git a/...l/mulperiodic3/mulperiodic3.uplc.expected → ...lperiodic-03/mulperiodic-03.uplc.expected b/...l/mulperiodic3/mulperiodic3.uplc.expected → ...lperiodic-03/mulperiodic-03.uplc.expected
diff --git a/..._scalarMul/mulperiodic4/mulperiodic4.uplc → ...larMul/mulperiodic-04/mulperiodic-04.uplc b/..._scalarMul/mulperiodic4/mulperiodic4.uplc → ...larMul/mulperiodic-04/mulperiodic-04.uplc
diff --git a/...riodic4/mulperiodic4.uplc.budget.expected → ...ic-04/mulperiodic-04.uplc.budget.expected b/...riodic4/mulperiodic4.uplc.budget.expected → ...ic-04/mulperiodic-04.uplc.budget.expected
diff --git a/...l/mulperiodic4/mulperiodic4.uplc.expected → ...lperiodic-04/mulperiodic-04.uplc.expected b/...l/mulperiodic4/mulperiodic4.uplc.expected → ...lperiodic-04/mulperiodic-04.uplc.expected
diff --git a/..._G1_uncompress/bad-zero-1/bad-zero-1.uplc → ...1_uncompress/bad-zero-01/bad-zero-01.uplc b/..._G1_uncompress/bad-zero-1/bad-zero-1.uplc → ...1_uncompress/bad-zero-01/bad-zero-01.uplc
diff --git a/...ad-zero-1/bad-zero-1.uplc.budget.expected → ...-zero-01/bad-zero-01.uplc.budget.expected b/...ad-zero-1/bad-zero-1.uplc.budget.expected → ...-zero-01/bad-zero-01.uplc.budget.expected
diff --git a/...press/bad-zero-1/bad-zero-1.uplc.expected → ...ess/bad-zero-01/bad-zero-01.uplc.expected b/...press/bad-zero-1/bad-zero-1.uplc.expected → ...ess/bad-zero-01/bad-zero-01.uplc.expected
diff --git a/..._G1_uncompress/bad-zero-2/bad-zero-2.uplc → ...1_uncompress/bad-zero-02/bad-zero-02.uplc b/..._G1_uncompress/bad-zero-2/bad-zero-2.uplc → ...1_uncompress/bad-zero-02/bad-zero-02.uplc
diff --git a/...ad-zero-2/bad-zero-2.uplc.budget.expected → ...-zero-02/bad-zero-02.uplc.budget.expected b/...ad-zero-2/bad-zero-2.uplc.budget.expected → ...-zero-02/bad-zero-02.uplc.budget.expected
diff --git a/...press/bad-zero-2/bad-zero-2.uplc.expected → ...ess/bad-zero-02/bad-zero-02.uplc.expected b/...press/bad-zero-2/bad-zero-2.uplc.expected → ...ess/bad-zero-02/bad-zero-02.uplc.expected
diff --git a/..._G1_uncompress/bad-zero-3/bad-zero-3.uplc → ...1_uncompress/bad-zero-03/bad-zero-03.uplc b/..._G1_uncompress/bad-zero-3/bad-zero-3.uplc → ...1_uncompress/bad-zero-03/bad-zero-03.uplc
diff --git a/...ad-zero-3/bad-zero-3.uplc.budget.expected → ...-zero-03/bad-zero-03.uplc.budget.expected b/...ad-zero-3/bad-zero-3.uplc.budget.expected → ...-zero-03/bad-zero-03.uplc.budget.expected
diff --git a/...press/bad-zero-3/bad-zero-3.uplc.expected → ...ess/bad-zero-03/bad-zero-03.uplc.expected b/...press/bad-zero-3/bad-zero-3.uplc.expected → ...ess/bad-zero-03/bad-zero-03.uplc.expected
diff --git a/...s/bls12_381_G2_scalarMul/mul44/mul44.uplc → ...bls12_381_G2_scalarMul/mul-44/mul-44.uplc b/...s/bls12_381_G2_scalarMul/mul44/mul44.uplc → ...bls12_381_G2_scalarMul/mul-44/mul-44.uplc
diff --git a/..._scalarMul/mul0/mul0.uplc.budget.expected → ...larMul/mul-44/mul-44.uplc.budget.expected b/..._scalarMul/mul0/mul0.uplc.budget.expected → ...larMul/mul-44/mul-44.uplc.budget.expected
diff --git a/...81_G2_scalarMul/mul44/mul44.uplc.expected → ..._G2_scalarMul/mul-44/mul-44.uplc.expected b/...81_G2_scalarMul/mul44/mul44.uplc.expected → ..._G2_scalarMul/mul-44/mul-44.uplc.expected
diff --git a/...s12_381_G2_scalarMul/mulneg1/mulneg1.uplc → ...G2_scalarMul/mul-neg-one/mul-neg-one.uplc b/...s12_381_G2_scalarMul/mulneg1/mulneg1.uplc → ...G2_scalarMul/mul-neg-one/mul-neg-one.uplc
diff --git a/..._scalarMul/mul1/mul1.uplc.budget.expected → ...-neg-one/mul-neg-one.uplc.budget.expected b/..._scalarMul/mul1/mul1.uplc.budget.expected → ...-neg-one/mul-neg-one.uplc.budget.expected
diff --git a/...2_scalarMul/mulneg1/mulneg1.uplc.expected → ...Mul/mul-neg-one/mul-neg-one.uplc.expected b/...2_scalarMul/mulneg1/mulneg1.uplc.expected → ...Mul/mul-neg-one/mul-neg-one.uplc.expected
diff --git a/...ics/bls12_381_G2_scalarMul/mul1/mul1.uplc → ...s12_381_G2_scalarMul/mul-one/mul-one.uplc b/...ics/bls12_381_G2_scalarMul/mul1/mul1.uplc → ...s12_381_G2_scalarMul/mul-one/mul-one.uplc
diff --git a/...calarMul/mul44/mul44.uplc.budget.expected → ...rMul/mul-one/mul-one.uplc.budget.expected b/...calarMul/mul44/mul44.uplc.budget.expected → ...rMul/mul-one/mul-one.uplc.budget.expected
diff --git a/..._381_G2_scalarMul/mul1/mul1.uplc.expected → ...2_scalarMul/mul-one/mul-one.uplc.expected b/..._381_G2_scalarMul/mul1/mul1.uplc.expected → ...2_scalarMul/mul-one/mul-one.uplc.expected
diff --git a/...ics/bls12_381_G2_scalarMul/mul0/mul0.uplc → ...2_381_G2_scalarMul/mul-zero/mul-zero.uplc b/...ics/bls12_381_G2_scalarMul/mul0/mul0.uplc → ...2_381_G2_scalarMul/mul-zero/mul-zero.uplc
diff --git a/...rMul/mulneg1/mulneg1.uplc.budget.expected → ...ul/mul-zero/mul-zero.uplc.budget.expected b/...rMul/mulneg1/mulneg1.uplc.budget.expected → ...ul/mul-zero/mul-zero.uplc.budget.expected
diff --git a/..._381_G2_scalarMul/mul0/mul0.uplc.expected → ...scalarMul/mul-zero/mul-zero.uplc.expected b/..._381_G2_scalarMul/mul0/mul0.uplc.expected → ...scalarMul/mul-zero/mul-zero.uplc.expected
diff --git a/...s12_381_G2_scalarMul/mul4x11/mul4x11.uplc → ...2_381_G2_scalarMul/mul4x-11/mul4x-11.uplc b/...s12_381_G2_scalarMul/mul4x11/mul4x11.uplc → ...2_381_G2_scalarMul/mul4x-11/mul4x-11.uplc
diff --git a/...rMul/mul4x11/mul4x11.uplc.budget.expected → ...ul/mul4x-11/mul4x-11.uplc.budget.expected b/...rMul/mul4x11/mul4x11.uplc.budget.expected → ...ul/mul4x-11/mul4x-11.uplc.budget.expected
diff --git a/...2_scalarMul/mul4x11/mul4x11.uplc.expected → ...scalarMul/mul4x-11/mul4x-11.uplc.expected b/...2_scalarMul/mul4x11/mul4x11.uplc.expected → ...scalarMul/mul4x-11/mul4x-11.uplc.expected
diff --git a/...2_381_G2_scalarMul/mulneg44/mulneg44.uplc → ...381_G2_scalarMul/mulneg-44/mulneg-44.uplc b/...2_381_G2_scalarMul/mulneg44/mulneg44.uplc → ...381_G2_scalarMul/mulneg-44/mulneg-44.uplc
diff --git a/...ul/mulneg44/mulneg44.uplc.budget.expected → .../mulneg-44/mulneg-44.uplc.budget.expected b/...ul/mulneg44/mulneg44.uplc.budget.expected → .../mulneg-44/mulneg-44.uplc.budget.expected
diff --git a/...scalarMul/mulneg44/mulneg44.uplc.expected → ...alarMul/mulneg-44/mulneg-44.uplc.expected b/...scalarMul/mulneg44/mulneg44.uplc.expected → ...alarMul/mulneg-44/mulneg-44.uplc.expected
diff --git a/..._scalarMul/mulperiodic1/mulperiodic1.uplc → ...larMul/mulperiodic-01/mulperiodic-01.uplc b/..._scalarMul/mulperiodic1/mulperiodic1.uplc → ...larMul/mulperiodic-01/mulperiodic-01.uplc
diff --git a/...riodic1/mulperiodic1.uplc.budget.expected → ...ic-01/mulperiodic-01.uplc.budget.expected b/...riodic1/mulperiodic1.uplc.budget.expected → ...ic-01/mulperiodic-01.uplc.budget.expected
diff --git a/...l/mulperiodic1/mulperiodic1.uplc.expected → ...lperiodic-01/mulperiodic-01.uplc.expected b/...l/mulperiodic1/mulperiodic1.uplc.expected → ...lperiodic-01/mulperiodic-01.uplc.expected
diff --git a/..._scalarMul/mulperiodic2/mulperiodic2.uplc → ...larMul/mulperiodic-02/mulperiodic-02.uplc b/..._scalarMul/mulperiodic2/mulperiodic2.uplc → ...larMul/mulperiodic-02/mulperiodic-02.uplc
diff --git a/...riodic2/mulperiodic2.uplc.budget.expected → ...ic-02/mulperiodic-02.uplc.budget.expected b/...riodic2/mulperiodic2.uplc.budget.expected → ...ic-02/mulperiodic-02.uplc.budget.expected
diff --git a/...l/mulperiodic2/mulperiodic2.uplc.expected → ...lperiodic-02/mulperiodic-02.uplc.expected b/...l/mulperiodic2/mulperiodic2.uplc.expected → ...lperiodic-02/mulperiodic-02.uplc.expected
diff --git a/..._scalarMul/mulperiodic3/mulperiodic3.uplc → ...larMul/mulperiodic-03/mulperiodic-03.uplc b/..._scalarMul/mulperiodic3/mulperiodic3.uplc → ...larMul/mulperiodic-03/mulperiodic-03.uplc
diff --git a/...riodic3/mulperiodic3.uplc.budget.expected → ...ic-03/mulperiodic-03.uplc.budget.expected b/...riodic3/mulperiodic3.uplc.budget.expected → ...ic-03/mulperiodic-03.uplc.budget.expected
diff --git a/...l/mulperiodic3/mulperiodic3.uplc.expected → ...lperiodic-03/mulperiodic-03.uplc.expected b/...l/mulperiodic3/mulperiodic3.uplc.expected → ...lperiodic-03/mulperiodic-03.uplc.expected
diff --git a/..._scalarMul/mulperiodic4/mulperiodic4.uplc → ...larMul/mulperiodic-04/mulperiodic-04.uplc b/..._scalarMul/mulperiodic4/mulperiodic4.uplc → ...larMul/mulperiodic-04/mulperiodic-04.uplc
diff --git a/...riodic4/mulperiodic4.uplc.budget.expected → ...ic-04/mulperiodic-04.uplc.budget.expected b/...riodic4/mulperiodic4.uplc.budget.expected → ...ic-04/mulperiodic-04.uplc.budget.expected
diff --git a/...l/mulperiodic4/mulperiodic4.uplc.expected → ...lperiodic-04/mulperiodic-04.uplc.expected b/...l/mulperiodic4/mulperiodic4.uplc.expected → ...lperiodic-04/mulperiodic-04.uplc.expected
diff --git a/..._G2_uncompress/bad-zero-1/bad-zero-1.uplc → ...2_uncompress/bad-zero-01/bad-zero-01.uplc b/..._G2_uncompress/bad-zero-1/bad-zero-1.uplc → ...2_uncompress/bad-zero-01/bad-zero-01.uplc
diff --git a/...ad-zero-1/bad-zero-1.uplc.budget.expected → ...-zero-01/bad-zero-01.uplc.budget.expected b/...ad-zero-1/bad-zero-1.uplc.budget.expected → ...-zero-01/bad-zero-01.uplc.budget.expected
diff --git a/...press/bad-zero-1/bad-zero-1.uplc.expected → ...ess/bad-zero-01/bad-zero-01.uplc.expected b/...press/bad-zero-1/bad-zero-1.uplc.expected → ...ess/bad-zero-01/bad-zero-01.uplc.expected
diff --git a/..._G2_uncompress/bad-zero-2/bad-zero-2.uplc → ...2_uncompress/bad-zero-02/bad-zero-02.uplc b/..._G2_uncompress/bad-zero-2/bad-zero-2.uplc → ...2_uncompress/bad-zero-02/bad-zero-02.uplc
diff --git a/...ad-zero-2/bad-zero-2.uplc.budget.expected → ...-zero-02/bad-zero-02.uplc.budget.expected b/...ad-zero-2/bad-zero-2.uplc.budget.expected → ...-zero-02/bad-zero-02.uplc.budget.expected
diff --git a/...press/bad-zero-2/bad-zero-2.uplc.expected → ...ess/bad-zero-02/bad-zero-02.uplc.expected b/...press/bad-zero-2/bad-zero-2.uplc.expected → ...ess/bad-zero-02/bad-zero-02.uplc.expected
diff --git a/..._G2_uncompress/bad-zero-3/bad-zero-3.uplc → ...2_uncompress/bad-zero-03/bad-zero-03.uplc b/..._G2_uncompress/bad-zero-3/bad-zero-3.uplc → ...2_uncompress/bad-zero-03/bad-zero-03.uplc
diff --git a/...ad-zero-3/bad-zero-3.uplc.budget.expected → ...-zero-03/bad-zero-03.uplc.budget.expected b/...ad-zero-3/bad-zero-3.uplc.budget.expected → ...-zero-03/bad-zero-03.uplc.budget.expected
diff --git a/...press/bad-zero-3/bad-zero-3.uplc.expected → ...ess/bad-zero-03/bad-zero-03.uplc.expected b/...press/bad-zero-3/bad-zero-3.uplc.expected → ...ess/bad-zero-03/bad-zero-03.uplc.expected
diff --git a/...s/chooseList/chooseList1/chooseList1.uplc → ...ooseList/chooseList-01/chooseList-01.uplc b/...s/chooseList/chooseList1/chooseList1.uplc → ...ooseList/chooseList-01/chooseList-01.uplc
diff --git a/...oseList1/chooseList1.uplc.budget.expected → ...ist-01/chooseList-01.uplc.budget.expected b/...oseList1/chooseList1.uplc.budget.expected → ...ist-01/chooseList-01.uplc.budget.expected
diff --git a/...ist/chooseList1/chooseList1.uplc.expected → ...chooseList-01/chooseList-01.uplc.expected b/...ist/chooseList1/chooseList1.uplc.expected → ...chooseList-01/chooseList-01.uplc.expected
diff --git a/...s/chooseList/chooseList2/chooseList2.uplc → ...ooseList/chooseList-02/chooseList-02.uplc b/...s/chooseList/chooseList2/chooseList2.uplc → ...ooseList/chooseList-02/chooseList-02.uplc
diff --git a/...oseList2/chooseList2.uplc.budget.expected → ...ist-02/chooseList-02.uplc.budget.expected b/...oseList2/chooseList2.uplc.budget.expected → ...ist-02/chooseList-02.uplc.budget.expected
diff --git a/...ist/chooseList2/chooseList2.uplc.expected → ...chooseList-02/chooseList-02.uplc.expected b/...ist/chooseList2/chooseList2.uplc.expected → ...chooseList-02/chooseList-02.uplc.expected
diff --git a/...s/chooseList/chooseList3/chooseList3.uplc → ...ooseList/chooseList-03/chooseList-03.uplc b/...s/chooseList/chooseList3/chooseList3.uplc → ...ooseList/chooseList-03/chooseList-03.uplc
diff --git a/...oseList3/chooseList3.uplc.budget.expected → ...ist-03/chooseList-03.uplc.budget.expected b/...oseList3/chooseList3.uplc.budget.expected → ...ist-03/chooseList-03.uplc.budget.expected
diff --git a/...ist/chooseList3/chooseList3.uplc.expected → ...chooseList-03/chooseList-03.uplc.expected b/...ist/chooseList3/chooseList3.uplc.expected → ...chooseList-03/chooseList-03.uplc.expected
diff --git a/...s/chooseList/chooseList4/chooseList4.uplc → ...ooseList/chooseList-04/chooseList-04.uplc b/...s/chooseList/chooseList4/chooseList4.uplc → ...ooseList/chooseList-04/chooseList-04.uplc
diff --git a/...oseList4/chooseList4.uplc.budget.expected → ...ist-04/chooseList-04.uplc.budget.expected b/...oseList4/chooseList4.uplc.budget.expected → ...ist-04/chooseList-04.uplc.budget.expected
diff --git a/...ist/chooseList4/chooseList4.uplc.expected → ...chooseList-04/chooseList-04.uplc.expected b/...ist/chooseList4/chooseList4.uplc.expected → ...chooseList-04/chooseList-04.uplc.expected
diff --git a/...ltin/semantics/chooseUnit/chooseUnit.uplc → ...ooseUnit/chooseUnit-01/chooseUnit-01.uplc b/...ltin/semantics/chooseUnit/chooseUnit.uplc → ...ooseUnit/chooseUnit-01/chooseUnit-01.uplc
diff --git a/...hooseUnit/chooseUnit.uplc.budget.expected → ...nit-01/chooseUnit-01.uplc.budget.expected b/...hooseUnit/chooseUnit.uplc.budget.expected → ...nit-01/chooseUnit-01.uplc.budget.expected
diff --git a/...ntics/chooseUnit/chooseUnit.uplc.expected → ...chooseUnit-01/chooseUnit-01.uplc.expected b/...ntics/chooseUnit/chooseUnit.uplc.expected → ...chooseUnit-01/chooseUnit-01.uplc.expected
diff --git a/...in/semantics/chooseUnit2/chooseUnit2.uplc → ...ooseUnit/chooseUnit-02/chooseUnit-02.uplc b/...in/semantics/chooseUnit2/chooseUnit2.uplc → ...ooseUnit/chooseUnit-02/chooseUnit-02.uplc
diff --git a/...oseUnit2/chooseUnit2.uplc.budget.expected → ...nit-02/chooseUnit-02.uplc.budget.expected b/...oseUnit2/chooseUnit2.uplc.budget.expected → ...nit-02/chooseUnit-02.uplc.budget.expected
diff --git a/...ics/chooseUnit2/chooseUnit2.uplc.expected → ...chooseUnit-02/chooseUnit-02.uplc.expected b/...ics/chooseUnit2/chooseUnit2.uplc.expected → ...chooseUnit-02/chooseUnit-02.uplc.expected
diff --git a/...s/complementByteString/case-1/case-1.uplc → ...complementByteString/case-01/case-01.uplc b/...s/complementByteString/case-1/case-1.uplc → ...complementByteString/case-01/case-01.uplc
diff --git a/...String/case-1/case-1.uplc.budget.expected → ...ring/case-01/case-01.uplc.budget.expected b/...String/case-1/case-1.uplc.budget.expected → ...ring/case-01/case-01.uplc.budget.expected
diff --git a/...entByteString/case-1/case-1.uplc.expected → ...tByteString/case-01/case-01.uplc.expected b/...entByteString/case-1/case-1.uplc.expected → ...tByteString/case-01/case-01.uplc.expected
diff --git a/...s/complementByteString/case-2/case-2.uplc → ...complementByteString/case-02/case-02.uplc b/...s/complementByteString/case-2/case-2.uplc → ...complementByteString/case-02/case-02.uplc
diff --git a/...String/case-2/case-2.uplc.budget.expected → ...ring/case-02/case-02.uplc.budget.expected b/...String/case-2/case-2.uplc.budget.expected → ...ring/case-02/case-02.uplc.budget.expected
diff --git a/...entByteString/case-2/case-2.uplc.expected → ...tByteString/case-02/case-02.uplc.expected b/...entByteString/case-2/case-2.uplc.expected → ...tByteString/case-02/case-02.uplc.expected
diff --git a/...s/complementByteString/case-3/case-3.uplc → ...complementByteString/case-03/case-03.uplc b/...s/complementByteString/case-3/case-3.uplc → ...complementByteString/case-03/case-03.uplc
diff --git a/...String/case-3/case-3.uplc.budget.expected → ...ring/case-03/case-03.uplc.budget.expected b/...String/case-3/case-3.uplc.budget.expected → ...ring/case-03/case-03.uplc.budget.expected
diff --git a/...entByteString/case-3/case-3.uplc.expected → ...tByteString/case-03/case-03.uplc.expected b/...entByteString/case-3/case-3.uplc.expected → ...tByteString/case-03/case-03.uplc.expected
diff --git a/...s/complementByteString/case-4/case-4.uplc → ...complementByteString/case-04/case-04.uplc b/...s/complementByteString/case-4/case-4.uplc → ...complementByteString/case-04/case-04.uplc
diff --git a/...String/case-4/case-4.uplc.budget.expected → ...ring/case-04/case-04.uplc.budget.expected b/...String/case-4/case-4.uplc.budget.expected → ...ring/case-04/case-04.uplc.budget.expected
diff --git a/...entByteString/case-4/case-4.uplc.expected → ...tByteString/case-04/case-04.uplc.expected b/...entByteString/case-4/case-4.uplc.expected → ...tByteString/case-04/case-04.uplc.expected
diff --git a/...s/complementByteString/case-5/case-5.uplc → ...complementByteString/case-05/case-05.uplc b/...s/complementByteString/case-5/case-5.uplc → ...complementByteString/case-05/case-05.uplc
diff --git a/...String/case-5/case-5.uplc.budget.expected → ...ring/case-05/case-05.uplc.budget.expected b/...String/case-5/case-5.uplc.budget.expected → ...ring/case-05/case-05.uplc.budget.expected
diff --git a/...entByteString/case-5/case-5.uplc.expected → ...tByteString/case-05/case-05.uplc.expected b/...entByteString/case-5/case-5.uplc.expected → ...tByteString/case-05/case-05.uplc.expected
diff --git a/...ring/consByteString1/consByteString1.uplc → .../consByteString-01/consByteString-01.uplc b/...ring/consByteString1/consByteString1.uplc → .../consByteString-01/consByteString-01.uplc
diff --git a/...ing1/consByteString1.uplc.budget.expected → ...01/consByteString-01.uplc.budget.expected b/...ing1/consByteString1.uplc.budget.expected → ...01/consByteString-01.uplc.budget.expected
diff --git a/...ByteString1/consByteString1.uplc.expected → ...String-01/consByteString-01.uplc.expected b/...ByteString1/consByteString1.uplc.expected → ...String-01/consByteString-01.uplc.expected
diff --git a/...ring/consByteString2/consByteString2.uplc → .../consByteString-02/consByteString-02.uplc b/...ring/consByteString2/consByteString2.uplc → .../consByteString-02/consByteString-02.uplc
diff --git a/...ing2/consByteString2.uplc.budget.expected → ...02/consByteString-02.uplc.budget.expected b/...ing2/consByteString2.uplc.budget.expected → ...02/consByteString-02.uplc.budget.expected
diff --git a/...ByteString2/consByteString2.uplc.expected → ...String-02/consByteString-02.uplc.expected b/...ByteString2/consByteString2.uplc.expected → ...String-02/consByteString-02.uplc.expected
diff --git a/...ring/consByteString3/consByteString3.uplc → .../consByteString-03/consByteString-03.uplc b/...ring/consByteString3/consByteString3.uplc → .../consByteString-03/consByteString-03.uplc
diff --git a/...ing3/consByteString3.uplc.budget.expected → ...03/consByteString-03.uplc.budget.expected b/...ing3/consByteString3.uplc.budget.expected → ...03/consByteString-03.uplc.budget.expected
diff --git a/...ByteString3/consByteString3.uplc.expected → ...String-03/consByteString-03.uplc.expected b/...ByteString3/consByteString3.uplc.expected → ...String-03/consByteString-03.uplc.expected
diff --git a/...semantics/countSetBits/case-1/case-1.uplc → ...mantics/countSetBits/case-01/case-01.uplc b/...semantics/countSetBits/case-1/case-1.uplc → ...mantics/countSetBits/case-01/case-01.uplc
diff --git a/...etBits/case-1/case-1.uplc.budget.expected → ...Bits/case-01/case-01.uplc.budget.expected b/...etBits/case-1/case-1.uplc.budget.expected → ...Bits/case-01/case-01.uplc.budget.expected
diff --git a/.../countSetBits/case-1/case-1.uplc.expected → ...ountSetBits/case-01/case-01.uplc.expected b/.../countSetBits/case-1/case-1.uplc.expected → ...ountSetBits/case-01/case-01.uplc.expected
diff --git a/...semantics/countSetBits/case-2/case-2.uplc → ...mantics/countSetBits/case-02/case-02.uplc b/...semantics/countSetBits/case-2/case-2.uplc → ...mantics/countSetBits/case-02/case-02.uplc
diff --git a/...etBits/case-2/case-2.uplc.budget.expected → ...Bits/case-02/case-02.uplc.budget.expected b/...etBits/case-2/case-2.uplc.budget.expected → ...Bits/case-02/case-02.uplc.budget.expected
diff --git a/.../countSetBits/case-2/case-2.uplc.expected → ...ountSetBits/case-02/case-02.uplc.expected b/.../countSetBits/case-2/case-2.uplc.expected → ...ountSetBits/case-02/case-02.uplc.expected
diff --git a/...semantics/countSetBits/case-3/case-3.uplc → ...mantics/countSetBits/case-03/case-03.uplc b/...semantics/countSetBits/case-3/case-3.uplc → ...mantics/countSetBits/case-03/case-03.uplc
diff --git a/...etBits/case-3/case-3.uplc.budget.expected → ...Bits/case-03/case-03.uplc.budget.expected b/...etBits/case-3/case-3.uplc.budget.expected → ...Bits/case-03/case-03.uplc.budget.expected
diff --git a/.../countSetBits/case-3/case-3.uplc.expected → ...ountSetBits/case-03/case-03.uplc.expected b/.../countSetBits/case-3/case-3.uplc.expected → ...ountSetBits/case-03/case-03.uplc.expected
diff --git a/...semantics/countSetBits/case-4/case-4.uplc → ...mantics/countSetBits/case-04/case-04.uplc b/...semantics/countSetBits/case-4/case-4.uplc → ...mantics/countSetBits/case-04/case-04.uplc
diff --git a/...etBits/case-4/case-4.uplc.budget.expected → ...Bits/case-04/case-04.uplc.budget.expected b/...etBits/case-4/case-4.uplc.budget.expected → ...Bits/case-04/case-04.uplc.budget.expected
diff --git a/.../countSetBits/case-4/case-4.uplc.expected → ...ountSetBits/case-04/case-04.uplc.expected b/.../countSetBits/case-4/case-4.uplc.expected → ...ountSetBits/case-04/case-04.uplc.expected
diff --git a/...semantics/countSetBits/case-5/case-5.uplc → ...mantics/countSetBits/case-05/case-05.uplc b/...semantics/countSetBits/case-5/case-5.uplc → ...mantics/countSetBits/case-05/case-05.uplc
diff --git a/...etBits/case-5/case-5.uplc.budget.expected → ...Bits/case-05/case-05.uplc.budget.expected b/...etBits/case-5/case-5.uplc.budget.expected → ...Bits/case-05/case-05.uplc.budget.expected
diff --git a/.../countSetBits/case-5/case-5.uplc.expected → ...ountSetBits/case-05/case-05.uplc.expected b/.../countSetBits/case-5/case-5.uplc.expected → ...ountSetBits/case-05/case-05.uplc.expected
diff --git a/...semantics/countSetBits/case-6/case-6.uplc → ...mantics/countSetBits/case-06/case-06.uplc b/...semantics/countSetBits/case-6/case-6.uplc → ...mantics/countSetBits/case-06/case-06.uplc
diff --git a/...etBits/case-6/case-6.uplc.budget.expected → ...Bits/case-06/case-06.uplc.budget.expected b/...etBits/case-6/case-6.uplc.budget.expected → ...Bits/case-06/case-06.uplc.budget.expected
diff --git a/.../countSetBits/case-6/case-6.uplc.expected → ...ountSetBits/case-06/case-06.uplc.expected b/.../countSetBits/case-6/case-6.uplc.expected → ...ountSetBits/case-06/case-06.uplc.expected
diff --git a/...semantics/countSetBits/case-7/case-7.uplc → ...mantics/countSetBits/case-07/case-07.uplc b/...semantics/countSetBits/case-7/case-7.uplc → ...mantics/countSetBits/case-07/case-07.uplc
diff --git a/...etBits/case-7/case-7.uplc.budget.expected → ...Bits/case-07/case-07.uplc.budget.expected b/...etBits/case-7/case-7.uplc.budget.expected → ...Bits/case-07/case-07.uplc.budget.expected
diff --git a/.../countSetBits/case-7/case-7.uplc.expected → ...ountSetBits/case-07/case-07.uplc.expected b/.../countSetBits/case-7/case-7.uplc.expected → ...ountSetBits/case-07/case-07.uplc.expected
diff --git a/...semantics/countSetBits/case-8/case-8.uplc → ...mantics/countSetBits/case-08/case-08.uplc b/...semantics/countSetBits/case-8/case-8.uplc → ...mantics/countSetBits/case-08/case-08.uplc
diff --git a/...etBits/case-8/case-8.uplc.budget.expected → ...Bits/case-08/case-08.uplc.budget.expected b/...etBits/case-8/case-8.uplc.budget.expected → ...Bits/case-08/case-08.uplc.budget.expected
diff --git a/.../countSetBits/case-8/case-8.uplc.expected → ...ountSetBits/case-08/case-08.uplc.expected b/.../countSetBits/case-8/case-8.uplc.expected → ...ountSetBits/case-08/case-08.uplc.expected
diff --git a/...nteger/divideInteger1/divideInteger1.uplc → ...er/divideInteger-01/divideInteger-01.uplc b/...nteger/divideInteger1/divideInteger1.uplc → ...er/divideInteger-01/divideInteger-01.uplc
diff --git a/...eger1/divideInteger1.uplc.budget.expected → ...-01/divideInteger-01.uplc.budget.expected b/...eger1/divideInteger1.uplc.budget.expected → ...-01/divideInteger-01.uplc.budget.expected
diff --git a/...videInteger1/divideInteger1.uplc.expected → ...Integer-01/divideInteger-01.uplc.expected b/...videInteger1/divideInteger1.uplc.expected → ...Integer-01/divideInteger-01.uplc.expected
diff --git a/.../equalsByteString1/equalsByteString1.uplc → ...alsByteString-01/equalsByteString-01.uplc b/.../equalsByteString1/equalsByteString1.uplc → ...alsByteString-01/equalsByteString-01.uplc
diff --git a/...g1/equalsByteString1.uplc.budget.expected → .../equalsByteString-01.uplc.budget.expected b/...g1/equalsByteString1.uplc.budget.expected → .../equalsByteString-01.uplc.budget.expected
diff --git a/...teString1/equalsByteString1.uplc.expected → ...ring-01/equalsByteString-01.uplc.expected b/...teString1/equalsByteString1.uplc.expected → ...ring-01/equalsByteString-01.uplc.expected
diff --git a/.../equalsByteString2/equalsByteString2.uplc → ...alsByteString-02/equalsByteString-02.uplc b/.../equalsByteString2/equalsByteString2.uplc → ...alsByteString-02/equalsByteString-02.uplc
diff --git a/...g2/equalsByteString2.uplc.budget.expected → .../equalsByteString-02.uplc.budget.expected b/...g2/equalsByteString2.uplc.budget.expected → .../equalsByteString-02.uplc.budget.expected