waalge/aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
c7ae161a39c29656938ce1c8d4f674e387980022
aiken/crates/uplc/test_data/conformance/v3/builtin/semantics
History
KtorZ 2cb87f4f8f Add PlutusV3 conformance tests and also control budgets 
There were some odd discrepancy for `integerToByteString` on the mem
  side. Either 1 or about 1000 mem units off; which I couldn't quite
  figure out. Yet, it proves useful to validate builtin at large and
  ensure we have a valid cost model for v3.
2024-08-14 02:42:04 +02:00
..
addInteger
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02: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_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
bls12_381-cardano-crypto-tests
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 PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
chooseUnit
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
chooseUnit2
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
consByteString
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
constrData
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
decodeUtf8
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
divideInteger
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
encodeUtf8
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
equalsByteString
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
equalsData
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
equalsInteger
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
equalsString
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
fstPairOfPairAndList
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
headList
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
iData
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
ifThenElse
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
indexByteString
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
integerToByteString
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02: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 PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
lessThanEqualsByteString
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
lessThanEqualsInteger
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
lessThanInteger
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02: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 PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02: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 PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
multiplyInteger
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
nullList
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
nullList2
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
pairOfPairAndList
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
quotientInteger
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
remainderInteger
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02: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
sliceByteString
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
sndPairOfPairAndList
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
subtractInteger
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
subtractInteger-non-iter
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
tailList
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
trace
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
unBData
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
unConstrData
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
unIData
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
unListData
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
unMapData
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
verifyEcdsaSecp256k1Signature
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
verifyEd25519Signature
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02:00
verifySchnorrSecp256k1Signature
Add PlutusV3 conformance tests and also control budgets
2024-08-14 02:42:04 +02: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.

Reference in New Issue View Git Blame Copy Permalink