Add some Hachi tests and reorganise

IntersectMBO · Nov 22, 2022 · 0f3a273 · 0f3a273
1 parent 129d9e7
commit 0f3a273
Show file tree

Hide file tree

Showing 127 changed files with 33 additions and 160 deletions.
diff --git a/plutus-conformance/README.md b/plutus-conformance/README.md
@@ -118,3 +118,4 @@ If we add the tests you share, we will acknowledge your contribution and post a
 We are grateful to these external partners for their contributions:
 
 - Runtime Verification Inc. ([runtimeverification/plutus-core-semantics](https://github.com/runtimeverification/plutus-core-semantics/tree/master/tests))
+- Hachi Security ([HachiSecurity/plc-llvm/tree/main/compiler/test-data/untyped](https://github.com/HachiSecurity/plc-llvm/tree/main/compiler/test-data/untyped))
diff --git a/...ormance/test-cases/uplc/evaluation/builtin/addInteger-uncurried/addInteger-uncurried.uplc b/...ormance/test-cases/uplc/evaluation/builtin/addInteger-uncurried/addInteger-uncurried.uplc
diff --git a/...est-cases/uplc/evaluation/builtin/addInteger-uncurried/addInteger-uncurried.uplc.expected b/...est-cases/uplc/evaluation/builtin/addInteger-uncurried/addInteger-uncurried.uplc.expected
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/addInteger/addInteger.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/addInteger/addInteger.uplc
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/addInteger/addInteger.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/addInteger/addInteger.uplc.expected
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/appendByteString/appendByteString.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/appendByteString/appendByteString.uplc
diff --git a/...rmance/test-cases/uplc/evaluation/builtin/appendByteString/appendByteString.uplc.expected b/...rmance/test-cases/uplc/evaluation/builtin/appendByteString/appendByteString.uplc.expected
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/blake2b/blake2b.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/blake2b/blake2b.uplc
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/blake2b/blake2b.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/blake2b/blake2b.uplc.expected
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/chooseList/chooseList.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/chooseList/chooseList.uplc
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/chooseList/chooseList.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/chooseList/chooseList.uplc.expected
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/chooseList2/chooseList2.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/chooseList2/chooseList2.uplc
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/chooseList2/chooseList2.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/chooseList2/chooseList2.uplc.expected
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/consByteString/consByteString.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/consByteString/consByteString.uplc
diff --git a/...onformance/test-cases/uplc/evaluation/builtin/consByteString/consByteString.uplc.expected b/...onformance/test-cases/uplc/evaluation/builtin/consByteString/consByteString.uplc.expected
diff --git a/...-conformance/test-cases/uplc/evaluation/builtin/constant/conByteString/conByteString.uplc b/...-conformance/test-cases/uplc/evaluation/builtin/constant/conByteString/conByteString.uplc
diff --git a/...nce/test-cases/uplc/evaluation/builtin/constant/conByteString/conByteString.uplc.expected b/...nce/test-cases/uplc/evaluation/builtin/constant/conByteString/conByteString.uplc.expected
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/conFalse/conFalse.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/conFalse/conFalse.uplc
diff --git a/...s-conformance/test-cases/uplc/evaluation/builtin/constant/conFalse/conFalse.uplc.expected b/...s-conformance/test-cases/uplc/evaluation/builtin/constant/conFalse/conFalse.uplc.expected
diff --git a/...iltin/constant/simplePair/simplePair.uplc → ...nstant/conPair/simplePair/simplePair.uplc b/...iltin/constant/simplePair/simplePair.uplc → ...nstant/conPair/simplePair/simplePair.uplc
diff --git a/...stant/simplePair/simplePair.uplc.expected → ...nPair/simplePair/simplePair.uplc.expected b/...stant/simplePair/simplePair.uplc.expected → ...nPair/simplePair/simplePair.uplc.expected
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/conTrue/conTrue.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/conTrue/conTrue.uplc
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/conTrue/conTrue.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/conTrue/conTrue.uplc.expected
diff --git a/...onformance/test-cases/uplc/evaluation/builtin/constant/consByteString/consByteString.uplc b/...onformance/test-cases/uplc/evaluation/builtin/constant/consByteString/consByteString.uplc
diff --git a/...e/test-cases/uplc/evaluation/builtin/constant/consByteString/consByteString.uplc.expected b/...e/test-cases/uplc/evaluation/builtin/constant/consByteString/consByteString.uplc.expected
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/emptyList/emptyList.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/emptyList/emptyList.uplc
diff --git a/...conformance/test-cases/uplc/evaluation/builtin/constant/emptyList/emptyList.uplc.expected b/...conformance/test-cases/uplc/evaluation/builtin/constant/emptyList/emptyList.uplc.expected
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/false/false.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/false/false.uplc
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/false/false.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/false/false.uplc.expected
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/simpleList/simpleList.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/simpleList/simpleList.uplc
diff --git a/...nformance/test-cases/uplc/evaluation/builtin/constant/simpleList/simpleList.uplc.expected b/...nformance/test-cases/uplc/evaluation/builtin/constant/simpleList/simpleList.uplc.expected
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/true/true.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/true/true.uplc
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/true/true.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/true/true.uplc.expected
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/unitList/unitList.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/unitList/unitList.uplc
diff --git a/...s-conformance/test-cases/uplc/evaluation/builtin/constant/unitList/unitList.uplc.expected b/...s-conformance/test-cases/uplc/evaluation/builtin/constant/unitList/unitList.uplc.expected
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/unitval/unitval.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/unitval/unitval.uplc
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/unitval/unitval.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/unitval/unitval.uplc.expected
diff --git a/...iltin/constant/constrData/constrData.uplc → ...uation/builtin/constrData/constrData.uplc b/...iltin/constant/constrData/constrData.uplc → ...uation/builtin/constrData/constrData.uplc
diff --git a/...stant/constrData/constrData.uplc.expected → ...iltin/constrData/constrData.uplc.expected b/...stant/constrData/constrData.uplc.expected → ...iltin/constrData/constrData.uplc.expected
diff --git a/...es/uplc/evaluation/builtin/divideInteger/divideInteger-neg-neg/divideInteger-neg-neg.uplc b/...es/uplc/evaluation/builtin/divideInteger/divideInteger-neg-neg/divideInteger-neg-neg.uplc
@@ -1 +1 @@
-(program 1.0.0 [(builtin divideInteger) (con integer -503) (con integer -17)])
+(program 1.0.0 [(builtin divideInteger) (con integer -503) (con integer -1777777777)])
diff --git a/...valuation/builtin/divideInteger/divideInteger-neg-neg/divideInteger-neg-neg.uplc.expected b/...valuation/builtin/divideInteger/divideInteger-neg-neg/divideInteger-neg-neg.uplc.expected
@@ -1 +1 @@
-(program 1.0.0 (con integer 29))
+(program 1.0.0 (con integer 0))
diff --git a/...es/uplc/evaluation/builtin/divideInteger/divideInteger-neg-pos/divideInteger-neg-pos.uplc b/...es/uplc/evaluation/builtin/divideInteger/divideInteger-neg-pos/divideInteger-neg-pos.uplc
@@ -1 +1 @@
-(program 1.0.0 [(builtin divideInteger) (con integer -503) (con integer 17)])
+(program 1.0.0 [(builtin divideInteger) (con integer -503) (con integer 1777777777)])
diff --git a/...valuation/builtin/divideInteger/divideInteger-neg-pos/divideInteger-neg-pos.uplc.expected b/...valuation/builtin/divideInteger/divideInteger-neg-pos/divideInteger-neg-pos.uplc.expected
@@ -1 +1 @@
-(program 1.0.0 (con integer -30))
+(program 1.0.0 (con integer -1))
diff --git a/...es/uplc/evaluation/builtin/divideInteger/divideInteger-pos-neg/divideInteger-pos-neg.uplc b/...es/uplc/evaluation/builtin/divideInteger/divideInteger-pos-neg/divideInteger-pos-neg.uplc
@@ -1 +1 @@
-(program 1.0.0 [(builtin divideInteger) (con integer 503) (con integer -17)])
+(program 1.0.0 [(builtin divideInteger) (con integer 503) (con integer -1777777777)])
diff --git a/...valuation/builtin/divideInteger/divideInteger-pos-neg/divideInteger-pos-neg.uplc.expected b/...valuation/builtin/divideInteger/divideInteger-pos-neg/divideInteger-pos-neg.uplc.expected
@@ -1 +1 @@
-(program 1.0.0 (con integer -30))
+(program 1.0.0 (con integer -1))
diff --git a/...es/uplc/evaluation/builtin/divideInteger/divideInteger-pos-pos/divideInteger-pos-pos.uplc b/...es/uplc/evaluation/builtin/divideInteger/divideInteger-pos-pos/divideInteger-pos-pos.uplc
@@ -1 +1 @@
-(program 1.0.0 [(builtin divideInteger) (con integer 503) (con integer 17)])
+(program 1.0.0 [(builtin divideInteger) (con integer 503) (con integer 1777777777)])
diff --git a/...valuation/builtin/divideInteger/divideInteger-pos-pos/divideInteger-pos-pos.uplc.expected b/...valuation/builtin/divideInteger/divideInteger-pos-pos/divideInteger-pos-pos.uplc.expected
@@ -1 +1 @@
-(program 1.0.0 (con integer 29))
+(program 1.0.0 (con integer 0))
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/equalsByteString/equalsByteString.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/equalsByteString/equalsByteString.uplc
diff --git a/...rmance/test-cases/uplc/evaluation/builtin/equalsByteString/equalsByteString.uplc.expected b/...rmance/test-cases/uplc/evaluation/builtin/equalsByteString/equalsByteString.uplc.expected
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/equalsInteger/equalsInteger.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/equalsInteger/equalsInteger.uplc
diff --git a/...-conformance/test-cases/uplc/evaluation/builtin/equalsInteger/equalsInteger.uplc.expected b/...-conformance/test-cases/uplc/evaluation/builtin/equalsInteger/equalsInteger.uplc.expected
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/equalsString/equalsString.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/equalsString/equalsString.uplc
diff --git a/...us-conformance/test-cases/uplc/evaluation/builtin/equalsString/equalsString.uplc.expected b/...us-conformance/test-cases/uplc/evaluation/builtin/equalsString/equalsString.uplc.expected
diff --git a/...us-conformance/test-cases/uplc/evaluation/builtin/ifThenElse/ifThenElse1/ifThenElse1.uplc b/...us-conformance/test-cases/uplc/evaluation/builtin/ifThenElse/ifThenElse1/ifThenElse1.uplc
diff --git a/...mance/test-cases/uplc/evaluation/builtin/ifThenElse/ifThenElse1/ifThenElse1.uplc.expected b/...mance/test-cases/uplc/evaluation/builtin/ifThenElse/ifThenElse1/ifThenElse1.uplc.expected
diff --git a/...conformance/test-cases/uplc/evaluation/builtin/lessThanByteString/lessThanByteString.uplc b/...conformance/test-cases/uplc/evaluation/builtin/lessThanByteString/lessThanByteString.uplc
diff --git a/...ce/test-cases/uplc/evaluation/builtin/lessThanByteString/lessThanByteString.uplc.expected b/...ce/test-cases/uplc/evaluation/builtin/lessThanByteString/lessThanByteString.uplc.expected
diff --git a/...test-cases/uplc/evaluation/builtin/lessThanEqualsByteString/lessThanEqualsByteString.uplc b/...test-cases/uplc/evaluation/builtin/lessThanEqualsByteString/lessThanEqualsByteString.uplc
diff --git a/...s/uplc/evaluation/builtin/lessThanEqualsByteString/lessThanEqualsByteString.uplc.expected b/...s/uplc/evaluation/builtin/lessThanEqualsByteString/lessThanEqualsByteString.uplc.expected
diff --git a/...mance/test-cases/uplc/evaluation/builtin/lessThanEqualsInteger/lessThanEqualsInteger.uplc b/...mance/test-cases/uplc/evaluation/builtin/lessThanEqualsInteger/lessThanEqualsInteger.uplc
diff --git a/...t-cases/uplc/evaluation/builtin/lessThanEqualsInteger/lessThanEqualsInteger.uplc.expected b/...t-cases/uplc/evaluation/builtin/lessThanEqualsInteger/lessThanEqualsInteger.uplc.expected
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/lessThanInteger/lessThanInteger.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/lessThanInteger/lessThanInteger.uplc
diff --git a/...formance/test-cases/uplc/evaluation/builtin/lessThanInteger/lessThanInteger.uplc.expected b/...formance/test-cases/uplc/evaluation/builtin/lessThanInteger/lessThanInteger.uplc.expected
diff --git a/.../test-cases/uplc/evaluation/builtin/modInteger/modInteger-neg-neg/modInteger-neg-neg.uplc b/.../test-cases/uplc/evaluation/builtin/modInteger/modInteger-neg-neg/modInteger-neg-neg.uplc
@@ -1 +1 @@
-(program 1.0.0 [(builtin modInteger) (con integer -503) (con integer -17)])
+(program 1.0.0 [(builtin modInteger) (con integer -503) (con integer -1777777777)])
diff --git a/...es/uplc/evaluation/builtin/modInteger/modInteger-neg-neg/modInteger-neg-neg.uplc.expected b/...es/uplc/evaluation/builtin/modInteger/modInteger-neg-neg/modInteger-neg-neg.uplc.expected
@@ -1 +1 @@
-(program 1.0.0 (con integer -10))
+(program 1.0.0 (con integer -503))
diff --git a/.../test-cases/uplc/evaluation/builtin/modInteger/modInteger-neg-pos/modInteger-neg-pos.uplc b/.../test-cases/uplc/evaluation/builtin/modInteger/modInteger-neg-pos/modInteger-neg-pos.uplc
@@ -1 +1 @@
-(program 1.0.0 [(builtin modInteger) (con integer -503) (con integer 17)])
+(program 1.0.0 [(builtin modInteger) (con integer -503) (con integer 1777777777)])
diff --git a/...es/uplc/evaluation/builtin/modInteger/modInteger-neg-pos/modInteger-neg-pos.uplc.expected b/...es/uplc/evaluation/builtin/modInteger/modInteger-neg-pos/modInteger-neg-pos.uplc.expected
@@ -1 +1 @@
-(program 1.0.0 (con integer 7))
+(program 1.0.0 (con integer 1777777274))
diff --git a/.../test-cases/uplc/evaluation/builtin/modInteger/modInteger-pos-neg/modInteger-pos-neg.uplc b/.../test-cases/uplc/evaluation/builtin/modInteger/modInteger-pos-neg/modInteger-pos-neg.uplc
@@ -1 +1 @@
-(program 1.0.0 [(builtin modInteger) (con integer 503) (con integer -17)])
+(program 1.0.0 [(builtin modInteger) (con integer 503) (con integer -1777777777)])
diff --git a/...es/uplc/evaluation/builtin/modInteger/modInteger-pos-neg/modInteger-pos-neg.uplc.expected b/...es/uplc/evaluation/builtin/modInteger/modInteger-pos-neg/modInteger-pos-neg.uplc.expected
@@ -1 +1 @@
-(program 1.0.0 (con integer -7))
+(program 1.0.0 (con integer -1777777274))
diff --git a/.../test-cases/uplc/evaluation/builtin/modInteger/modInteger-pos-pos/modInteger-pos-pos.uplc b/.../test-cases/uplc/evaluation/builtin/modInteger/modInteger-pos-pos/modInteger-pos-pos.uplc
@@ -1 +1 @@
-(program 1.0.0 [(builtin modInteger) (con integer 503) (con integer 17)])
+(program 1.0.0 [(builtin modInteger) (con integer 503) (con integer 1777777777)])
diff --git a/...es/uplc/evaluation/builtin/modInteger/modInteger-pos-pos/modInteger-pos-pos.uplc.expected b/...es/uplc/evaluation/builtin/modInteger/modInteger-pos-pos/modInteger-pos-pos.uplc.expected
@@ -1 +1 @@
-(program 1.0.0 (con integer 10))
+(program 1.0.0 (con integer 503))
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/multiplyInteger/multiplyInteger.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/multiplyInteger/multiplyInteger.uplc
diff --git a/...formance/test-cases/uplc/evaluation/builtin/multiplyInteger/multiplyInteger.uplc.expected b/...formance/test-cases/uplc/evaluation/builtin/multiplyInteger/multiplyInteger.uplc.expected
diff --git a/...c/evaluation/builtin/quotientInteger/quotientInteger-neg-neg/quotientInteger-neg-neg.uplc b/...c/evaluation/builtin/quotientInteger/quotientInteger-neg-neg/quotientInteger-neg-neg.uplc
@@ -1 +1 @@
-(program 1.0.0 [(builtin quotientInteger) (con integer -503) (con integer -17)])
+(program 1.0.0 [(builtin quotientInteger) (con integer -503783783785265728700234277) (con integer -1777777777)])
diff --git a/...ion/builtin/quotientInteger/quotientInteger-neg-neg/quotientInteger-neg-neg.uplc.expected b/...ion/builtin/quotientInteger/quotientInteger-neg-neg/quotientInteger-neg-neg.uplc.expected
@@ -1 +1 @@
-(program 1.0.0 (con integer 29))
+(program 1.0.0 (con integer 283378378503190012))
diff --git a/...c/evaluation/builtin/quotientInteger/quotientInteger-neg-pos/quotientInteger-neg-pos.uplc b/...c/evaluation/builtin/quotientInteger/quotientInteger-neg-pos/quotientInteger-neg-pos.uplc
@@ -1 +1 @@
-(program 1.0.0 [(builtin quotientInteger) (con integer -503) (con integer 17)])
+(program 1.0.0 [(builtin quotientInteger) (con integer -503783783785265728700234277) (con integer 1777777777)])
diff --git a/...ion/builtin/quotientInteger/quotientInteger-neg-pos/quotientInteger-neg-pos.uplc.expected b/...ion/builtin/quotientInteger/quotientInteger-neg-pos/quotientInteger-neg-pos.uplc.expected
@@ -1 +1 @@
-(program 1.0.0 (con integer -29))
+(program 1.0.0 (con integer -283378378503190012))
diff --git a/...c/evaluation/builtin/quotientInteger/quotientInteger-pos-neg/quotientInteger-pos-neg.uplc b/...c/evaluation/builtin/quotientInteger/quotientInteger-pos-neg/quotientInteger-pos-neg.uplc
@@ -1 +1 @@
-(program 1.0.0 [(builtin quotientInteger) (con integer 503) (con integer -17)])
+(program 1.0.0 [(builtin quotientInteger) (con integer 503783783785265728700234277) (con integer -1777777777)])
diff --git a/...ion/builtin/quotientInteger/quotientInteger-pos-neg/quotientInteger-pos-neg.uplc.expected b/...ion/builtin/quotientInteger/quotientInteger-pos-neg/quotientInteger-pos-neg.uplc.expected
@@ -1 +1 @@
-(program 1.0.0 (con integer -29))
+(program 1.0.0 (con integer -283378378503190012))
diff --git a/...c/evaluation/builtin/quotientInteger/quotientInteger-pos-pos/quotientInteger-pos-pos.uplc b/...c/evaluation/builtin/quotientInteger/quotientInteger-pos-pos/quotientInteger-pos-pos.uplc
@@ -1 +1 @@
-(program 1.0.0 [(builtin quotientInteger) (con integer 503) (con integer 17)])
+(program 1.0.0 [(builtin quotientInteger) (con integer 503783783785265728700234277) (con integer 1777777777)])
diff --git a/...ion/builtin/quotientInteger/quotientInteger-pos-pos/quotientInteger-pos-pos.uplc.expected b/...ion/builtin/quotientInteger/quotientInteger-pos-pos/quotientInteger-pos-pos.uplc.expected
@@ -1 +1 @@
-(program 1.0.0 (con integer 29))
+(program 1.0.0 (con integer 283378378503190012))
diff --git a/...valuation/builtin/remainderInteger/remainderInteger-neg-neg/remainderInteger-neg-neg.uplc b/...valuation/builtin/remainderInteger/remainderInteger-neg-neg/remainderInteger-neg-neg.uplc
@@ -1 +1 @@
-(program 1.0.0 [(builtin remainderInteger) (con integer -503) (con integer -17)])
+(program 1.0.0 [(builtin remainderInteger) (con integer -503) (con integer -1777777777)])
diff --git a/.../builtin/remainderInteger/remainderInteger-neg-neg/remainderInteger-neg-neg.uplc.expected b/.../builtin/remainderInteger/remainderInteger-neg-neg/remainderInteger-neg-neg.uplc.expected
@@ -1 +1 @@
-(program 1.0.0 (con integer -10))
+(program 1.0.0 (con integer -503))
diff --git a/...valuation/builtin/remainderInteger/remainderInteger-neg-pos/remainderInteger-neg-pos.uplc b/...valuation/builtin/remainderInteger/remainderInteger-neg-pos/remainderInteger-neg-pos.uplc
@@ -1 +1 @@
-(program 1.0.0 [(builtin remainderInteger) (con integer -503) (con integer 17)])
+(program 1.0.0 [(builtin remainderInteger) (con integer -503) (con integer 1777777777)])
diff --git a/.../builtin/remainderInteger/remainderInteger-neg-pos/remainderInteger-neg-pos.uplc.expected b/.../builtin/remainderInteger/remainderInteger-neg-pos/remainderInteger-neg-pos.uplc.expected
@@ -1 +1 @@
-(program 1.0.0 (con integer -10))
+(program 1.0.0 (con integer -503))
diff --git a/...valuation/builtin/remainderInteger/remainderInteger-pos-neg/remainderInteger-pos-neg.uplc b/...valuation/builtin/remainderInteger/remainderInteger-pos-neg/remainderInteger-pos-neg.uplc
@@ -1 +1 @@
-(program 1.0.0 [(builtin remainderInteger) (con integer 503) (con integer -17)])
+(program 1.0.0 [(builtin remainderInteger) (con integer 503) (con integer -1777777777)])
diff --git a/.../builtin/remainderInteger/remainderInteger-pos-neg/remainderInteger-pos-neg.uplc.expected b/.../builtin/remainderInteger/remainderInteger-pos-neg/remainderInteger-pos-neg.uplc.expected
@@ -1 +1 @@
-(program 1.0.0 (con integer 10))
+(program 1.0.0 (con integer 503))
diff --git a/...valuation/builtin/remainderInteger/remainderInteger-pos-pos/remainderInteger-pos-pos.uplc b/...valuation/builtin/remainderInteger/remainderInteger-pos-pos/remainderInteger-pos-pos.uplc
@@ -1 +1 @@
-(program 1.0.0 [(builtin remainderInteger) (con integer 503) (con integer 17)])
+(program 1.0.0 [(builtin remainderInteger) (con integer 503) (con integer 1777777777)])
diff --git a/.../builtin/remainderInteger/remainderInteger-pos-pos/remainderInteger-pos-pos.uplc.expected b/.../builtin/remainderInteger/remainderInteger-pos-pos/remainderInteger-pos-pos.uplc.expected
@@ -1 +1 @@
-(program 1.0.0 (con integer 10))
+(program 1.0.0 (con integer 503))
diff --git a/...es/uplc/evaluation/builtin/sha2/sha2.uplc → ...evaluation/builtin/sha2_256/sha2_256.uplc b/...es/uplc/evaluation/builtin/sha2/sha2.uplc → ...evaluation/builtin/sha2_256/sha2_256.uplc
diff --git a/...valuation/builtin/sha2/sha2.uplc.expected → ...n/builtin/sha2_256/sha2_256.uplc.expected b/...valuation/builtin/sha2/sha2.uplc.expected → ...n/builtin/sha2_256/sha2_256.uplc.expected
diff --git a/...es/uplc/evaluation/builtin/sha3/sha3.uplc → ...evaluation/builtin/sha3_256/sha3_256.uplc b/...es/uplc/evaluation/builtin/sha3/sha3.uplc → ...evaluation/builtin/sha3_256/sha3_256.uplc
diff --git a/...valuation/builtin/sha3/sha3.uplc.expected → ...n/builtin/sha3_256/sha3_256.uplc.expected b/...valuation/builtin/sha3/sha3.uplc.expected → ...n/builtin/sha3_256/sha3_256.uplc.expected
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/sliceByteString/sliceByteString.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/sliceByteString/sliceByteString.uplc
diff --git a/...formance/test-cases/uplc/evaluation/builtin/sliceByteString/sliceByteString.uplc.expected b/...formance/test-cases/uplc/evaluation/builtin/sliceByteString/sliceByteString.uplc.expected
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/subtractInteger/subtractInteger.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/subtractInteger/subtractInteger.uplc
diff --git a/...formance/test-cases/uplc/evaluation/builtin/subtractInteger/subtractInteger.uplc.expected b/...formance/test-cases/uplc/evaluation/builtin/subtractInteger/subtractInteger.uplc.expected
diff --git a/.../uplc/evaluation/builtin/verifyEcdsa/verifyEcdsa-invalid-key/verifyEcdsa-invalid-key.uplc b/.../uplc/evaluation/builtin/verifyEcdsa/verifyEcdsa-invalid-key/verifyEcdsa-invalid-key.uplc
diff --git a/...luation/builtin/verifyEcdsa/verifyEcdsa-invalid-key/verifyEcdsa-invalid-key.uplc.expected b/...luation/builtin/verifyEcdsa/verifyEcdsa-invalid-key/verifyEcdsa-invalid-key.uplc.expected
diff --git a/...-cases/uplc/evaluation/builtin/verifyEcdsa/verifyEcdsa-long-key/verifyEcdsa-long-key.uplc b/...-cases/uplc/evaluation/builtin/verifyEcdsa/verifyEcdsa-long-key/verifyEcdsa-long-key.uplc
diff --git a/...lc/evaluation/builtin/verifyEcdsa/verifyEcdsa-long-key/verifyEcdsa-long-key.uplc.expected b/...lc/evaluation/builtin/verifyEcdsa/verifyEcdsa-long-key/verifyEcdsa-long-key.uplc.expected
diff --git a/...-cases/uplc/evaluation/builtin/verifyEcdsa/verifyEcdsa-long-msg/verifyEcdsa-long-msg.uplc b/...-cases/uplc/evaluation/builtin/verifyEcdsa/verifyEcdsa-long-msg/verifyEcdsa-long-msg.uplc
diff --git a/...lc/evaluation/builtin/verifyEcdsa/verifyEcdsa-long-msg/verifyEcdsa-long-msg.uplc.expected b/...lc/evaluation/builtin/verifyEcdsa/verifyEcdsa-long-msg/verifyEcdsa-long-msg.uplc.expected
diff --git a/...-cases/uplc/evaluation/builtin/verifyEcdsa/verifyEcdsa-long-sig/verifyEcdsa-long-sig.uplc b/...-cases/uplc/evaluation/builtin/verifyEcdsa/verifyEcdsa-long-sig/verifyEcdsa-long-sig.uplc
diff --git a/...lc/evaluation/builtin/verifyEcdsa/verifyEcdsa-long-sig/verifyEcdsa-long-sig.uplc.expected b/...lc/evaluation/builtin/verifyEcdsa/verifyEcdsa-long-sig/verifyEcdsa-long-sig.uplc.expected
diff --git a/...ases/uplc/evaluation/builtin/verifyEcdsa/verifyEcdsa-short-key/verifyEcdsa-short-key.uplc b/...ases/uplc/evaluation/builtin/verifyEcdsa/verifyEcdsa-short-key/verifyEcdsa-short-key.uplc
diff --git a/.../evaluation/builtin/verifyEcdsa/verifyEcdsa-short-key/verifyEcdsa-short-key.uplc.expected b/.../evaluation/builtin/verifyEcdsa/verifyEcdsa-short-key/verifyEcdsa-short-key.uplc.expected
diff --git a/...ases/uplc/evaluation/builtin/verifyEcdsa/verifyEcdsa-short-msg/verifyEcdsa-short-msg.uplc b/...ases/uplc/evaluation/builtin/verifyEcdsa/verifyEcdsa-short-msg/verifyEcdsa-short-msg.uplc
diff --git a/.../evaluation/builtin/verifyEcdsa/verifyEcdsa-short-msg/verifyEcdsa-short-msg.uplc.expected b/.../evaluation/builtin/verifyEcdsa/verifyEcdsa-short-msg/verifyEcdsa-short-msg.uplc.expected
diff --git a/...ases/uplc/evaluation/builtin/verifyEcdsa/verifyEcdsa-short-sig/verifyEcdsa-short-sig.uplc b/...ases/uplc/evaluation/builtin/verifyEcdsa/verifyEcdsa-short-sig/verifyEcdsa-short-sig.uplc
diff --git a/.../evaluation/builtin/verifyEcdsa/verifyEcdsa-short-sig/verifyEcdsa-short-sig.uplc.expected b/.../evaluation/builtin/verifyEcdsa/verifyEcdsa-short-sig/verifyEcdsa-short-sig.uplc.expected