aiken/crates/uplc/test_data/conformance/v3/builtin/semantics
microproofs 17fdbd356a
Add new conformance tests
2024-12-07 12:23:51 +07:00
..
addInteger Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
andByteString Add new conformance tests 2024-12-07 12:23:51 +07:00
appendByteString Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
appendString Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
bData Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
blake2b_224 Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
blake2b_256 Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
bls12_381-cardano-crypto-tests Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
bls12_381_G1_add Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
bls12_381_G1_compress/compress Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
bls12_381_G1_equal Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
bls12_381_G1_hashToGroup Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
bls12_381_G1_neg Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
bls12_381_G1_scalarMul Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
bls12_381_G1_uncompress Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
bls12_381_G2_add Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
bls12_381_G2_compress/compress Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
bls12_381_G2_equal Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
bls12_381_G2_hashToGroup Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
bls12_381_G2_neg Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
bls12_381_G2_scalarMul Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
bls12_381_G2_uncompress Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
bls12_381_millerLoop Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
byteStringToInteger Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
chooseDataByteString Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
chooseDataConstr Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
chooseDataInteger Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
chooseDataList Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
chooseDataMap Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
chooseList Add new conformance tests 2024-12-07 12:23:51 +07:00
chooseUnit Add new conformance tests 2024-12-07 12:23:51 +07:00
chooseUnit2 Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
complementByteString Add new conformance tests 2024-12-07 12:23:51 +07:00
consByteString Add new conformance tests 2024-12-07 12:23:51 +07:00
constrData Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
countSetBits Add new conformance tests 2024-12-07 12:23:51 +07:00
decodeUtf8 Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
divideInteger Add new conformance tests 2024-12-07 12:23:51 +07:00
encodeUtf8 Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
equalsByteString Add new conformance tests 2024-12-07 12:23:51 +07:00
equalsData Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
equalsInteger Add new conformance tests 2024-12-07 12:23:51 +07:00
equalsString Add new conformance tests 2024-12-07 12:23:51 +07:00
findFirstSetBit Add new conformance tests 2024-12-07 12:23:51 +07:00
fstPairOfPairAndList Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
headList Add new conformance tests 2024-12-07 12:23:51 +07:00
iData Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
ifThenElse Add new conformance tests 2024-12-07 12:23:51 +07:00
indexByteString Add new conformance tests 2024-12-07 12:23:51 +07:00
integerToByteString Update cost model to properly calculate integer_to_bytearray 2024-10-18 13:07:51 -04:00
keccak_256 Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
lengthOfByteString Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
lessThanByteString Add new conformance tests 2024-12-07 12:23:51 +07:00
lessThanEqualsByteString Add new conformance tests 2024-12-07 12:23:51 +07:00
lessThanEqualsInteger Add new conformance tests 2024-12-07 12:23:51 +07:00
lessThanInteger Add new conformance tests 2024-12-07 12:23:51 +07:00
listData Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
listOfList Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
listOfPair Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
mapData Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
mkCons Add new conformance tests 2024-12-07 12:23:51 +07:00
mkNilData Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
mkNilPairData Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
mkPairData Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
modInteger Add new conformance tests 2024-12-07 12:23:51 +07:00
multiplyInteger Add new conformance tests 2024-12-07 12:23:51 +07:00
nullList Add new conformance tests 2024-12-07 12:23:51 +07:00
nullList2 Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
orByteString Add new conformance tests 2024-12-07 12:23:51 +07:00
pairOfPairAndList Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
quotientInteger Add new conformance tests 2024-12-07 12:23:51 +07:00
readBit Add new conformance tests 2024-12-07 12:23:51 +07:00
remainderInteger Add new conformance tests 2024-12-07 12:23:51 +07:00
replicateByte Add new conformance tests 2024-12-07 12:23:51 +07:00
ripemd_160 Add new conformance tests 2024-12-07 12:23:51 +07:00
rotateByteString Add new conformance tests 2024-12-07 12:23:51 +07:00
sha2_256 Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
sha3_256 Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
shiftByteString Add new conformance tests 2024-12-07 12:23:51 +07:00
sliceByteString Add new conformance tests 2024-12-07 12:23:51 +07:00
sndPairOfPairAndList Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
subtractInteger Add new conformance tests 2024-12-07 12:23:51 +07:00
subtractInteger-non-iter Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
tailList Add new conformance tests 2024-12-07 12:23:51 +07:00
trace Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
unBData Add new conformance tests 2024-12-07 12:23:51 +07:00
unConstrData Add new conformance tests 2024-12-07 12:23:51 +07:00
unIData Add new conformance tests 2024-12-07 12:23:51 +07:00
unListData Add new conformance tests 2024-12-07 12:23:51 +07:00
unMapData Add new conformance tests 2024-12-07 12:23:51 +07:00
verifyEcdsaSecp256k1Signature Add new conformance tests 2024-12-07 12:23:51 +07:00
verifyEd25519Signature Add new conformance tests 2024-12-07 12:23:51 +07:00
verifySchnorrSecp256k1Signature Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00
writeBits Add new conformance tests 2024-12-07 12:23:51 +07:00
xorByteString Add new conformance tests 2024-12-07 12:23:51 +07:00
README.md Add PlutusV3 conformance tests and also control budgets 2024-08-14 02:42:04 +02:00

README.md

The tests here are mostly unit tests to make sure that built-in functions produce correct results.