├── .github ├── actions │ └── with-docker │ │ └── action.yml └── workflows │ ├── Dockerfile │ ├── Dockerfile.z3 │ ├── test-pr.yml │ └── update-version.yml ├── .gitignore ├── .gitmodules ├── Documentation ├── Milestone_2_CEK_Optimizations.md ├── friendly-uplc.md └── friendly-uplc.pdf ├── INSTALL.md ├── IOG-contracts ├── .gitignore ├── README.md ├── cabal.project ├── native-tokens │ ├── README.md │ ├── native-tokens.cabal │ ├── src │ │ └── Contracts │ │ │ ├── Free.hs │ │ │ └── NFT.hs │ └── test │ │ ├── Main.hs │ │ └── Spec │ │ ├── Free.hs │ │ └── NFT.hs └── stablecoin │ ├── README.md │ ├── src │ └── Contracts │ │ └── Stablecoin.hs │ ├── stablecoin.cabal │ └── test │ ├── Main.hs │ └── Spec │ └── Stablecoin.hs ├── LICENSE ├── Makefile ├── README.md ├── bitstream.md ├── deps ├── blockchain-k-plugin_release ├── k_release └── pyk_release ├── editor-support └── emacs │ ├── README.md │ └── uplc-mode.el ├── flake.lock ├── flake.nix ├── k-script ├── kplc ├── kplutus-covr ├── kplutus-pyk ├── .cruft.json ├── .flake8 ├── .gitignore ├── Makefile ├── README.md ├── poetry.lock ├── pyproject.toml └── src │ ├── kplutus_pyk │ ├── __init__.py │ ├── __main__.py │ ├── genv.py │ └── kplutus.py │ └── tests │ ├── __init__.py │ └── test_kplutus_pyk.py ├── legacy ├── plutus-core.md ├── sum-to-10-spec.k ├── typing-tests.md ├── typing.md ├── unit-tests.md └── verification.md ├── nix └── kplc.patch ├── no-hits.py ├── print2 ├── tests ├── failing ├── flat │ ├── simple │ │ ├── addInteger-non-interactive.flat │ │ ├── addInteger-non-interactive.flat.expected │ │ ├── addInteger-uncurried.flat │ │ ├── addInteger-uncurried.flat.expected │ │ ├── addInteger.flat │ │ ├── addInteger.flat.expected │ │ ├── app.flat │ │ ├── app.flat.expected │ │ ├── app2.flat │ │ ├── app2.flat.expected │ │ ├── appendByteString.flat │ │ ├── appendByteString.flat.expected │ │ ├── appendEmptyString.flat │ │ ├── appendEmptyString.flat.expected │ │ ├── appendString.flat │ │ ├── appendString.flat.expected │ │ ├── blake2b.flat │ │ ├── blake2b.flat.expected │ │ ├── chooseUnit.flat │ │ ├── chooseUnit.flat.expected │ │ ├── conByteString-empty.flat │ │ ├── conByteString-empty.flat.expected │ │ ├── conByteString-long.flat │ │ ├── conByteString-long.flat.expected │ │ ├── conByteString.flat │ │ ├── conByteString.flat.expected │ │ ├── conFalse.flat │ │ ├── conFalse.flat.expected │ │ ├── conInteger-1234.flat │ │ ├── conInteger-1234.flat.expected │ │ ├── conInteger-largeNegative.flat │ │ ├── conInteger-largeNegative.flat.expected │ │ ├── conInteger-largePositive.flat │ │ ├── conInteger-largePositive.flat.expected │ │ ├── conInteger-negative1234.flat │ │ ├── conInteger-negative1234.flat.expected │ │ ├── conInteger.flat │ │ ├── conInteger.flat.expected │ │ ├── conString-empty.flat │ │ ├── conString-empty.flat.expected │ │ ├── conString.flat │ │ ├── conString.flat.expected │ │ ├── conTrue.flat │ │ ├── conTrue.flat.expected │ │ ├── conUnit.flat │ │ ├── conUnit.flat.expected │ │ ├── consByteString.flat │ │ ├── consByteString.flat.expected │ │ ├── decodeUtf8.flat │ │ ├── decodeUtf8.flat.expected │ │ ├── delay-error.flat │ │ ├── delay-error.flat.expected │ │ ├── delay-lam.flat │ │ ├── delay-lam.flat.expected │ │ ├── delay-lam2.flat │ │ ├── delay-lam2.flat.expected │ │ ├── delay-lam3.flat │ │ ├── delay-lam3.flat.expected │ │ ├── delay-true.flat │ │ ├── delay-true.flat.expected │ │ ├── delay-unit.flat │ │ ├── delay-unit.flat.expected │ │ ├── delay-unit2.flat │ │ ├── delay-unit2.flat.expected │ │ ├── divideInteger.flat │ │ ├── divideInteger.flat.expected │ │ ├── encodeUtf8.flat │ │ ├── encodeUtf8.flat.expected │ │ ├── equalsByteString.flat │ │ ├── equalsByteString.flat.expected │ │ ├── equalsInteger-true.flat │ │ ├── equalsInteger-true.flat.expected │ │ ├── equalsInteger.flat │ │ ├── equalsInteger.flat.expected │ │ ├── equalsString-true.flat │ │ ├── equalsString-true.flat.expected │ │ ├── equalsString.flat │ │ ├── equalsString.flat.expected │ │ ├── force-lam.flat │ │ ├── force-lam.flat.expected │ │ ├── ifThenElse.flat │ │ ├── ifThenElse.flat.expected │ │ ├── indexByteString.flat │ │ ├── indexByteString.flat.expected │ │ ├── lam-unit1.flat │ │ ├── lam-unit1.flat.expected │ │ ├── lam-unit2.flat │ │ ├── lam-unit2.flat.expected │ │ ├── lam.flat │ │ ├── lam.flat.expected │ │ ├── lengthOfByteString.flat │ │ ├── lengthOfByteString.flat.expected │ │ ├── lessThanByteStringFalse.flat │ │ ├── lessThanByteStringFalse.flat.expected │ │ ├── lessThanByteStringTrue.flat │ │ ├── lessThanByteStringTrue.flat.expected │ │ ├── lessThanEqualsByteStringFalse.flat │ │ ├── lessThanEqualsByteStringFalse.flat.expected │ │ ├── lessThanEqualsByteStringTrue.flat │ │ ├── lessThanEqualsByteStringTrue.flat.expected │ │ ├── lessThanEqualsInteger.flat │ │ ├── lessThanEqualsInteger.flat.expected │ │ ├── lessThanInteger-false.flat │ │ ├── lessThanInteger-false.flat.expected │ │ ├── lessThanInteger.flat │ │ ├── lessThanInteger.flat.expected │ │ ├── longversion1.flat │ │ ├── longversion1.flat.expected │ │ ├── longversion2.flat │ │ ├── longversion2.flat.expected │ │ ├── longversion3.flat │ │ ├── longversion3.flat.expected │ │ ├── longversion4.flat │ │ ├── longversion4.flat.expected │ │ ├── modInteger.flat │ │ ├── modInteger.flat.expected │ │ ├── multiplyInteger.flat │ │ ├── multiplyInteger.flat.expected │ │ ├── program.flat │ │ ├── program.flat.expected │ │ ├── quotientInteger.flat │ │ ├── quotientInteger.flat.expected │ │ ├── remainderInteger.flat │ │ ├── remainderInteger.flat.expected │ │ ├── sha2.flat │ │ ├── sha2.flat.expected │ │ ├── sha3.flat │ │ ├── sha3.flat.expected │ │ ├── sliceByteString.flat │ │ ├── sliceByteString.flat.expected │ │ ├── subtractInteger-non-interactive.flat │ │ ├── subtractInteger-non-interactive.flat.expected │ │ ├── subtractInteger-non-iter.flat │ │ ├── subtractInteger-non-iter.flat.expected │ │ ├── subtractInteger.flat │ │ ├── subtractInteger.flat.expected │ │ ├── trace.flat │ │ ├── trace.flat.expected │ │ ├── var-lam.flat │ │ ├── var-lam.flat.expected │ │ ├── verifySignature1.flat │ │ ├── verifySignature1.flat.expected │ │ ├── verifySignature10.flat │ │ ├── verifySignature10.flat.expected │ │ ├── verifySignature11.flat │ │ ├── verifySignature11.flat.expected │ │ ├── verifySignature12.flat │ │ ├── verifySignature12.flat.expected │ │ ├── verifySignature13.flat │ │ ├── verifySignature13.flat.expected │ │ ├── verifySignature14.flat │ │ ├── verifySignature14.flat.expected │ │ ├── verifySignature15.flat │ │ ├── verifySignature15.flat.expected │ │ ├── verifySignature16.flat │ │ ├── verifySignature16.flat.expected │ │ ├── verifySignature17.flat │ │ ├── verifySignature17.flat.expected │ │ ├── verifySignature18.flat │ │ ├── verifySignature18.flat.expected │ │ ├── verifySignature19.flat │ │ ├── verifySignature19.flat.expected │ │ ├── verifySignature2.flat │ │ ├── verifySignature2.flat.expected │ │ ├── verifySignature20.flat │ │ ├── verifySignature20.flat.expected │ │ ├── verifySignature21.flat │ │ ├── verifySignature21.flat.expected │ │ ├── verifySignature22.flat │ │ ├── verifySignature22.flat.expected │ │ ├── verifySignature23.flat │ │ ├── verifySignature23.flat.expected │ │ ├── verifySignature24.flat │ │ ├── verifySignature24.flat.expected │ │ ├── verifySignature25.flat │ │ ├── verifySignature25.flat.expected │ │ ├── verifySignature26.flat │ │ ├── verifySignature26.flat.expected │ │ ├── verifySignature27.flat │ │ ├── verifySignature27.flat.expected │ │ ├── verifySignature28.flat │ │ ├── verifySignature28.flat.expected │ │ ├── verifySignature29.flat │ │ ├── verifySignature29.flat.expected │ │ ├── verifySignature3.flat │ │ ├── verifySignature3.flat.expected │ │ ├── verifySignature30.flat │ │ ├── verifySignature30.flat.expected │ │ ├── verifySignature31.flat │ │ ├── verifySignature31.flat.expected │ │ ├── verifySignature4.flat │ │ ├── verifySignature4.flat.expected │ │ ├── verifySignature5.flat │ │ ├── verifySignature5.flat.expected │ │ ├── verifySignature6.flat │ │ ├── verifySignature6.flat.expected │ │ ├── verifySignature7.flat │ │ ├── verifySignature7.flat.expected │ │ ├── verifySignature8.flat │ │ ├── verifySignature8.flat.expected │ │ ├── verifySignature9.flat │ │ └── verifySignature9.flat.expected │ └── uplc-examples │ │ ├── ApplyAdd1.flat │ │ ├── ApplyAdd1.flat.expected │ │ ├── ApplyAdd2.flat │ │ ├── ApplyAdd2.flat.expected │ │ ├── IfIntegers.flat │ │ ├── IfIntegers.flat.expected │ │ ├── NatRoundTrip.flat │ │ ├── NatRoundTrip.flat.expected │ │ ├── ScottListSum.flat │ │ ├── ScottListSum.flat.expected │ │ ├── churchSucc.flat │ │ ├── churchSucc.flat.expected │ │ ├── churchZero.flat │ │ ├── churchZero.flat.expected │ │ ├── factorial.flat │ │ ├── factorial.flat.expected │ │ ├── factorial2.flat │ │ ├── factorial2.flat.expected │ │ ├── false.flat │ │ ├── false.flat.expected │ │ ├── fibonacci.flat │ │ ├── fibonacci.flat.expected │ │ ├── fibonacci2.flat │ │ ├── fibonacci2.flat.expected │ │ ├── overapplication.flat │ │ ├── overapplication.flat.expected │ │ ├── succInteger.flat │ │ ├── succInteger.flat.expected │ │ ├── true.flat │ │ ├── true.flat.expected │ │ ├── unitval.flat │ │ └── unitval.flat.expected ├── specs │ ├── decoders │ │ ├── cbor-unit-test.md │ │ ├── flat-unit-test.md │ │ └── verification.md │ ├── simple │ │ ├── list-free.md │ │ ├── list-length.md │ │ ├── list-longer.md │ │ ├── list-max.md │ │ ├── list-sum.md │ │ ├── simple-symbolic.md │ │ ├── trivial-policies.md │ │ ├── uplc-genvironment-instance.md │ │ └── verification.md │ └── uplc-to-k │ │ ├── genv.uplc │ │ ├── tokens.uplc │ │ └── true.uplc └── textual │ ├── benchmark-validation-examples │ ├── auction_1-1.uplc │ ├── auction_1-1.uplc.expected │ ├── auction_1-2.uplc │ ├── auction_1-2.uplc.expected │ ├── auction_1-3.uplc │ ├── auction_1-3.uplc.expected │ ├── auction_1-4.uplc │ ├── auction_1-4.uplc.expected │ ├── auction_2-1.uplc │ ├── auction_2-1.uplc.expected │ ├── auction_2-2.uplc │ ├── auction_2-2.uplc.expected │ ├── auction_2-3.uplc │ ├── auction_2-3.uplc.expected │ ├── auction_2-4.uplc │ ├── auction_2-4.uplc.expected │ ├── auction_2-5.uplc │ ├── auction_2-5.uplc.expected │ ├── crowdfunding-success-1.uplc │ ├── crowdfunding-success-1.uplc.expected │ ├── crowdfunding-success-2.uplc │ ├── crowdfunding-success-2.uplc.expected │ ├── crowdfunding-success-3.uplc │ ├── crowdfunding-success-3.uplc.expected │ ├── currency-1.uplc │ ├── currency-1.uplc.expected │ ├── escrow-redeem_1-1.uplc │ ├── escrow-redeem_1-1.uplc.expected │ ├── escrow-redeem_1-2.uplc │ ├── escrow-redeem_1-2.uplc.expected │ ├── escrow-redeem_2-1.uplc │ ├── escrow-redeem_2-1.uplc.expected │ ├── escrow-redeem_2-2.uplc │ ├── escrow-redeem_2-2.uplc.expected │ ├── escrow-redeem_2-3.uplc │ ├── escrow-redeem_2-3.uplc.expected │ ├── escrow-refund-1.uplc │ ├── escrow-refund-1.uplc.expected │ ├── future-increase-margin-1.uplc │ ├── future-increase-margin-1.uplc.expected │ ├── future-increase-margin-2.uplc │ ├── future-increase-margin-2.uplc.expected │ ├── future-increase-margin-3.uplc │ ├── future-increase-margin-3.uplc.expected │ ├── future-increase-margin-4.uplc │ ├── future-increase-margin-4.uplc.expected │ ├── future-increase-margin-5.uplc │ ├── future-increase-margin-5.uplc.expected │ ├── future-pay-out-1.uplc │ ├── future-pay-out-1.uplc.expected │ ├── future-pay-out-2.uplc │ ├── future-pay-out-2.uplc.expected │ ├── future-pay-out-3.uplc │ ├── future-pay-out-3.uplc.expected │ ├── future-pay-out-4.uplc │ ├── future-pay-out-4.uplc.expected │ ├── future-settle-early-1.uplc │ ├── future-settle-early-1.uplc.expected │ ├── future-settle-early-2.uplc │ ├── future-settle-early-2.uplc.expected │ ├── future-settle-early-3.uplc │ ├── future-settle-early-3.uplc.expected │ ├── future-settle-early-4.uplc │ ├── future-settle-early-4.uplc.expected │ ├── game-sm-success_1-1.uplc │ ├── game-sm-success_1-1.uplc.expected │ ├── game-sm-success_1-2.uplc │ ├── game-sm-success_1-2.uplc.expected │ ├── game-sm-success_1-3.uplc │ ├── game-sm-success_1-3.uplc.expected │ ├── game-sm-success_1-4.uplc │ ├── game-sm-success_1-4.uplc.expected │ ├── game-sm-success_2-1.uplc │ ├── game-sm-success_2-1.uplc.expected │ ├── game-sm-success_2-2.uplc │ ├── game-sm-success_2-2.uplc.expected │ ├── game-sm-success_2-3.uplc │ ├── game-sm-success_2-3.uplc.expected │ ├── game-sm-success_2-4.uplc │ ├── game-sm-success_2-4.uplc.expected │ ├── game-sm-success_2-5.uplc │ ├── game-sm-success_2-5.uplc.expected │ ├── game-sm-success_2-6.uplc │ ├── game-sm-success_2-6.uplc.expected │ ├── gen-validation-examples.sh │ ├── multisig-sm-1.uplc │ ├── multisig-sm-1.uplc.expected │ ├── multisig-sm-10.uplc │ ├── multisig-sm-10.uplc.expected │ ├── multisig-sm-2.uplc │ ├── multisig-sm-2.uplc.expected │ ├── multisig-sm-3.uplc │ ├── multisig-sm-3.uplc.expected │ ├── multisig-sm-4.uplc │ ├── multisig-sm-4.uplc.expected │ ├── multisig-sm-5.uplc │ ├── multisig-sm-5.uplc.expected │ ├── multisig-sm-6.uplc │ ├── multisig-sm-6.uplc.expected │ ├── multisig-sm-7.uplc │ ├── multisig-sm-7.uplc.expected │ ├── multisig-sm-8.uplc │ ├── multisig-sm-8.uplc.expected │ ├── multisig-sm-9.uplc │ ├── multisig-sm-9.uplc.expected │ ├── ping-pong-1.uplc │ ├── ping-pong-1.uplc.expected │ ├── ping-pong-2.uplc │ ├── ping-pong-2.uplc.expected │ ├── ping-pong_2-1.uplc │ ├── ping-pong_2-1.uplc.expected │ ├── prism-1.uplc │ ├── prism-1.uplc.expected │ ├── prism-2.uplc │ ├── prism-2.uplc.expected │ ├── prism-3.uplc │ ├── prism-3.uplc.expected │ ├── pubkey-1.uplc │ ├── pubkey-1.uplc.expected │ ├── stablecoin_1-1.uplc │ ├── stablecoin_1-1.uplc.expected │ ├── stablecoin_1-2.uplc │ ├── stablecoin_1-2.uplc.expected │ ├── stablecoin_1-3.uplc │ ├── stablecoin_1-3.uplc.expected │ ├── stablecoin_1-4.uplc │ ├── stablecoin_1-4.uplc.expected │ ├── stablecoin_1-5.uplc │ ├── stablecoin_1-5.uplc.expected │ ├── stablecoin_1-6.uplc │ ├── stablecoin_1-6.uplc.expected │ ├── stablecoin_2-1.uplc │ ├── stablecoin_2-1.uplc.expected │ ├── stablecoin_2-2.uplc │ ├── stablecoin_2-2.uplc.expected │ ├── stablecoin_2-3.uplc │ ├── stablecoin_2-3.uplc.expected │ ├── stablecoin_2-4.uplc │ ├── stablecoin_2-4.uplc.expected │ ├── token-account-1.uplc │ ├── token-account-1.uplc.expected │ ├── token-account-2.uplc │ ├── token-account-2.uplc.expected │ ├── uniswap-1.uplc │ ├── uniswap-1.uplc.expected │ ├── uniswap-2.uplc │ ├── uniswap-2.uplc.expected │ ├── uniswap-3.uplc │ ├── uniswap-3.uplc.expected │ ├── uniswap-4.uplc │ ├── uniswap-4.uplc.expected │ ├── uniswap-5.uplc │ ├── uniswap-5.uplc.expected │ ├── uniswap-6.uplc │ ├── uniswap-6.uplc.expected │ ├── vesting-1.uplc │ └── vesting-1.uplc.expected │ ├── error │ ├── DivideByZero.uplc │ ├── DivideByZero.uplc.expected │ ├── DivideByZeroDrop.uplc │ ├── DivideByZeroDrop.uplc.expected │ ├── addInteger-bool-wrong-1st-argument.uplc │ ├── addInteger-bool-wrong-1st-argument.uplc.expected │ ├── addInteger-bytestring-wrong-1st-argument.uplc │ ├── addInteger-bytestring-wrong-1st-argument.uplc.expected │ ├── addInteger-data-wrong-1st-argument.uplc │ ├── addInteger-data-wrong-1st-argument.uplc.expected │ ├── addInteger-list-integer--wrong-1st-argument.uplc │ ├── addInteger-list-integer--wrong-1st-argument.uplc.expected │ ├── addInteger-pair-integer--integer--wrong-1st-argument.uplc │ ├── addInteger-pair-integer--integer--wrong-1st-argument.uplc.expected │ ├── addInteger-string-wrong-1st-argument.uplc │ ├── addInteger-string-wrong-1st-argument.uplc.expected │ ├── addInteger-unit-wrong-1st-argument.uplc │ ├── addInteger-unit-wrong-1st-argument.uplc.expected │ ├── appendByteString.uplc │ ├── appendByteString.uplc.expected │ ├── appendString-wrong-1st-argument.uplc │ ├── appendString-wrong-1st-argument.uplc.expected │ ├── appendString-wrong-2nd-argument.uplc │ ├── appendString-wrong-2nd-argument.uplc.expected │ ├── appendString-wrong-both-arguments.uplc │ ├── appendString-wrong-both-arguments.uplc.expected │ ├── apply-cons-to-value.uplc │ ├── apply-cons-to-value.uplc.expected │ ├── apply-delay-to-value.uplc │ ├── apply-delay-to-value.uplc.expected │ ├── apply-value-to-value.uplc │ ├── apply-value-to-value.uplc.expected │ ├── arg-type-error.py │ ├── bData.uplc │ ├── bData.uplc.expected │ ├── blake2b.uplc │ ├── blake2b.uplc.expected │ ├── choose-wrong-1st-argument.uplc │ ├── choose-wrong-1st-argument.uplc.expected │ ├── chooseData.uplc │ ├── chooseData.uplc.expected │ ├── chooseDataConstr.uplc │ ├── chooseDataConstr.uplc.expected │ ├── chooseDataInteger.uplc │ ├── chooseDataInteger.uplc.expected │ ├── chooseList-no-force.uplc │ ├── chooseList-no-force.uplc.expected │ ├── chooseList-wrong-1st-argument.uplc │ ├── chooseList-wrong-1st-argument.uplc.expected │ ├── chooseUnit-no-force.uplc │ ├── chooseUnit-no-force.uplc.expected │ ├── chooseUnit-wrong-type.uplc │ ├── chooseUnit-wrong-type.uplc.expected │ ├── consByteString.uplc │ ├── consByteString.uplc.expected │ ├── constrData.uplc │ ├── constrData.uplc.expected │ ├── decodeUtf8-wrong-argument.uplc │ ├── decodeUtf8-wrong-argument.uplc.expected │ ├── divideInteger-bool-wrong-1st-argument.uplc │ ├── divideInteger-bool-wrong-1st-argument.uplc.expected │ ├── divideInteger-bytestring-wrong-1st-argument.uplc │ ├── divideInteger-bytestring-wrong-1st-argument.uplc.expected │ ├── divideInteger-data-wrong-1st-argument.uplc │ ├── divideInteger-data-wrong-1st-argument.uplc.expected │ ├── divideInteger-list-integer--wrong-1st-argument.uplc │ ├── divideInteger-list-integer--wrong-1st-argument.uplc.expected │ ├── divideInteger-pair-integer--integer--wrong-1st-argument.uplc │ ├── divideInteger-pair-integer--integer--wrong-1st-argument.uplc.expected │ ├── divideInteger-string-wrong-1st-argument.uplc │ ├── divideInteger-string-wrong-1st-argument.uplc.expected │ ├── divideInteger-unit-wrong-1st-argument.uplc │ ├── divideInteger-unit-wrong-1st-argument.uplc.expected │ ├── divideInteger-zero-division.uplc │ ├── divideInteger-zero-division.uplc.expected │ ├── encodeUtf8-wrong-argument.uplc │ ├── encodeUtf8-wrong-argument.uplc.expected │ ├── equalsByteString.uplc │ ├── equalsByteString.uplc.expected │ ├── equalsDataFalse.uplc │ ├── equalsDataFalse.uplc.expected │ ├── equalsInteger-bool-wrong-1st-argument.uplc │ ├── equalsInteger-bool-wrong-1st-argument.uplc.expected │ ├── equalsInteger-bytestring-wrong-1st-argument.uplc │ ├── equalsInteger-bytestring-wrong-1st-argument.uplc.expected │ ├── equalsInteger-data-wrong-1st-argument.uplc │ ├── equalsInteger-data-wrong-1st-argument.uplc.expected │ ├── equalsInteger-list-integer--wrong-1st-argument.uplc │ ├── equalsInteger-list-integer--wrong-1st-argument.uplc.expected │ ├── equalsInteger-pair-integer--integer--wrong-1st-argument.uplc │ ├── equalsInteger-pair-integer--integer--wrong-1st-argument.uplc.expected │ ├── equalsInteger-string-wrong-1st-argument.uplc │ ├── equalsInteger-string-wrong-1st-argument.uplc.expected │ ├── equalsInteger-unit-wrong-1st-argument.uplc │ ├── equalsInteger-unit-wrong-1st-argument.uplc.expected │ ├── equalsString-wrong-1st-argument.uplc │ ├── equalsString-wrong-1st-argument.uplc.expected │ ├── equalsString-wrong-2nd-argument.uplc │ ├── equalsString-wrong-2nd-argument.uplc.expected │ ├── equalsString-wrong-both-arguments.uplc │ ├── equalsString-wrong-both-arguments.uplc.expected │ ├── error.uplc │ ├── error.uplc.expected │ ├── fstPairOfPairAndList-no-force.uplc │ ├── fstPairOfPairAndList-no-force.uplc.expected │ ├── fstPairOfPairAndList-wrong-type.uplc │ ├── fstPairOfPairAndList-wrong-type.uplc.expected │ ├── headList-no-force.uplc │ ├── headList-no-force.uplc.expected │ ├── headList-wrong-type.uplc │ ├── headList-wrong-type.uplc.expected │ ├── iData.uplc │ ├── iData.uplc.expected │ ├── id.uplc │ ├── id.uplc.expected │ ├── ifThenElse-no-force.uplc │ ├── ifThenElse-no-force.uplc.expected │ ├── ifThenElse-wrong-argument.uplc │ ├── ifThenElse-wrong-argument.uplc.expected │ ├── indexByteString.uplc │ ├── indexByteString.uplc.expected │ ├── indexByteStringOutOfBounds.uplc │ ├── indexByteStringOutOfBounds.uplc.expected │ ├── lengthOfByteString.uplc │ ├── lengthOfByteString.uplc.expected │ ├── lessThanByteString.uplc │ ├── lessThanByteString.uplc.expected │ ├── lessThanEqualsByteString.uplc │ ├── lessThanEqualsByteString.uplc.expected │ ├── lessThanEqualsInteger-bool-wrong-1st-argument.uplc │ ├── lessThanEqualsInteger-bool-wrong-1st-argument.uplc.expected │ ├── lessThanEqualsInteger-bytestring-wrong-1st-argument.uplc │ ├── lessThanEqualsInteger-bytestring-wrong-1st-argument.uplc.expected │ ├── lessThanEqualsInteger-data-wrong-1st-argument.uplc │ ├── lessThanEqualsInteger-data-wrong-1st-argument.uplc.expected │ ├── lessThanEqualsInteger-list-integer--wrong-1st-argument.uplc │ ├── lessThanEqualsInteger-list-integer--wrong-1st-argument.uplc.expected │ ├── lessThanEqualsInteger-pair-integer--integer--wrong-1st-argument.uplc │ ├── lessThanEqualsInteger-pair-integer--integer--wrong-1st-argument.uplc.expected │ ├── lessThanEqualsInteger-string-wrong-1st-argument.uplc │ ├── lessThanEqualsInteger-string-wrong-1st-argument.uplc.expected │ ├── lessThanEqualsInteger-unit-wrong-1st-argument.uplc │ ├── lessThanEqualsInteger-unit-wrong-1st-argument.uplc.expected │ ├── lessThanInteger-bool-wrong-1st-argument.uplc │ ├── lessThanInteger-bool-wrong-1st-argument.uplc.expected │ ├── lessThanInteger-bytestring-wrong-1st-argument.uplc │ ├── lessThanInteger-bytestring-wrong-1st-argument.uplc.expected │ ├── lessThanInteger-data-wrong-1st-argument.uplc │ ├── lessThanInteger-data-wrong-1st-argument.uplc.expected │ ├── lessThanInteger-list-integer--wrong-1st-argument.uplc │ ├── lessThanInteger-list-integer--wrong-1st-argument.uplc.expected │ ├── lessThanInteger-pair-integer--integer--wrong-1st-argument.uplc │ ├── lessThanInteger-pair-integer--integer--wrong-1st-argument.uplc.expected │ ├── lessThanInteger-string-wrong-1st-argument.uplc │ ├── lessThanInteger-string-wrong-1st-argument.uplc.expected │ ├── lessThanInteger-unit-wrong-1st-argument.uplc │ ├── lessThanInteger-unit-wrong-1st-argument.uplc.expected │ ├── listData.uplc │ ├── listData.uplc.expected │ ├── mapData.uplc │ ├── mapData.uplc.expected │ ├── mkCons-no-force.uplc │ ├── mkCons-no-force.uplc.expected │ ├── mkCons-wrong-argument.uplc │ ├── mkCons-wrong-argument.uplc.expected │ ├── mkNilData.uplc │ ├── mkNilData.uplc.expected │ ├── mkNilPairData.uplc │ ├── mkNilPairData.uplc.expected │ ├── mkPairData.uplc │ ├── mkPairData.uplc.expected │ ├── modInteger-bool-wrong-1st-argument.uplc │ ├── modInteger-bool-wrong-1st-argument.uplc.expected │ ├── modInteger-bytestring-wrong-1st-argument.uplc │ ├── modInteger-bytestring-wrong-1st-argument.uplc.expected │ ├── modInteger-data-wrong-1st-argument.uplc │ ├── modInteger-data-wrong-1st-argument.uplc.expected │ ├── modInteger-list-integer--wrong-1st-argument.uplc │ ├── modInteger-list-integer--wrong-1st-argument.uplc.expected │ ├── modInteger-pair-integer--integer--wrong-1st-argument.uplc │ ├── modInteger-pair-integer--integer--wrong-1st-argument.uplc.expected │ ├── modInteger-string-wrong-1st-argument.uplc │ ├── modInteger-string-wrong-1st-argument.uplc.expected │ ├── modInteger-unit-wrong-1st-argument.uplc │ ├── modInteger-unit-wrong-1st-argument.uplc.expected │ ├── multiplyInteger-bool-wrong-1st-argument.uplc │ ├── multiplyInteger-bool-wrong-1st-argument.uplc.expected │ ├── multiplyInteger-bytestring-wrong-1st-argument.uplc │ ├── multiplyInteger-bytestring-wrong-1st-argument.uplc.expected │ ├── multiplyInteger-data-wrong-1st-argument.uplc │ ├── multiplyInteger-data-wrong-1st-argument.uplc.expected │ ├── multiplyInteger-list-integer--wrong-1st-argument.uplc │ ├── multiplyInteger-list-integer--wrong-1st-argument.uplc.expected │ ├── multiplyInteger-pair-integer--integer--wrong-1st-argument.uplc │ ├── multiplyInteger-pair-integer--integer--wrong-1st-argument.uplc.expected │ ├── multiplyInteger-string-wrong-1st-argument.uplc │ ├── multiplyInteger-string-wrong-1st-argument.uplc.expected │ ├── multiplyInteger-unit-wrong-1st-argument.uplc │ ├── multiplyInteger-unit-wrong-1st-argument.uplc.expected │ ├── nullList-no-force.uplc │ ├── nullList-no-force.uplc.expected │ ├── nullList-wrong-argument.uplc │ ├── nullList-wrong-argument.uplc.expected │ ├── quotientInteger-bool-wrong-1st-argument.uplc │ ├── quotientInteger-bool-wrong-1st-argument.uplc.expected │ ├── quotientInteger-bytestring-wrong-1st-argument.uplc │ ├── quotientInteger-bytestring-wrong-1st-argument.uplc.expected │ ├── quotientInteger-data-wrong-1st-argument.uplc │ ├── quotientInteger-data-wrong-1st-argument.uplc.expected │ ├── quotientInteger-list-integer--wrong-1st-argument.uplc │ ├── quotientInteger-list-integer--wrong-1st-argument.uplc.expected │ ├── quotientInteger-pair-integer--integer--wrong-1st-argument.uplc │ ├── quotientInteger-pair-integer--integer--wrong-1st-argument.uplc.expected │ ├── quotientInteger-string-wrong-1st-argument.uplc │ ├── quotientInteger-string-wrong-1st-argument.uplc.expected │ ├── quotientInteger-unit-wrong-1st-argument.uplc │ ├── quotientInteger-unit-wrong-1st-argument.uplc.expected │ ├── quotientInteger-zero-division.uplc │ ├── quotientInteger-zero-division.uplc.expected │ ├── remainderInteger-bool-wrong-1st-argument.uplc │ ├── remainderInteger-bool-wrong-1st-argument.uplc.expected │ ├── remainderInteger-bytestring-wrong-1st-argument.uplc │ ├── remainderInteger-bytestring-wrong-1st-argument.uplc.expected │ ├── remainderInteger-data-wrong-1st-argument.uplc │ ├── remainderInteger-data-wrong-1st-argument.uplc.expected │ ├── remainderInteger-list-integer--wrong-1st-argument.uplc │ ├── remainderInteger-list-integer--wrong-1st-argument.uplc.expected │ ├── remainderInteger-pair-integer--integer--wrong-1st-argument.uplc │ ├── remainderInteger-pair-integer--integer--wrong-1st-argument.uplc.expected │ ├── remainderInteger-string-wrong-1st-argument.uplc │ ├── remainderInteger-string-wrong-1st-argument.uplc.expected │ ├── remainderInteger-unit-wrong-1st-argument.uplc │ ├── remainderInteger-unit-wrong-1st-argument.uplc.expected │ ├── remainderInteger-zero-division.uplc │ ├── remainderInteger-zero-division.uplc.expected │ ├── sha2.uplc │ ├── sha2.uplc.expected │ ├── sha3.uplc │ ├── sha3.uplc.expected │ ├── sliceByteString.uplc │ ├── sliceByteString.uplc.expected │ ├── sndPairOfPairAndList-no-force.uplc │ ├── sndPairOfPairAndList-no-force.uplc.expected │ ├── sndPairOfPairAndList-wrong-argument.uplc │ ├── sndPairOfPairAndList-wrong-argument.uplc.expected │ ├── subtractInteger-bool-wrong-1st-argument.uplc │ ├── subtractInteger-bool-wrong-1st-argument.uplc.expected │ ├── subtractInteger-bytestring-wrong-1st-argument.uplc │ ├── subtractInteger-bytestring-wrong-1st-argument.uplc.expected │ ├── subtractInteger-data-wrong-1st-argument.uplc │ ├── subtractInteger-data-wrong-1st-argument.uplc.expected │ ├── subtractInteger-list-integer--wrong-1st-argument.uplc │ ├── subtractInteger-list-integer--wrong-1st-argument.uplc.expected │ ├── subtractInteger-pair-integer--integer--wrong-1st-argument.uplc │ ├── subtractInteger-pair-integer--integer--wrong-1st-argument.uplc.expected │ ├── subtractInteger-string-wrong-1st-argument.uplc │ ├── subtractInteger-string-wrong-1st-argument.uplc.expected │ ├── subtractInteger-unit-wrong-1st-argument.uplc │ ├── subtractInteger-unit-wrong-1st-argument.uplc.expected │ ├── tailList-no-force.uplc │ ├── tailList-no-force.uplc.expected │ ├── tailList-wrong-argument.uplc │ ├── tailList-wrong-argument.uplc.expected │ ├── trace-no-force.uplc │ ├── trace-no-force.uplc.expected │ ├── trace-wrong-argument.uplc │ ├── trace-wrong-argument.uplc.expected │ ├── unBData.uplc │ ├── unBData.uplc.expected │ ├── unConstrData.uplc │ ├── unConstrData.uplc.expected │ ├── unIData.uplc │ ├── unIData.uplc.expected │ ├── unListData.uplc │ ├── unListData.uplc.expected │ ├── unMapData.uplc │ ├── unMapData.uplc.expected │ ├── verifySignature10.uplc │ └── verifySignature10.uplc.expected │ ├── new-syntax │ ├── bData.uplc │ ├── bData.uplc.expected │ ├── chooseDataByteString-part1.uplc │ ├── chooseDataByteString-part1.uplc.expected │ ├── chooseDataByteString-part2.uplc │ ├── chooseDataByteString-part2.uplc.expected │ ├── chooseDataByteString-part3.uplc │ ├── chooseDataByteString-part3.uplc.expected │ ├── chooseDataByteString-part4.uplc │ ├── chooseDataByteString-part4.uplc.expected │ ├── chooseDataByteString-part5.uplc │ ├── chooseDataByteString-part5.uplc.expected │ ├── chooseDataByteString.uplc │ ├── chooseDataByteString.uplc.expected │ ├── chooseDataConstr.uplc │ ├── chooseDataConstr.uplc.expected │ ├── chooseDataInteger.uplc │ ├── chooseDataInteger.uplc.expected │ ├── chooseDataList.uplc │ ├── chooseDataList.uplc.expected │ ├── chooseDataMap.uplc │ ├── chooseDataMap.uplc.expected │ ├── chooseList-part.uplc │ ├── chooseList-part.uplc.expected │ ├── chooseList.uplc │ ├── chooseList.uplc.expected │ ├── chooseList2.uplc │ ├── chooseList2.uplc.expected │ ├── constrData-part.uplc │ ├── constrData-part.uplc.expected │ ├── constrData.uplc │ ├── constrData.uplc.expected │ ├── dataByteString.uplc │ ├── dataByteString.uplc.expected │ ├── dataCborB#.uplc │ ├── dataCborB#.uplc.expected │ ├── dataCborB#0-f.uplc │ ├── dataCborB#0-f.uplc.expected │ ├── dataCborConstr0.uplc │ ├── dataCborConstr0.uplc.expected │ ├── dataCborEmptyList.uplc │ ├── dataCborEmptyList.uplc.expected │ ├── dataCborEmptyMap.uplc │ ├── dataCborEmptyMap.uplc.expected │ ├── dataCborFromTrivialMinting.uplc │ ├── dataCborFromTrivialMinting.uplc.expected │ ├── dataCborI-987654321.uplc │ ├── dataCborI-987654321.uplc.expected │ ├── dataCborI256.uplc │ ├── dataCborI256.uplc.expected │ ├── dataCborLargeNegative.uplc │ ├── dataCborLargeNegative.uplc.expected │ ├── dataCborMap.uplc │ ├── dataCborMap.uplc.expected │ ├── dataConstr.uplc │ ├── dataConstr.uplc.expected │ ├── dataInteger.uplc │ ├── dataInteger.uplc.expected │ ├── dataList.uplc │ ├── dataList.uplc.expected │ ├── dataMap.uplc │ ├── dataMap.uplc.expected │ ├── emptyList.uplc │ ├── emptyList.uplc.expected │ ├── equalsData-part.uplc │ ├── equalsData-part.uplc.expected │ ├── equalsDataFalse.uplc │ ├── equalsDataFalse.uplc.expected │ ├── equalsDataTrue.uplc │ ├── equalsDataTrue.uplc.expected │ ├── fstPairOfPairAndList.uplc │ ├── fstPairOfPairAndList.uplc.expected │ ├── headList.uplc │ ├── headList.uplc.expected │ ├── headList2.uplc │ ├── headList2.uplc.expected │ ├── iData.uplc │ ├── iData.uplc.expected │ ├── listData.uplc │ ├── listData.uplc.expected │ ├── listOfList.uplc │ ├── listOfList.uplc.expected │ ├── listOfPair.uplc │ ├── listOfPair.uplc.expected │ ├── listSum.uplc │ ├── listSum.uplc.expected │ ├── mapData.uplc │ ├── mapData.uplc.expected │ ├── maxList.uplc │ ├── maxList.uplc.expected │ ├── maxListTailRec.uplc │ ├── maxListTailRec.uplc.expected │ ├── mkCons-part.uplc │ ├── mkCons-part.uplc.expected │ ├── mkCons.uplc │ ├── mkCons.uplc.expected │ ├── mkCons2.uplc │ ├── mkCons2.uplc.expected │ ├── mkNilData.uplc │ ├── mkNilData.uplc.expected │ ├── mkNilPairData.uplc │ ├── mkNilPairData.uplc.expected │ ├── mkPairData-part.uplc │ ├── mkPairData-part.uplc.expected │ ├── mkPairData.uplc │ ├── mkPairData.uplc.expected │ ├── nullList.uplc │ ├── nullList.uplc.expected │ ├── nullList2.uplc │ ├── nullList2.uplc.expected │ ├── pairOfPairAndList.uplc │ ├── pairOfPairAndList.uplc.expected │ ├── simpleList.uplc │ ├── simpleList.uplc.expected │ ├── simplePair.uplc │ ├── simplePair.uplc.expected │ ├── sndPairOfPairAndList.uplc │ ├── sndPairOfPairAndList.uplc.expected │ ├── tailList.uplc │ ├── tailList.uplc.expected │ ├── tailList2.uplc │ ├── tailList2.uplc.expected │ ├── unBData.uplc │ ├── unBData.uplc.expected │ ├── unConstrData.uplc │ ├── unConstrData.uplc.expected │ ├── unIData.uplc │ ├── unIData.uplc.expected │ ├── unListData.uplc │ ├── unListData.uplc.expected │ ├── unMapData.uplc │ ├── unMapData.uplc.expected │ ├── unitList.uplc │ └── unitList.uplc.expected │ ├── nofib-exe-examples │ ├── clausify-F7.uplc │ ├── generate-nofib-exe-examples │ ├── knights-500-500.uplc │ ├── lastpiece.uplc │ ├── prime-P200.uplc │ ├── primetest-large.uplc │ ├── primetest-large.uplc.expected │ └── queens-6-bt.uplc │ ├── simple │ ├── addInteger-no-args.uplc │ ├── addInteger-non-interactive.uplc │ ├── addInteger-non-interactive.uplc.expected │ ├── addInteger-one-arg.uplc │ ├── addInteger-part.uplc │ ├── addInteger-part.uplc.expected │ ├── addInteger-uncurried.uplc │ ├── addInteger-uncurried.uplc.expected │ ├── addInteger.uplc │ ├── addInteger.uplc.expected │ ├── app.uplc │ ├── app.uplc.expected │ ├── app2.uplc │ ├── app2.uplc.expected │ ├── appendByteString-part.uplc │ ├── appendByteString-part.uplc.expected │ ├── appendByteString.uplc │ ├── appendByteString.uplc.expected │ ├── appendEmptyString.uplc │ ├── appendEmptyString.uplc.expected │ ├── appendString-part.uplc │ ├── appendString-part.uplc.expected │ ├── appendString.uplc │ ├── appendString.uplc.expected │ ├── blake2b.uplc │ ├── blake2b.uplc.expected │ ├── chooseUnit-part.uplc │ ├── chooseUnit-part.uplc.expected │ ├── chooseUnit.uplc │ ├── chooseUnit.uplc.expected │ ├── conByteString-empty.uplc │ ├── conByteString-empty.uplc.expected │ ├── conByteString-long.uplc │ ├── conByteString-long.uplc.expected │ ├── conByteString.uplc │ ├── conByteString.uplc.expected │ ├── conFalse.uplc │ ├── conFalse.uplc.expected │ ├── conInteger-1234.uplc │ ├── conInteger-1234.uplc.expected │ ├── conInteger-largeNegative.uplc │ ├── conInteger-largeNegative.uplc.expected │ ├── conInteger-largePositive.uplc │ ├── conInteger-largePositive.uplc.expected │ ├── conInteger-negative1234.uplc │ ├── conInteger-negative1234.uplc.expected │ ├── conInteger.uplc │ ├── conInteger.uplc.expected │ ├── conString-empty.uplc │ ├── conString-empty.uplc.expected │ ├── conString.uplc │ ├── conString.uplc.expected │ ├── conTrue.uplc │ ├── conTrue.uplc.expected │ ├── conUnit.uplc │ ├── conUnit.uplc.expected │ ├── consByteString.uplc │ ├── consByteString.uplc.expected │ ├── decodeUtf8.uplc │ ├── decodeUtf8.uplc.expected │ ├── delay-error.uplc │ ├── delay-error.uplc.expected │ ├── delay-lam.uplc │ ├── delay-lam.uplc.expected │ ├── delay-lam2.uplc │ ├── delay-lam2.uplc.expected │ ├── delay-lam3.uplc │ ├── delay-lam3.uplc.expected │ ├── delay-true.uplc │ ├── delay-true.uplc.expected │ ├── delay-unit.uplc │ ├── delay-unit.uplc.expected │ ├── delay-unit2.uplc │ ├── delay-unit2.uplc.expected │ ├── delay.uplc │ ├── discharge-delay-app.uplc │ ├── discharge-delay-app.uplc.expected │ ├── discharge-delay-nested-app.uplc │ ├── discharge-delay-nested-app.uplc.expected │ ├── divideInteger-part.uplc │ ├── divideInteger-part.uplc.expected │ ├── divideInteger.uplc │ ├── divideInteger.uplc.expected │ ├── encodeUtf8.uplc │ ├── encodeUtf8.uplc.expected │ ├── equalsByteString-part.uplc │ ├── equalsByteString-part.uplc.expected │ ├── equalsByteString.uplc │ ├── equalsByteString.uplc.expected │ ├── equalsInteger-part.uplc │ ├── equalsInteger-part.uplc.expected │ ├── equalsInteger-true.uplc │ ├── equalsInteger-true.uplc.expected │ ├── equalsInteger.uplc │ ├── equalsInteger.uplc.expected │ ├── equalsString-part.uplc │ ├── equalsString-part.uplc.expected │ ├── equalsString-true.uplc │ ├── equalsString-true.uplc.expected │ ├── equalsString.uplc │ ├── equalsString.uplc.expected │ ├── factorial.uplc │ ├── factorial.uplc.expected │ ├── false-var.uplc │ ├── force-lam.uplc │ ├── force-lam.uplc.expected │ ├── force.uplc │ ├── ifThenElse-part.uplc │ ├── ifThenElse-part.uplc.expected │ ├── ifThenElse.uplc │ ├── ifThenElse.uplc.expected │ ├── indexByteString-part.uplc │ ├── indexByteString-part.uplc.expected │ ├── indexByteString.uplc │ ├── indexByteString.uplc.expected │ ├── lam-unit1.uplc │ ├── lam-unit1.uplc.expected │ ├── lam-unit2.uplc │ ├── lam-unit2.uplc.expected │ ├── lam.uplc │ ├── lam.uplc.expected │ ├── lengthOfByteString.uplc │ ├── lengthOfByteString.uplc.expected │ ├── lessThanByteString-part.uplc │ ├── lessThanByteString-part.uplc.expected │ ├── lessThanByteStringFalse.uplc │ ├── lessThanByteStringFalse.uplc.expected │ ├── lessThanByteStringTrue.uplc │ ├── lessThanByteStringTrue.uplc.expected │ ├── lessThanEqualsByteString-part.uplc │ ├── lessThanEqualsByteString-part.uplc.expected │ ├── lessThanEqualsByteStringFalse.uplc │ ├── lessThanEqualsByteStringFalse.uplc.expected │ ├── lessThanEqualsByteStringTrue.uplc │ ├── lessThanEqualsByteStringTrue.uplc.expected │ ├── lessThanEqualsInteger-part.uplc │ ├── lessThanEqualsInteger-part.uplc.expected │ ├── lessThanEqualsInteger.uplc │ ├── lessThanEqualsInteger.uplc.expected │ ├── lessThanInteger-false.uplc │ ├── lessThanInteger-false.uplc.expected │ ├── lessThanInteger-part.uplc │ ├── lessThanInteger-part.uplc.expected │ ├── lessThanInteger.uplc │ ├── lessThanInteger.uplc.expected │ ├── longversion1.uplc │ ├── longversion1.uplc.expected │ ├── longversion2.uplc │ ├── longversion2.uplc.expected │ ├── longversion3.uplc │ ├── longversion3.uplc.expected │ ├── longversion4.uplc │ ├── longversion4.uplc.expected │ ├── modInteger-part.uplc │ ├── modInteger-part.uplc.expected │ ├── modInteger.uplc │ ├── modInteger.uplc.expected │ ├── multiplyInteger-part.uplc │ ├── multiplyInteger-part.uplc.expected │ ├── multiplyInteger.uplc │ ├── multiplyInteger.uplc.expected │ ├── program.uplc │ ├── program.uplc.expected │ ├── quotientInteger-part.uplc │ ├── quotientInteger-part.uplc.expected │ ├── quotientInteger.uplc │ ├── quotientInteger.uplc.expected │ ├── remainderInteger-part.uplc │ ├── remainderInteger-part.uplc.expected │ ├── remainderInteger.uplc │ ├── remainderInteger.uplc.expected │ ├── sha2.uplc │ ├── sha2.uplc.expected │ ├── sha3.uplc │ ├── sha3.uplc.expected │ ├── sliceByteString-part1.uplc │ ├── sliceByteString-part1.uplc.expected │ ├── sliceByteString-part2.uplc │ ├── sliceByteString-part2.uplc.expected │ ├── sliceByteString.uplc │ ├── sliceByteString.uplc.expected │ ├── subtractInteger-non-interactive.uplc │ ├── subtractInteger-non-interactive.uplc.expected │ ├── subtractInteger-non-iter.uplc │ ├── subtractInteger-non-iter.uplc.expected │ ├── subtractInteger-part.uplc │ ├── subtractInteger-part.uplc.expected │ ├── subtractInteger.uplc │ ├── subtractInteger.uplc.expected │ ├── trace.uplc │ ├── trace.uplc.expected │ ├── true-var.uplc │ ├── var-lam.uplc │ ├── var-lam.uplc.expected │ ├── var.uplc │ ├── verifySignature1-part1.uplc │ ├── verifySignature1-part1.uplc.expected │ ├── verifySignature1-part2.uplc │ ├── verifySignature1-part2.uplc.expected │ ├── verifySignature1.uplc │ ├── verifySignature1.uplc.expected │ ├── verifySignature10.uplc │ ├── verifySignature10.uplc.expected │ ├── verifySignature11.uplc │ ├── verifySignature11.uplc.expected │ ├── verifySignature12.uplc │ ├── verifySignature12.uplc.expected │ ├── verifySignature13.uplc │ ├── verifySignature13.uplc.expected │ ├── verifySignature14.uplc │ ├── verifySignature14.uplc.expected │ ├── verifySignature15.uplc │ ├── verifySignature15.uplc.expected │ ├── verifySignature16.uplc │ ├── verifySignature16.uplc.expected │ ├── verifySignature17.uplc │ ├── verifySignature17.uplc.expected │ ├── verifySignature18.uplc │ ├── verifySignature18.uplc.expected │ ├── verifySignature19.uplc │ ├── verifySignature19.uplc.expected │ ├── verifySignature2.uplc │ ├── verifySignature2.uplc.expected │ ├── verifySignature20.uplc │ ├── verifySignature20.uplc.expected │ ├── verifySignature21.uplc │ ├── verifySignature21.uplc.expected │ ├── verifySignature22.uplc │ ├── verifySignature22.uplc.expected │ ├── verifySignature23.uplc │ ├── verifySignature23.uplc.expected │ ├── verifySignature24.uplc │ ├── verifySignature24.uplc.expected │ ├── verifySignature25.uplc │ ├── verifySignature25.uplc.expected │ ├── verifySignature26.uplc │ ├── verifySignature26.uplc.expected │ ├── verifySignature27.uplc │ ├── verifySignature27.uplc.expected │ ├── verifySignature28.uplc │ ├── verifySignature28.uplc.expected │ ├── verifySignature29.uplc │ ├── verifySignature29.uplc.expected │ ├── verifySignature3.uplc │ ├── verifySignature3.uplc.expected │ ├── verifySignature30.uplc │ ├── verifySignature30.uplc.expected │ ├── verifySignature31.uplc │ ├── verifySignature31.uplc.expected │ ├── verifySignature4.uplc │ ├── verifySignature4.uplc.expected │ ├── verifySignature5.uplc │ ├── verifySignature5.uplc.expected │ ├── verifySignature6.uplc │ ├── verifySignature6.uplc.expected │ ├── verifySignature7.uplc │ ├── verifySignature7.uplc.expected │ ├── verifySignature8.uplc │ ├── verifySignature8.uplc.expected │ ├── verifySignature9.uplc │ └── verifySignature9.uplc.expected │ └── uplc-examples │ ├── ApplyAdd1.uplc │ ├── ApplyAdd1.uplc.expected │ ├── ApplyAdd2.uplc │ ├── ApplyAdd2.uplc.expected │ ├── DivideByZero.uplc │ ├── DivideByZeroDrop.uplc │ ├── IfIntegers.uplc │ ├── IfIntegers.uplc.expected │ ├── NatRoundTrip.uplc │ ├── NatRoundTrip.uplc.expected │ ├── ScottListSum.uplc │ ├── ScottListSum.uplc.expected │ ├── churchSucc.uplc │ ├── churchSucc.uplc.expected │ ├── churchZero.uplc │ ├── churchZero.uplc.expected │ ├── factorial.uplc │ ├── factorial.uplc.expected │ ├── factorial2.uplc │ ├── factorial2.uplc.expected │ ├── false.uplc │ ├── false.uplc.expected │ ├── fibonacci.uplc │ ├── fibonacci.uplc.expected │ ├── fibonacci2.uplc │ ├── fibonacci2.uplc.expected │ ├── overapplication.uplc │ ├── overapplication.uplc.expected │ ├── succInteger.uplc │ ├── succInteger.uplc.expected │ ├── true.uplc │ ├── true.uplc.expected │ ├── unitval.uplc │ ├── unitval.uplc.expected │ └── uplc-example-gen.sh ├── uplc-abstract-environment.md ├── uplc-builtins.md ├── uplc-bytestring-builtins.md ├── uplc-bytestring.md ├── uplc-cbor-parser.md ├── uplc-configuration.md ├── uplc-crypto-builtins.md ├── uplc-data-builtins.md ├── uplc-discharge.md ├── uplc-environment.md ├── uplc-flat-parser.md ├── uplc-free-variables.md ├── uplc-genvironment.md ├── uplc-integer-builtins.md ├── uplc-polymorphic-builtins.md ├── uplc-rw-helpers.md ├── uplc-semantics.md ├── uplc-string-builtins.md ├── uplc-string.md ├── uplc-syntax.md ├── uplc.md ├── verification-common.md └── verification-ideas.md /.github/actions/with-docker/action.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/.github/actions/with-docker/action.yml -------------------------------------------------------------------------------- /.github/workflows/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/.github/workflows/Dockerfile -------------------------------------------------------------------------------- /.github/workflows/Dockerfile.z3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/.github/workflows/Dockerfile.z3 -------------------------------------------------------------------------------- /.github/workflows/test-pr.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/.github/workflows/test-pr.yml -------------------------------------------------------------------------------- /.github/workflows/update-version.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/.github/workflows/update-version.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/.gitmodules -------------------------------------------------------------------------------- /Documentation/Milestone_2_CEK_Optimizations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/Documentation/Milestone_2_CEK_Optimizations.md -------------------------------------------------------------------------------- /Documentation/friendly-uplc.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/Documentation/friendly-uplc.md -------------------------------------------------------------------------------- /Documentation/friendly-uplc.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/Documentation/friendly-uplc.pdf -------------------------------------------------------------------------------- /INSTALL.md: -------------------------------------------------------------------------------- 1 | **UNDER CONSTRUCTION** 2 | -------------------------------------------------------------------------------- /IOG-contracts/.gitignore: -------------------------------------------------------------------------------- 1 | dist-newstyle/ 2 | -------------------------------------------------------------------------------- /IOG-contracts/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/IOG-contracts/README.md -------------------------------------------------------------------------------- /IOG-contracts/cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/IOG-contracts/cabal.project -------------------------------------------------------------------------------- /IOG-contracts/native-tokens/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/IOG-contracts/native-tokens/README.md -------------------------------------------------------------------------------- /IOG-contracts/native-tokens/native-tokens.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/IOG-contracts/native-tokens/native-tokens.cabal -------------------------------------------------------------------------------- /IOG-contracts/native-tokens/src/Contracts/Free.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/IOG-contracts/native-tokens/src/Contracts/Free.hs -------------------------------------------------------------------------------- /IOG-contracts/native-tokens/src/Contracts/NFT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/IOG-contracts/native-tokens/src/Contracts/NFT.hs -------------------------------------------------------------------------------- /IOG-contracts/native-tokens/test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/IOG-contracts/native-tokens/test/Main.hs -------------------------------------------------------------------------------- /IOG-contracts/native-tokens/test/Spec/Free.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/IOG-contracts/native-tokens/test/Spec/Free.hs -------------------------------------------------------------------------------- /IOG-contracts/native-tokens/test/Spec/NFT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/IOG-contracts/native-tokens/test/Spec/NFT.hs -------------------------------------------------------------------------------- /IOG-contracts/stablecoin/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/IOG-contracts/stablecoin/README.md -------------------------------------------------------------------------------- /IOG-contracts/stablecoin/stablecoin.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/IOG-contracts/stablecoin/stablecoin.cabal -------------------------------------------------------------------------------- /IOG-contracts/stablecoin/test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/IOG-contracts/stablecoin/test/Main.hs -------------------------------------------------------------------------------- /IOG-contracts/stablecoin/test/Spec/Stablecoin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/IOG-contracts/stablecoin/test/Spec/Stablecoin.hs -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/README.md -------------------------------------------------------------------------------- /bitstream.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/bitstream.md -------------------------------------------------------------------------------- /deps/blockchain-k-plugin_release: -------------------------------------------------------------------------------- 1 | d9f5cf8f6caf16c04ac29aeaf0f77641f8203e1d 2 | -------------------------------------------------------------------------------- /deps/k_release: -------------------------------------------------------------------------------- 1 | 5.6.77 2 | -------------------------------------------------------------------------------- /deps/pyk_release: -------------------------------------------------------------------------------- 1 | v0.1.183 2 | -------------------------------------------------------------------------------- /editor-support/emacs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/editor-support/emacs/README.md -------------------------------------------------------------------------------- /editor-support/emacs/uplc-mode.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/editor-support/emacs/uplc-mode.el -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/flake.nix -------------------------------------------------------------------------------- /k-script: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/k-script -------------------------------------------------------------------------------- /kplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/kplc -------------------------------------------------------------------------------- /kplutus-covr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/kplutus-covr -------------------------------------------------------------------------------- /kplutus-pyk/.cruft.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/kplutus-pyk/.cruft.json -------------------------------------------------------------------------------- /kplutus-pyk/.flake8: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/kplutus-pyk/.flake8 -------------------------------------------------------------------------------- /kplutus-pyk/.gitignore: -------------------------------------------------------------------------------- 1 | /dist/ 2 | __pycache__/ 3 | -------------------------------------------------------------------------------- /kplutus-pyk/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/kplutus-pyk/Makefile -------------------------------------------------------------------------------- /kplutus-pyk/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/kplutus-pyk/README.md -------------------------------------------------------------------------------- /kplutus-pyk/poetry.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/kplutus-pyk/poetry.lock -------------------------------------------------------------------------------- /kplutus-pyk/pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/kplutus-pyk/pyproject.toml -------------------------------------------------------------------------------- /kplutus-pyk/src/kplutus_pyk/__init__.py: -------------------------------------------------------------------------------- 1 | __version__ = '0.1.0' 2 | -------------------------------------------------------------------------------- /kplutus-pyk/src/kplutus_pyk/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/kplutus-pyk/src/kplutus_pyk/__main__.py -------------------------------------------------------------------------------- /kplutus-pyk/src/kplutus_pyk/genv.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/kplutus-pyk/src/kplutus_pyk/genv.py -------------------------------------------------------------------------------- /kplutus-pyk/src/kplutus_pyk/kplutus.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/kplutus-pyk/src/kplutus_pyk/kplutus.py -------------------------------------------------------------------------------- /kplutus-pyk/src/tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /kplutus-pyk/src/tests/test_kplutus_pyk.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/kplutus-pyk/src/tests/test_kplutus_pyk.py -------------------------------------------------------------------------------- /legacy/plutus-core.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/legacy/plutus-core.md -------------------------------------------------------------------------------- /legacy/sum-to-10-spec.k: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/legacy/sum-to-10-spec.k -------------------------------------------------------------------------------- /legacy/typing-tests.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/legacy/typing-tests.md -------------------------------------------------------------------------------- /legacy/typing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/legacy/typing.md -------------------------------------------------------------------------------- /legacy/unit-tests.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/legacy/unit-tests.md -------------------------------------------------------------------------------- /legacy/verification.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/legacy/verification.md -------------------------------------------------------------------------------- /nix/kplc.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/nix/kplc.patch -------------------------------------------------------------------------------- /no-hits.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/no-hits.py -------------------------------------------------------------------------------- /print2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/print2 -------------------------------------------------------------------------------- /tests/failing: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/failing -------------------------------------------------------------------------------- /tests/flat/simple/addInteger-non-interactive.flat: -------------------------------------------------------------------------------- 1 | 3p @ -------------------------------------------------------------------------------- /tests/flat/simple/addInteger-non-interactive.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 2) -------------------------------------------------------------------------------- /tests/flat/simple/addInteger-uncurried.flat: -------------------------------------------------------------------------------- 1 | 3p @ -------------------------------------------------------------------------------- /tests/flat/simple/addInteger-uncurried.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 3) -------------------------------------------------------------------------------- /tests/flat/simple/addInteger.flat: -------------------------------------------------------------------------------- 1 | 3p @ -------------------------------------------------------------------------------- /tests/flat/simple/addInteger.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 2) -------------------------------------------------------------------------------- /tests/flat/simple/app.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/app.flat -------------------------------------------------------------------------------- /tests/flat/simple/app.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 0) -------------------------------------------------------------------------------- /tests/flat/simple/app2.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/app2.flat -------------------------------------------------------------------------------- /tests/flat/simple/app2.flat.expected: -------------------------------------------------------------------------------- 1 | (con unit ()) -------------------------------------------------------------------------------- /tests/flat/simple/appendByteString.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/appendByteString.flat -------------------------------------------------------------------------------- /tests/flat/simple/appendByteString.flat.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/appendByteString.flat.expected -------------------------------------------------------------------------------- /tests/flat/simple/appendEmptyString.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/appendEmptyString.flat -------------------------------------------------------------------------------- /tests/flat/simple/appendEmptyString.flat.expected: -------------------------------------------------------------------------------- 1 | (con string "Ola mundo!") -------------------------------------------------------------------------------- /tests/flat/simple/appendString.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/appendString.flat -------------------------------------------------------------------------------- /tests/flat/simple/appendString.flat.expected: -------------------------------------------------------------------------------- 1 | (con string "Ola mundo!") -------------------------------------------------------------------------------- /tests/flat/simple/blake2b.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/blake2b.flat -------------------------------------------------------------------------------- /tests/flat/simple/blake2b.flat.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/blake2b.flat.expected -------------------------------------------------------------------------------- /tests/flat/simple/chooseUnit.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/chooseUnit.flat -------------------------------------------------------------------------------- /tests/flat/simple/chooseUnit.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 2) -------------------------------------------------------------------------------- /tests/flat/simple/conByteString-empty.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/conByteString-empty.flat -------------------------------------------------------------------------------- /tests/flat/simple/conByteString-empty.flat.expected: -------------------------------------------------------------------------------- 1 | (con bytestring #) -------------------------------------------------------------------------------- /tests/flat/simple/conByteString-long.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/conByteString-long.flat -------------------------------------------------------------------------------- /tests/flat/simple/conByteString-long.flat.expected: -------------------------------------------------------------------------------- 1 | (con bytestring #000102030405060708090a0b0c0d0e0f) -------------------------------------------------------------------------------- /tests/flat/simple/conByteString.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/conByteString.flat -------------------------------------------------------------------------------- /tests/flat/simple/conByteString.flat.expected: -------------------------------------------------------------------------------- 1 | (con bytestring #00ff) -------------------------------------------------------------------------------- /tests/flat/simple/conFalse.flat: -------------------------------------------------------------------------------- 1 | J -------------------------------------------------------------------------------- /tests/flat/simple/conFalse.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool False) -------------------------------------------------------------------------------- /tests/flat/simple/conInteger-1234.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/conInteger-1234.flat -------------------------------------------------------------------------------- /tests/flat/simple/conInteger-1234.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 1234) -------------------------------------------------------------------------------- /tests/flat/simple/conInteger-largeNegative.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/conInteger-largeNegative.flat -------------------------------------------------------------------------------- /tests/flat/simple/conInteger-largeNegative.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer -972316846216547988456897) -------------------------------------------------------------------------------- /tests/flat/simple/conInteger-largePositive.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/conInteger-largePositive.flat -------------------------------------------------------------------------------- /tests/flat/simple/conInteger-largePositive.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 972316846216547988456897) -------------------------------------------------------------------------------- /tests/flat/simple/conInteger-negative1234.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/conInteger-negative1234.flat -------------------------------------------------------------------------------- /tests/flat/simple/conInteger-negative1234.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer -1234) -------------------------------------------------------------------------------- /tests/flat/simple/conInteger.flat: -------------------------------------------------------------------------------- 1 | H -------------------------------------------------------------------------------- /tests/flat/simple/conInteger.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 0) -------------------------------------------------------------------------------- /tests/flat/simple/conString-empty.flat: -------------------------------------------------------------------------------- 1 | I -------------------------------------------------------------------------------- /tests/flat/simple/conString-empty.flat.expected: -------------------------------------------------------------------------------- 1 | (con string "") -------------------------------------------------------------------------------- /tests/flat/simple/conString.flat: -------------------------------------------------------------------------------- 1 | I hello world! -------------------------------------------------------------------------------- /tests/flat/simple/conString.flat.expected: -------------------------------------------------------------------------------- 1 | (con string "hello world!") -------------------------------------------------------------------------------- /tests/flat/simple/conTrue.flat: -------------------------------------------------------------------------------- 1 | J! -------------------------------------------------------------------------------- /tests/flat/simple/conTrue.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/conUnit.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/conUnit.flat -------------------------------------------------------------------------------- /tests/flat/simple/conUnit.flat.expected: -------------------------------------------------------------------------------- 1 | (con unit ()) -------------------------------------------------------------------------------- /tests/flat/simple/consByteString.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/consByteString.flat -------------------------------------------------------------------------------- /tests/flat/simple/consByteString.flat.expected: -------------------------------------------------------------------------------- 1 | (con bytestring #aa00ff) -------------------------------------------------------------------------------- /tests/flat/simple/decodeUtf8.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/decodeUtf8.flat -------------------------------------------------------------------------------- /tests/flat/simple/decodeUtf8.flat.expected: -------------------------------------------------------------------------------- 1 | (con string "Ola") -------------------------------------------------------------------------------- /tests/flat/simple/delay-error.flat: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/flat/simple/delay-error.flat.expected: -------------------------------------------------------------------------------- 1 | (delay (error )) -------------------------------------------------------------------------------- /tests/flat/simple/delay-lam.flat: -------------------------------------------------------------------------------- 1 | ! -------------------------------------------------------------------------------- /tests/flat/simple/delay-lam.flat.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/delay-lam.flat.expected -------------------------------------------------------------------------------- /tests/flat/simple/delay-lam2.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/delay-lam2.flat -------------------------------------------------------------------------------- /tests/flat/simple/delay-lam2.flat.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/delay-lam2.flat.expected -------------------------------------------------------------------------------- /tests/flat/simple/delay-lam3.flat: -------------------------------------------------------------------------------- 1 |    -------------------------------------------------------------------------------- /tests/flat/simple/delay-lam3.flat.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/delay-lam3.flat.expected -------------------------------------------------------------------------------- /tests/flat/simple/delay-true.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/delay-true.flat -------------------------------------------------------------------------------- /tests/flat/simple/delay-true.flat.expected: -------------------------------------------------------------------------------- 1 | (delay (con bool True)) -------------------------------------------------------------------------------- /tests/flat/simple/delay-unit.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/delay-unit.flat -------------------------------------------------------------------------------- /tests/flat/simple/delay-unit.flat.expected: -------------------------------------------------------------------------------- 1 | (delay (con unit ())) -------------------------------------------------------------------------------- /tests/flat/simple/delay-unit2.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/delay-unit2.flat -------------------------------------------------------------------------------- /tests/flat/simple/delay-unit2.flat.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/delay-unit2.flat.expected -------------------------------------------------------------------------------- /tests/flat/simple/divideInteger.flat: -------------------------------------------------------------------------------- 1 | 3pi@ -------------------------------------------------------------------------------- /tests/flat/simple/divideInteger.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 1) -------------------------------------------------------------------------------- /tests/flat/simple/encodeUtf8.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/encodeUtf8.flat -------------------------------------------------------------------------------- /tests/flat/simple/encodeUtf8.flat.expected: -------------------------------------------------------------------------------- 1 | (con bytestring #4f6c61) -------------------------------------------------------------------------------- /tests/flat/simple/equalsByteString.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/equalsByteString.flat -------------------------------------------------------------------------------- /tests/flat/simple/equalsByteString.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/equalsInteger-true.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/equalsInteger-true.flat -------------------------------------------------------------------------------- /tests/flat/simple/equalsInteger-true.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/equalsInteger.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/equalsInteger.flat -------------------------------------------------------------------------------- /tests/flat/simple/equalsInteger.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool False) -------------------------------------------------------------------------------- /tests/flat/simple/equalsString-true.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/equalsString-true.flat -------------------------------------------------------------------------------- /tests/flat/simple/equalsString-true.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/equalsString.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/equalsString.flat -------------------------------------------------------------------------------- /tests/flat/simple/equalsString.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool False) -------------------------------------------------------------------------------- /tests/flat/simple/force-lam.flat: -------------------------------------------------------------------------------- 1 | % -------------------------------------------------------------------------------- /tests/flat/simple/force-lam.flat.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/force-lam.flat.expected -------------------------------------------------------------------------------- /tests/flat/simple/ifThenElse.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/ifThenElse.flat -------------------------------------------------------------------------------- /tests/flat/simple/ifThenElse.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 0) -------------------------------------------------------------------------------- /tests/flat/simple/indexByteString.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/indexByteString.flat -------------------------------------------------------------------------------- /tests/flat/simple/indexByteString.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 255) -------------------------------------------------------------------------------- /tests/flat/simple/lam-unit1.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/lam-unit1.flat -------------------------------------------------------------------------------- /tests/flat/simple/lam-unit1.flat.expected: -------------------------------------------------------------------------------- 1 | (lam v_0 (con unit ())) -------------------------------------------------------------------------------- /tests/flat/simple/lam-unit2.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/lam-unit2.flat -------------------------------------------------------------------------------- /tests/flat/simple/lam-unit2.flat.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/lam-unit2.flat.expected -------------------------------------------------------------------------------- /tests/flat/simple/lam.flat: -------------------------------------------------------------------------------- 1 |   -------------------------------------------------------------------------------- /tests/flat/simple/lam.flat.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/lam.flat.expected -------------------------------------------------------------------------------- /tests/flat/simple/lengthOfByteString.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/lengthOfByteString.flat -------------------------------------------------------------------------------- /tests/flat/simple/lengthOfByteString.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 3) -------------------------------------------------------------------------------- /tests/flat/simple/lessThanByteStringFalse.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/lessThanByteStringFalse.flat -------------------------------------------------------------------------------- /tests/flat/simple/lessThanByteStringFalse.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool False) -------------------------------------------------------------------------------- /tests/flat/simple/lessThanByteStringTrue.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/lessThanByteStringTrue.flat -------------------------------------------------------------------------------- /tests/flat/simple/lessThanByteStringTrue.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/lessThanEqualsByteStringFalse.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool False) -------------------------------------------------------------------------------- /tests/flat/simple/lessThanEqualsByteStringTrue.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/lessThanEqualsInteger.flat: -------------------------------------------------------------------------------- 1 | 3q)@ -------------------------------------------------------------------------------- /tests/flat/simple/lessThanEqualsInteger.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/lessThanInteger-false.flat: -------------------------------------------------------------------------------- 1 | 3q "@ -------------------------------------------------------------------------------- /tests/flat/simple/lessThanInteger-false.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool False) -------------------------------------------------------------------------------- /tests/flat/simple/lessThanInteger.flat: -------------------------------------------------------------------------------- 1 | 3q @ -------------------------------------------------------------------------------- /tests/flat/simple/lessThanInteger.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/longversion1.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/longversion1.flat -------------------------------------------------------------------------------- /tests/flat/simple/longversion1.flat.expected: -------------------------------------------------------------------------------- 1 | (con unit ()) -------------------------------------------------------------------------------- /tests/flat/simple/longversion2.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/longversion2.flat -------------------------------------------------------------------------------- /tests/flat/simple/longversion2.flat.expected: -------------------------------------------------------------------------------- 1 | (con unit ()) -------------------------------------------------------------------------------- /tests/flat/simple/longversion3.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/longversion3.flat -------------------------------------------------------------------------------- /tests/flat/simple/longversion3.flat.expected: -------------------------------------------------------------------------------- 1 | (con unit ()) -------------------------------------------------------------------------------- /tests/flat/simple/longversion4.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/longversion4.flat -------------------------------------------------------------------------------- /tests/flat/simple/longversion4.flat.expected: -------------------------------------------------------------------------------- 1 | (con unit ()) -------------------------------------------------------------------------------- /tests/flat/simple/modInteger.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/modInteger.flat -------------------------------------------------------------------------------- /tests/flat/simple/modInteger.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 2) -------------------------------------------------------------------------------- /tests/flat/simple/multiplyInteger.flat: -------------------------------------------------------------------------------- 1 | 3pI@ -------------------------------------------------------------------------------- /tests/flat/simple/multiplyInteger.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 1) -------------------------------------------------------------------------------- /tests/flat/simple/program.flat: -------------------------------------------------------------------------------- 1 | H -------------------------------------------------------------------------------- /tests/flat/simple/program.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 0) -------------------------------------------------------------------------------- /tests/flat/simple/quotientInteger.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/quotientInteger.flat -------------------------------------------------------------------------------- /tests/flat/simple/quotientInteger.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 0) -------------------------------------------------------------------------------- /tests/flat/simple/remainderInteger.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/remainderInteger.flat -------------------------------------------------------------------------------- /tests/flat/simple/remainderInteger.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 1) -------------------------------------------------------------------------------- /tests/flat/simple/sha2.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/sha2.flat -------------------------------------------------------------------------------- /tests/flat/simple/sha2.flat.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/sha2.flat.expected -------------------------------------------------------------------------------- /tests/flat/simple/sha3.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/sha3.flat -------------------------------------------------------------------------------- /tests/flat/simple/sha3.flat.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/sha3.flat.expected -------------------------------------------------------------------------------- /tests/flat/simple/sliceByteString.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/sliceByteString.flat -------------------------------------------------------------------------------- /tests/flat/simple/sliceByteString.flat.expected: -------------------------------------------------------------------------------- 1 | (con bytestring #ffaa) -------------------------------------------------------------------------------- /tests/flat/simple/subtractInteger-non-interactive.flat: -------------------------------------------------------------------------------- 1 | 3p)@ -------------------------------------------------------------------------------- /tests/flat/simple/subtractInteger-non-interactive.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer -3) -------------------------------------------------------------------------------- /tests/flat/simple/subtractInteger-non-iter.flat: -------------------------------------------------------------------------------- 1 | 3p)@ -------------------------------------------------------------------------------- /tests/flat/simple/subtractInteger-non-iter.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer -1) -------------------------------------------------------------------------------- /tests/flat/simple/subtractInteger.flat: -------------------------------------------------------------------------------- 1 | 3p)@ -------------------------------------------------------------------------------- /tests/flat/simple/subtractInteger.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 0) -------------------------------------------------------------------------------- /tests/flat/simple/trace.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/trace.flat -------------------------------------------------------------------------------- /tests/flat/simple/trace.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 2) -------------------------------------------------------------------------------- /tests/flat/simple/var-lam.flat: -------------------------------------------------------------------------------- 1 |   -------------------------------------------------------------------------------- /tests/flat/simple/var-lam.flat.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/var-lam.flat.expected -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature1.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature1.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature1.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature10.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature10.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature10.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature11.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature11.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature11.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature12.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature12.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature12.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature13.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature13.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature13.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature14.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature14.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature14.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature15.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature15.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature15.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature16.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature16.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature16.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature17.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature17.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature17.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature18.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature18.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature18.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature19.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature19.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature19.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature2.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature2.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature2.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature20.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature20.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature20.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature21.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature21.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature21.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature22.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature22.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature22.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature23.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature23.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature23.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature24.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature24.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature24.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature25.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature25.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature25.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature26.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature26.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature26.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature27.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature27.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature27.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature28.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature28.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature28.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature29.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature29.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature29.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature3.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature3.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature3.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature30.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature30.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature30.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature31.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature31.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature31.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature4.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature4.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature4.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature5.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature5.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature5.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool False) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature6.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature6.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature6.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature7.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature7.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature7.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature8.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature8.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature8.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature9.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/simple/verifySignature9.flat -------------------------------------------------------------------------------- /tests/flat/simple/verifySignature9.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/uplc-examples/ApplyAdd1.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/uplc-examples/ApplyAdd1.flat -------------------------------------------------------------------------------- /tests/flat/uplc-examples/ApplyAdd1.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 1) -------------------------------------------------------------------------------- /tests/flat/uplc-examples/ApplyAdd2.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/uplc-examples/ApplyAdd2.flat -------------------------------------------------------------------------------- /tests/flat/uplc-examples/ApplyAdd2.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer -1) -------------------------------------------------------------------------------- /tests/flat/uplc-examples/IfIntegers.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/uplc-examples/IfIntegers.flat -------------------------------------------------------------------------------- /tests/flat/uplc-examples/IfIntegers.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 0) -------------------------------------------------------------------------------- /tests/flat/uplc-examples/NatRoundTrip.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/uplc-examples/NatRoundTrip.flat -------------------------------------------------------------------------------- /tests/flat/uplc-examples/NatRoundTrip.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 1) -------------------------------------------------------------------------------- /tests/flat/uplc-examples/ScottListSum.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/uplc-examples/ScottListSum.flat -------------------------------------------------------------------------------- /tests/flat/uplc-examples/ScottListSum.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 0) -------------------------------------------------------------------------------- /tests/flat/uplc-examples/churchSucc.flat: -------------------------------------------------------------------------------- 1 | !"03P  -------------------------------------------------------------------------------- /tests/flat/uplc-examples/churchSucc.flat.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/uplc-examples/churchSucc.flat.expected -------------------------------------------------------------------------------- /tests/flat/uplc-examples/churchZero.flat: -------------------------------------------------------------------------------- 1 |   -------------------------------------------------------------------------------- /tests/flat/uplc-examples/churchZero.flat.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/uplc-examples/churchZero.flat.expected -------------------------------------------------------------------------------- /tests/flat/uplc-examples/factorial.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/uplc-examples/factorial.flat -------------------------------------------------------------------------------- /tests/flat/uplc-examples/factorial.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 24) -------------------------------------------------------------------------------- /tests/flat/uplc-examples/factorial2.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/uplc-examples/factorial2.flat -------------------------------------------------------------------------------- /tests/flat/uplc-examples/factorial2.flat.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/uplc-examples/factorial2.flat.expected -------------------------------------------------------------------------------- /tests/flat/uplc-examples/false.flat: -------------------------------------------------------------------------------- 1 | J -------------------------------------------------------------------------------- /tests/flat/uplc-examples/false.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool False) -------------------------------------------------------------------------------- /tests/flat/uplc-examples/fibonacci.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/uplc-examples/fibonacci.flat -------------------------------------------------------------------------------- /tests/flat/uplc-examples/fibonacci.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 0) -------------------------------------------------------------------------------- /tests/flat/uplc-examples/fibonacci2.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/uplc-examples/fibonacci2.flat -------------------------------------------------------------------------------- /tests/flat/uplc-examples/fibonacci2.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 55) -------------------------------------------------------------------------------- /tests/flat/uplc-examples/overapplication.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/uplc-examples/overapplication.flat -------------------------------------------------------------------------------- /tests/flat/uplc-examples/overapplication.flat.expected: -------------------------------------------------------------------------------- 1 | (con integer 4) -------------------------------------------------------------------------------- /tests/flat/uplc-examples/succInteger.flat: -------------------------------------------------------------------------------- 1 | #7) -------------------------------------------------------------------------------- /tests/flat/uplc-examples/succInteger.flat.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/uplc-examples/succInteger.flat.expected -------------------------------------------------------------------------------- /tests/flat/uplc-examples/true.flat: -------------------------------------------------------------------------------- 1 | J! -------------------------------------------------------------------------------- /tests/flat/uplc-examples/true.flat.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/flat/uplc-examples/unitval.flat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/flat/uplc-examples/unitval.flat -------------------------------------------------------------------------------- /tests/flat/uplc-examples/unitval.flat.expected: -------------------------------------------------------------------------------- 1 | (con unit ()) -------------------------------------------------------------------------------- /tests/specs/decoders/cbor-unit-test.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/specs/decoders/cbor-unit-test.md -------------------------------------------------------------------------------- /tests/specs/decoders/flat-unit-test.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/specs/decoders/flat-unit-test.md -------------------------------------------------------------------------------- /tests/specs/decoders/verification.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/specs/decoders/verification.md -------------------------------------------------------------------------------- /tests/specs/simple/list-free.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/specs/simple/list-free.md -------------------------------------------------------------------------------- /tests/specs/simple/list-length.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/specs/simple/list-length.md -------------------------------------------------------------------------------- /tests/specs/simple/list-longer.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/specs/simple/list-longer.md -------------------------------------------------------------------------------- /tests/specs/simple/list-max.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/specs/simple/list-max.md -------------------------------------------------------------------------------- /tests/specs/simple/list-sum.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/specs/simple/list-sum.md -------------------------------------------------------------------------------- /tests/specs/simple/simple-symbolic.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/specs/simple/simple-symbolic.md -------------------------------------------------------------------------------- /tests/specs/simple/trivial-policies.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/specs/simple/trivial-policies.md -------------------------------------------------------------------------------- /tests/specs/simple/uplc-genvironment-instance.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/specs/simple/uplc-genvironment-instance.md -------------------------------------------------------------------------------- /tests/specs/simple/verification.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/specs/simple/verification.md -------------------------------------------------------------------------------- /tests/specs/uplc-to-k/genv.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/specs/uplc-to-k/genv.uplc -------------------------------------------------------------------------------- /tests/specs/uplc-to-k/tokens.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 2 | [ (lam x x) (con bool True) ] 3 | ) 4 | -------------------------------------------------------------------------------- /tests/specs/uplc-to-k/true.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (con bool True)) 2 | -------------------------------------------------------------------------------- /tests/textual/error/DivideByZero.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/DivideByZero.uplc -------------------------------------------------------------------------------- /tests/textual/error/DivideByZero.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/DivideByZeroDrop.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/DivideByZeroDrop.uplc -------------------------------------------------------------------------------- /tests/textual/error/DivideByZeroDrop.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/addInteger-bool-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/addInteger-bytestring-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/addInteger-data-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/addInteger-list-integer--wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/addInteger-pair-integer--integer--wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/addInteger-string-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/addInteger-unit-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/appendByteString.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/appendByteString.uplc -------------------------------------------------------------------------------- /tests/textual/error/appendByteString.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/appendString-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/appendString-wrong-2nd-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/appendString-wrong-both-arguments.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/apply-cons-to-value.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/apply-cons-to-value.uplc -------------------------------------------------------------------------------- /tests/textual/error/apply-cons-to-value.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/apply-delay-to-value.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 [ (delay (lam x x)) (con integer 0) ]) -------------------------------------------------------------------------------- /tests/textual/error/apply-delay-to-value.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/apply-value-to-value.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/apply-value-to-value.uplc -------------------------------------------------------------------------------- /tests/textual/error/apply-value-to-value.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/arg-type-error.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/arg-type-error.py -------------------------------------------------------------------------------- /tests/textual/error/bData.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 [(builtin bData) (con string "hello world")]) 2 | -------------------------------------------------------------------------------- /tests/textual/error/bData.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/blake2b.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 [(builtin blake2b_256) (con unit ())]) 2 | 3 | -------------------------------------------------------------------------------- /tests/textual/error/blake2b.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/choose-wrong-1st-argument.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/choose-wrong-1st-argument.uplc -------------------------------------------------------------------------------- /tests/textual/error/choose-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/chooseData.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/chooseData.uplc -------------------------------------------------------------------------------- /tests/textual/error/chooseData.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/chooseDataConstr.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/chooseDataConstr.uplc -------------------------------------------------------------------------------- /tests/textual/error/chooseDataConstr.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/chooseDataInteger.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/chooseDataInteger.uplc -------------------------------------------------------------------------------- /tests/textual/error/chooseDataInteger.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/chooseList-no-force.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/chooseList-no-force.uplc -------------------------------------------------------------------------------- /tests/textual/error/chooseList-no-force.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/chooseList-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/chooseUnit-no-force.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/chooseUnit-no-force.uplc -------------------------------------------------------------------------------- /tests/textual/error/chooseUnit-no-force.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/chooseUnit-wrong-type.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/chooseUnit-wrong-type.uplc -------------------------------------------------------------------------------- /tests/textual/error/chooseUnit-wrong-type.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/consByteString.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/consByteString.uplc -------------------------------------------------------------------------------- /tests/textual/error/consByteString.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/constrData.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/constrData.uplc -------------------------------------------------------------------------------- /tests/textual/error/constrData.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/decodeUtf8-wrong-argument.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 [(builtin decodeUtf8) (con integer 61)]) -------------------------------------------------------------------------------- /tests/textual/error/decodeUtf8-wrong-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/divideInteger-bool-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/divideInteger-bytestring-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/divideInteger-data-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/divideInteger-list-integer--wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/divideInteger-pair-integer--integer--wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/divideInteger-string-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/divideInteger-unit-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/divideInteger-zero-division.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/encodeUtf8-wrong-argument.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 [(builtin encodeUtf8) (con integer 0)]) -------------------------------------------------------------------------------- /tests/textual/error/encodeUtf8-wrong-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/equalsByteString.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/equalsByteString.uplc -------------------------------------------------------------------------------- /tests/textual/error/equalsByteString.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/equalsDataFalse.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/equalsDataFalse.uplc -------------------------------------------------------------------------------- /tests/textual/error/equalsDataFalse.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/equalsInteger-bool-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/equalsInteger-bytestring-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/equalsInteger-data-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/equalsInteger-list-integer--wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/equalsInteger-pair-integer--integer--wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/equalsInteger-string-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/equalsInteger-unit-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/equalsString-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/equalsString-wrong-2nd-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/equalsString-wrong-both-arguments.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/error.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (error)) 2 | -------------------------------------------------------------------------------- /tests/textual/error/error.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/fstPairOfPairAndList-no-force.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/fstPairOfPairAndList-wrong-type.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 [(force (builtin fstPair)) (con bool True)]) 2 | -------------------------------------------------------------------------------- /tests/textual/error/fstPairOfPairAndList-wrong-type.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/headList-no-force.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/headList-no-force.uplc -------------------------------------------------------------------------------- /tests/textual/error/headList-no-force.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/headList-wrong-type.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 [(force (builtin headList)) (con integer 1)]) -------------------------------------------------------------------------------- /tests/textual/error/headList-wrong-type.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/iData.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 [(builtin iData) (con unit ())]) 2 | -------------------------------------------------------------------------------- /tests/textual/error/iData.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/id.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 x) -------------------------------------------------------------------------------- /tests/textual/error/id.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/ifThenElse-no-force.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/ifThenElse-no-force.uplc -------------------------------------------------------------------------------- /tests/textual/error/ifThenElse-no-force.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/ifThenElse-wrong-argument.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/ifThenElse-wrong-argument.uplc -------------------------------------------------------------------------------- /tests/textual/error/ifThenElse-wrong-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/indexByteString.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/indexByteString.uplc -------------------------------------------------------------------------------- /tests/textual/error/indexByteString.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/indexByteStringOutOfBounds.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/lengthOfByteString.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/lengthOfByteString.uplc -------------------------------------------------------------------------------- /tests/textual/error/lengthOfByteString.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/lessThanByteString.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/lessThanByteString.uplc -------------------------------------------------------------------------------- /tests/textual/error/lessThanByteString.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/lessThanEqualsByteString.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/lessThanEqualsByteString.uplc -------------------------------------------------------------------------------- /tests/textual/error/lessThanEqualsByteString.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/lessThanEqualsInteger-bool-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/lessThanEqualsInteger-bytestring-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/lessThanEqualsInteger-data-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/lessThanEqualsInteger-list-integer--wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/lessThanEqualsInteger-pair-integer--integer--wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/lessThanEqualsInteger-string-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/lessThanEqualsInteger-unit-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/lessThanInteger-bool-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/lessThanInteger-bytestring-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/lessThanInteger-data-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/lessThanInteger-list-integer--wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/lessThanInteger-pair-integer--integer--wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/lessThanInteger-string-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/lessThanInteger-unit-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/listData.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/listData.uplc -------------------------------------------------------------------------------- /tests/textual/error/listData.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/mapData.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/mapData.uplc -------------------------------------------------------------------------------- /tests/textual/error/mapData.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/mkCons-no-force.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/mkCons-no-force.uplc -------------------------------------------------------------------------------- /tests/textual/error/mkCons-no-force.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/mkCons-wrong-argument.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/mkCons-wrong-argument.uplc -------------------------------------------------------------------------------- /tests/textual/error/mkCons-wrong-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/mkNilData.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 [(builtin mkNilData) (con bool True)]) 2 | -------------------------------------------------------------------------------- /tests/textual/error/mkNilData.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/mkNilPairData.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 [(builtin mkNilPairData) (con string "")]) 2 | -------------------------------------------------------------------------------- /tests/textual/error/mkNilPairData.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/mkPairData.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/mkPairData.uplc -------------------------------------------------------------------------------- /tests/textual/error/mkPairData.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/modInteger-bool-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/modInteger-bytestring-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/modInteger-data-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/modInteger-list-integer--wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/modInteger-pair-integer--integer--wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/modInteger-string-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/modInteger-unit-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/multiplyInteger-bool-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/multiplyInteger-bytestring-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/multiplyInteger-data-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/multiplyInteger-list-integer--wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/multiplyInteger-pair-integer--integer--wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/multiplyInteger-string-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/multiplyInteger-unit-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/nullList-no-force.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/nullList-no-force.uplc -------------------------------------------------------------------------------- /tests/textual/error/nullList-no-force.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/nullList-wrong-argument.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 [(force (builtin nullList)) (con integer 1)]) -------------------------------------------------------------------------------- /tests/textual/error/nullList-wrong-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/quotientInteger-bool-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/quotientInteger-bytestring-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/quotientInteger-data-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/quotientInteger-list-integer--wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/quotientInteger-pair-integer--integer--wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/quotientInteger-string-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/quotientInteger-unit-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/quotientInteger-zero-division.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/remainderInteger-bool-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/remainderInteger-bytestring-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/remainderInteger-data-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/remainderInteger-list-integer--wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/remainderInteger-pair-integer--integer--wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/remainderInteger-string-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/remainderInteger-unit-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/remainderInteger-zero-division.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/sha2.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/sha2.uplc -------------------------------------------------------------------------------- /tests/textual/error/sha2.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/sha3.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 [(builtin sha3_256) (con integer 1236789435)]) 2 | 3 | -------------------------------------------------------------------------------- /tests/textual/error/sha3.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/sliceByteString.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/sliceByteString.uplc -------------------------------------------------------------------------------- /tests/textual/error/sliceByteString.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/sndPairOfPairAndList-no-force.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/sndPairOfPairAndList-wrong-argument.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 2 | [(force (builtin sndPair)) (con bytestring #012345) ] 3 | ) 4 | -------------------------------------------------------------------------------- /tests/textual/error/sndPairOfPairAndList-wrong-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/subtractInteger-bool-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/subtractInteger-bytestring-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/subtractInteger-data-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/subtractInteger-list-integer--wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/subtractInteger-pair-integer--integer--wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/subtractInteger-string-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/subtractInteger-unit-wrong-1st-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/tailList-no-force.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/tailList-no-force.uplc -------------------------------------------------------------------------------- /tests/textual/error/tailList-no-force.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/tailList-wrong-argument.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 [(force (builtin tailList)) (con integer 1)]) -------------------------------------------------------------------------------- /tests/textual/error/tailList-wrong-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/trace-no-force.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/trace-no-force.uplc -------------------------------------------------------------------------------- /tests/textual/error/trace-no-force.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/trace-wrong-argument.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/trace-wrong-argument.uplc -------------------------------------------------------------------------------- /tests/textual/error/trace-wrong-argument.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/unBData.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/unBData.uplc -------------------------------------------------------------------------------- /tests/textual/error/unBData.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/unConstrData.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/unConstrData.uplc -------------------------------------------------------------------------------- /tests/textual/error/unConstrData.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/unIData.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/unIData.uplc -------------------------------------------------------------------------------- /tests/textual/error/unIData.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/unListData.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/unListData.uplc -------------------------------------------------------------------------------- /tests/textual/error/unListData.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/unMapData.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/unMapData.uplc -------------------------------------------------------------------------------- /tests/textual/error/unMapData.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/error/verifySignature10.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/error/verifySignature10.uplc -------------------------------------------------------------------------------- /tests/textual/error/verifySignature10.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/new-syntax/bData.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/bData.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/bData.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/bData.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/chooseDataByteString.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/chooseDataByteString.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/chooseDataConstr.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/chooseDataConstr.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/chooseDataInteger.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/chooseDataInteger.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/chooseDataList.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/chooseDataList.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/chooseDataMap.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/chooseDataMap.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/chooseList-part.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/chooseList-part.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/chooseList.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/chooseList.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/chooseList.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/chooseList.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/chooseList2.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/chooseList2.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/chooseList2.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/chooseList2.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/constrData-part.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/constrData-part.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/constrData.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/constrData.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/constrData.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/constrData.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/dataByteString.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 (con data {ByteString #0123456789ABCDEF})) 2 | -------------------------------------------------------------------------------- /tests/textual/new-syntax/dataCborB#.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (con data #40)) 2 | -------------------------------------------------------------------------------- /tests/textual/new-syntax/dataCborB#.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/dataCborB#.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/dataCborB#0-f.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/dataCborB#0-f.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/dataCborConstr0.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (con data #d87980 ) ) 2 | -------------------------------------------------------------------------------- /tests/textual/new-syntax/dataCborEmptyList.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 ( con data #80 ) ) 2 | -------------------------------------------------------------------------------- /tests/textual/new-syntax/dataCborEmptyMap.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (con data #A0)) 2 | -------------------------------------------------------------------------------- /tests/textual/new-syntax/dataCborI-987654321.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (con data #3a3ade68b0) ) 2 | -------------------------------------------------------------------------------- /tests/textual/new-syntax/dataCborI256.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (con data #190100)) 2 | -------------------------------------------------------------------------------- /tests/textual/new-syntax/dataCborMap.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (con data #A1401A05F5E100 ) ) 2 | -------------------------------------------------------------------------------- /tests/textual/new-syntax/dataCborMap.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/dataCborMap.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/dataConstr.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/dataConstr.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/dataConstr.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/dataConstr.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/dataInteger.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 (con data {Integer 12354898})) 2 | -------------------------------------------------------------------------------- /tests/textual/new-syntax/dataInteger.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/dataInteger.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/dataList.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/dataList.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/dataList.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/dataList.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/dataMap.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/dataMap.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/dataMap.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/dataMap.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/emptyList.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 (con list (integer) [])) 2 | -------------------------------------------------------------------------------- /tests/textual/new-syntax/emptyList.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/emptyList.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/equalsData-part.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/equalsData-part.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/equalsDataFalse.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/equalsDataFalse.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/equalsDataTrue.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/equalsDataTrue.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/fstPairOfPairAndList.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/fstPairOfPairAndList.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/headList.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/headList.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/headList.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/headList.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/headList2.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/headList2.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/headList2.uplc.expected: -------------------------------------------------------------------------------- 1 | ( error ) -------------------------------------------------------------------------------- /tests/textual/new-syntax/iData.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/iData.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/iData.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/iData.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/listData.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/listData.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/listData.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/listData.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/listOfList.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/listOfList.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/listOfList.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/listOfList.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/listOfPair.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/listOfPair.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/listOfPair.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/listOfPair.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/listSum.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/listSum.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/listSum.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/listSum.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/mapData.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/mapData.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/mapData.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/mapData.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/maxList.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/maxList.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/maxList.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/maxList.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/maxListTailRec.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/maxListTailRec.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/mkCons-part.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 [(force (builtin mkCons)) (con integer 0)]) -------------------------------------------------------------------------------- /tests/textual/new-syntax/mkCons-part.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/mkCons-part.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/mkCons.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/mkCons.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/mkCons.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/mkCons.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/mkCons2.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/mkCons2.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/mkCons2.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/mkCons2.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/mkNilData.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 [(builtin mkNilData) (con unit ())]) -------------------------------------------------------------------------------- /tests/textual/new-syntax/mkNilData.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/mkNilData.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/mkNilPairData.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 [(builtin mkNilPairData) (con unit ())]) -------------------------------------------------------------------------------- /tests/textual/new-syntax/mkPairData-part.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/mkPairData-part.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/mkPairData.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/mkPairData.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/nullList.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/nullList.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/nullList.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/nullList.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/nullList2.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/nullList2.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/nullList2.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/nullList2.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/pairOfPairAndList.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/pairOfPairAndList.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/simpleList.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/simpleList.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/simplePair.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/simplePair.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/tailList.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/tailList.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/tailList.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/tailList.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/tailList2.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/tailList2.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/tailList2.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/tailList2.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/unBData.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/unBData.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/unBData.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/unBData.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/unConstrData.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/unConstrData.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/unIData.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/unIData.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/unIData.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/unIData.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/unListData.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/unListData.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/unMapData.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/unMapData.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/unMapData.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/unMapData.uplc.expected -------------------------------------------------------------------------------- /tests/textual/new-syntax/unitList.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/unitList.uplc -------------------------------------------------------------------------------- /tests/textual/new-syntax/unitList.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/new-syntax/unitList.uplc.expected -------------------------------------------------------------------------------- /tests/textual/nofib-exe-examples/lastpiece.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/nofib-exe-examples/lastpiece.uplc -------------------------------------------------------------------------------- /tests/textual/nofib-exe-examples/prime-P200.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/nofib-exe-examples/prime-P200.uplc -------------------------------------------------------------------------------- /tests/textual/simple/addInteger-no-args.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (builtin addInteger)) -------------------------------------------------------------------------------- /tests/textual/simple/addInteger-non-interactive.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 2) -------------------------------------------------------------------------------- /tests/textual/simple/addInteger-one-arg.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/addInteger-one-arg.uplc -------------------------------------------------------------------------------- /tests/textual/simple/addInteger-part.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/addInteger-part.uplc -------------------------------------------------------------------------------- /tests/textual/simple/addInteger-uncurried.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/addInteger-uncurried.uplc -------------------------------------------------------------------------------- /tests/textual/simple/addInteger-uncurried.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 3) -------------------------------------------------------------------------------- /tests/textual/simple/addInteger.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/addInteger.uplc -------------------------------------------------------------------------------- /tests/textual/simple/addInteger.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 2) -------------------------------------------------------------------------------- /tests/textual/simple/app.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 [(lam x x) (con integer 0)]) -------------------------------------------------------------------------------- /tests/textual/simple/app.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 0) -------------------------------------------------------------------------------- /tests/textual/simple/app2.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/app2.uplc -------------------------------------------------------------------------------- /tests/textual/simple/app2.uplc.expected: -------------------------------------------------------------------------------- 1 | (con unit ()) -------------------------------------------------------------------------------- /tests/textual/simple/appendByteString-part.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/appendByteString-part.uplc -------------------------------------------------------------------------------- /tests/textual/simple/appendByteString.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/appendByteString.uplc -------------------------------------------------------------------------------- /tests/textual/simple/appendEmptyString.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/appendEmptyString.uplc -------------------------------------------------------------------------------- /tests/textual/simple/appendEmptyString.uplc.expected: -------------------------------------------------------------------------------- 1 | (con string "Ola mundo!") -------------------------------------------------------------------------------- /tests/textual/simple/appendString-part.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/appendString-part.uplc -------------------------------------------------------------------------------- /tests/textual/simple/appendString.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/appendString.uplc -------------------------------------------------------------------------------- /tests/textual/simple/appendString.uplc.expected: -------------------------------------------------------------------------------- 1 | (con string "Ola mundo!") -------------------------------------------------------------------------------- /tests/textual/simple/blake2b.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/blake2b.uplc -------------------------------------------------------------------------------- /tests/textual/simple/blake2b.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/blake2b.uplc.expected -------------------------------------------------------------------------------- /tests/textual/simple/chooseUnit-part.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/chooseUnit-part.uplc -------------------------------------------------------------------------------- /tests/textual/simple/chooseUnit.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/chooseUnit.uplc -------------------------------------------------------------------------------- /tests/textual/simple/chooseUnit.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 2) -------------------------------------------------------------------------------- /tests/textual/simple/conByteString-empty.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (con bytestring #)) 2 | -------------------------------------------------------------------------------- /tests/textual/simple/conByteString-empty.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bytestring #) -------------------------------------------------------------------------------- /tests/textual/simple/conByteString-long.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/conByteString-long.uplc -------------------------------------------------------------------------------- /tests/textual/simple/conByteString-long.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bytestring #000102030405060708090a0b0c0d0e0f) -------------------------------------------------------------------------------- /tests/textual/simple/conByteString.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 (con bytestring #00ff)) -------------------------------------------------------------------------------- /tests/textual/simple/conByteString.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bytestring #00ff) -------------------------------------------------------------------------------- /tests/textual/simple/conFalse.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 (con bool False)) -------------------------------------------------------------------------------- /tests/textual/simple/conFalse.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool False) -------------------------------------------------------------------------------- /tests/textual/simple/conInteger-1234.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (con integer 1234)) 2 | -------------------------------------------------------------------------------- /tests/textual/simple/conInteger-1234.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 1234) -------------------------------------------------------------------------------- /tests/textual/simple/conInteger-largeNegative.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (con integer -972316846216547988456897)) 2 | -------------------------------------------------------------------------------- /tests/textual/simple/conInteger-largeNegative.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer -972316846216547988456897) -------------------------------------------------------------------------------- /tests/textual/simple/conInteger-largePositive.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (con integer 972316846216547988456897)) 2 | -------------------------------------------------------------------------------- /tests/textual/simple/conInteger-largePositive.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 972316846216547988456897) -------------------------------------------------------------------------------- /tests/textual/simple/conInteger-negative1234.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (con integer -1234)) 2 | -------------------------------------------------------------------------------- /tests/textual/simple/conInteger-negative1234.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer -1234) -------------------------------------------------------------------------------- /tests/textual/simple/conInteger.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (con integer 0)) -------------------------------------------------------------------------------- /tests/textual/simple/conInteger.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 0) -------------------------------------------------------------------------------- /tests/textual/simple/conString-empty.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (con string "")) 2 | -------------------------------------------------------------------------------- /tests/textual/simple/conString-empty.uplc.expected: -------------------------------------------------------------------------------- 1 | (con string "") -------------------------------------------------------------------------------- /tests/textual/simple/conString.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (con string "hello world!")) 2 | -------------------------------------------------------------------------------- /tests/textual/simple/conString.uplc.expected: -------------------------------------------------------------------------------- 1 | (con string "hello world!") -------------------------------------------------------------------------------- /tests/textual/simple/conTrue.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 (con bool True)) -------------------------------------------------------------------------------- /tests/textual/simple/conTrue.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/conUnit.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 (con unit ())) -------------------------------------------------------------------------------- /tests/textual/simple/conUnit.uplc.expected: -------------------------------------------------------------------------------- 1 | (con unit ()) -------------------------------------------------------------------------------- /tests/textual/simple/consByteString.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/consByteString.uplc -------------------------------------------------------------------------------- /tests/textual/simple/consByteString.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bytestring #aa00ff) -------------------------------------------------------------------------------- /tests/textual/simple/decodeUtf8.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 [(builtin decodeUtf8) (con bytestring #4f6c61)]) -------------------------------------------------------------------------------- /tests/textual/simple/decodeUtf8.uplc.expected: -------------------------------------------------------------------------------- 1 | (con string "Ola") -------------------------------------------------------------------------------- /tests/textual/simple/delay-error.uplc: -------------------------------------------------------------------------------- 1 | (program 1.2.3 (delay (error ))) 2 | -------------------------------------------------------------------------------- /tests/textual/simple/delay-error.uplc.expected: -------------------------------------------------------------------------------- 1 | (delay (error )) -------------------------------------------------------------------------------- /tests/textual/simple/delay-lam.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (lam x (delay x))) -------------------------------------------------------------------------------- /tests/textual/simple/delay-lam.uplc.expected: -------------------------------------------------------------------------------- 1 | (lam x (delay x)) -------------------------------------------------------------------------------- /tests/textual/simple/delay-lam2.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/delay-lam2.uplc -------------------------------------------------------------------------------- /tests/textual/simple/delay-lam2.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/delay-lam2.uplc.expected -------------------------------------------------------------------------------- /tests/textual/simple/delay-lam3.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/delay-lam3.uplc -------------------------------------------------------------------------------- /tests/textual/simple/delay-lam3.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/delay-lam3.uplc.expected -------------------------------------------------------------------------------- /tests/textual/simple/delay-true.uplc: -------------------------------------------------------------------------------- 1 | (program 1.2.3 (delay (con bool True))) 2 | -------------------------------------------------------------------------------- /tests/textual/simple/delay-true.uplc.expected: -------------------------------------------------------------------------------- 1 | (delay (con bool True)) -------------------------------------------------------------------------------- /tests/textual/simple/delay-unit.uplc: -------------------------------------------------------------------------------- 1 | (program 1.2.3 (delay (con unit ()))) 2 | -------------------------------------------------------------------------------- /tests/textual/simple/delay-unit.uplc.expected: -------------------------------------------------------------------------------- 1 | (delay (con unit ())) -------------------------------------------------------------------------------- /tests/textual/simple/delay-unit2.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/delay-unit2.uplc -------------------------------------------------------------------------------- /tests/textual/simple/delay-unit2.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/delay-unit2.uplc.expected -------------------------------------------------------------------------------- /tests/textual/simple/delay.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (delay x)) -------------------------------------------------------------------------------- /tests/textual/simple/discharge-delay-app.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/discharge-delay-app.uplc -------------------------------------------------------------------------------- /tests/textual/simple/divideInteger-part.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/divideInteger-part.uplc -------------------------------------------------------------------------------- /tests/textual/simple/divideInteger.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/divideInteger.uplc -------------------------------------------------------------------------------- /tests/textual/simple/divideInteger.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 1) -------------------------------------------------------------------------------- /tests/textual/simple/encodeUtf8.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 [(builtin encodeUtf8) (con string "Ola")]) -------------------------------------------------------------------------------- /tests/textual/simple/encodeUtf8.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bytestring #4f6c61) -------------------------------------------------------------------------------- /tests/textual/simple/equalsByteString-part.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/equalsByteString-part.uplc -------------------------------------------------------------------------------- /tests/textual/simple/equalsByteString.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/equalsByteString.uplc -------------------------------------------------------------------------------- /tests/textual/simple/equalsByteString.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/equalsInteger-part.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/equalsInteger-part.uplc -------------------------------------------------------------------------------- /tests/textual/simple/equalsInteger-true.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/equalsInteger-true.uplc -------------------------------------------------------------------------------- /tests/textual/simple/equalsInteger-true.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/equalsInteger.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/equalsInteger.uplc -------------------------------------------------------------------------------- /tests/textual/simple/equalsInteger.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool False) -------------------------------------------------------------------------------- /tests/textual/simple/equalsString-part.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/equalsString-part.uplc -------------------------------------------------------------------------------- /tests/textual/simple/equalsString-true.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/equalsString-true.uplc -------------------------------------------------------------------------------- /tests/textual/simple/equalsString-true.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/equalsString.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/equalsString.uplc -------------------------------------------------------------------------------- /tests/textual/simple/equalsString.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool False) -------------------------------------------------------------------------------- /tests/textual/simple/factorial.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/factorial.uplc -------------------------------------------------------------------------------- /tests/textual/simple/factorial.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/factorial.uplc.expected -------------------------------------------------------------------------------- /tests/textual/simple/false-var.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/false-var.uplc -------------------------------------------------------------------------------- /tests/textual/simple/force-lam.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (lam x (force x))) -------------------------------------------------------------------------------- /tests/textual/simple/force-lam.uplc.expected: -------------------------------------------------------------------------------- 1 | (lam x (force x)) -------------------------------------------------------------------------------- /tests/textual/simple/force.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (force x)) -------------------------------------------------------------------------------- /tests/textual/simple/ifThenElse-part.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/ifThenElse-part.uplc -------------------------------------------------------------------------------- /tests/textual/simple/ifThenElse.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/ifThenElse.uplc -------------------------------------------------------------------------------- /tests/textual/simple/ifThenElse.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 0) -------------------------------------------------------------------------------- /tests/textual/simple/indexByteString-part.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/indexByteString-part.uplc -------------------------------------------------------------------------------- /tests/textual/simple/indexByteString.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/indexByteString.uplc -------------------------------------------------------------------------------- /tests/textual/simple/indexByteString.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 255) -------------------------------------------------------------------------------- /tests/textual/simple/lam-unit1.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/lam-unit1.uplc -------------------------------------------------------------------------------- /tests/textual/simple/lam-unit1.uplc.expected: -------------------------------------------------------------------------------- 1 | (lam v_0 (con unit ())) -------------------------------------------------------------------------------- /tests/textual/simple/lam-unit2.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/lam-unit2.uplc -------------------------------------------------------------------------------- /tests/textual/simple/lam-unit2.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/lam-unit2.uplc.expected -------------------------------------------------------------------------------- /tests/textual/simple/lam.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (lam x x)) -------------------------------------------------------------------------------- /tests/textual/simple/lam.uplc.expected: -------------------------------------------------------------------------------- 1 | (lam x x) -------------------------------------------------------------------------------- /tests/textual/simple/lengthOfByteString.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/lengthOfByteString.uplc -------------------------------------------------------------------------------- /tests/textual/simple/lengthOfByteString.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 3) -------------------------------------------------------------------------------- /tests/textual/simple/lessThanByteStringFalse.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool False) -------------------------------------------------------------------------------- /tests/textual/simple/lessThanByteStringTrue.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/lessThanByteStringTrue.uplc -------------------------------------------------------------------------------- /tests/textual/simple/lessThanByteStringTrue.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/lessThanEqualsByteStringFalse.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool False) -------------------------------------------------------------------------------- /tests/textual/simple/lessThanEqualsByteStringTrue.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/lessThanEqualsInteger.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/lessThanEqualsInteger.uplc -------------------------------------------------------------------------------- /tests/textual/simple/lessThanEqualsInteger.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/lessThanInteger-false.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/lessThanInteger-false.uplc -------------------------------------------------------------------------------- /tests/textual/simple/lessThanInteger-false.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool False) -------------------------------------------------------------------------------- /tests/textual/simple/lessThanInteger-part.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/lessThanInteger-part.uplc -------------------------------------------------------------------------------- /tests/textual/simple/lessThanInteger.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/lessThanInteger.uplc -------------------------------------------------------------------------------- /tests/textual/simple/lessThanInteger.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/longversion1.uplc: -------------------------------------------------------------------------------- 1 | (program 888912389897.1.0 (con unit ())) 2 | -------------------------------------------------------------------------------- /tests/textual/simple/longversion1.uplc.expected: -------------------------------------------------------------------------------- 1 | (con unit ()) -------------------------------------------------------------------------------- /tests/textual/simple/longversion2.uplc: -------------------------------------------------------------------------------- 1 | (program 1.256.0 (con unit ())) 2 | -------------------------------------------------------------------------------- /tests/textual/simple/longversion2.uplc.expected: -------------------------------------------------------------------------------- 1 | (con unit ()) -------------------------------------------------------------------------------- /tests/textual/simple/longversion3.uplc: -------------------------------------------------------------------------------- 1 | (program 1.1.5000 (con unit ())) 2 | -------------------------------------------------------------------------------- /tests/textual/simple/longversion3.uplc.expected: -------------------------------------------------------------------------------- 1 | (con unit ()) -------------------------------------------------------------------------------- /tests/textual/simple/longversion4.uplc: -------------------------------------------------------------------------------- 1 | (program 888912389897.90812073237859.234245421 (con unit ())) 2 | -------------------------------------------------------------------------------- /tests/textual/simple/longversion4.uplc.expected: -------------------------------------------------------------------------------- 1 | (con unit ()) -------------------------------------------------------------------------------- /tests/textual/simple/modInteger-part.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/modInteger-part.uplc -------------------------------------------------------------------------------- /tests/textual/simple/modInteger.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/modInteger.uplc -------------------------------------------------------------------------------- /tests/textual/simple/modInteger.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 2) -------------------------------------------------------------------------------- /tests/textual/simple/multiplyInteger-part.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/multiplyInteger-part.uplc -------------------------------------------------------------------------------- /tests/textual/simple/multiplyInteger.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/multiplyInteger.uplc -------------------------------------------------------------------------------- /tests/textual/simple/multiplyInteger.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 1) -------------------------------------------------------------------------------- /tests/textual/simple/program.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (con integer 0)) -------------------------------------------------------------------------------- /tests/textual/simple/program.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 0) -------------------------------------------------------------------------------- /tests/textual/simple/quotientInteger-part.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/quotientInteger-part.uplc -------------------------------------------------------------------------------- /tests/textual/simple/quotientInteger.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/quotientInteger.uplc -------------------------------------------------------------------------------- /tests/textual/simple/quotientInteger.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 0) -------------------------------------------------------------------------------- /tests/textual/simple/remainderInteger-part.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/remainderInteger-part.uplc -------------------------------------------------------------------------------- /tests/textual/simple/remainderInteger.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/remainderInteger.uplc -------------------------------------------------------------------------------- /tests/textual/simple/remainderInteger.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 1) -------------------------------------------------------------------------------- /tests/textual/simple/sha2.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 [(builtin sha2_256) (con bytestring #AF)]) 2 | 3 | -------------------------------------------------------------------------------- /tests/textual/simple/sha2.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/sha2.uplc.expected -------------------------------------------------------------------------------- /tests/textual/simple/sha3.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 [(builtin sha3_256) (con bytestring #AF)]) 2 | 3 | -------------------------------------------------------------------------------- /tests/textual/simple/sha3.uplc.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/sha3.uplc.expected -------------------------------------------------------------------------------- /tests/textual/simple/sliceByteString-part1.uplc: -------------------------------------------------------------------------------- 1 | (program 0.0.0 [ (builtin sliceByteString) (con integer 1)] ) -------------------------------------------------------------------------------- /tests/textual/simple/sliceByteString-part1.uplc.expected: -------------------------------------------------------------------------------- 1 | [ (builtin sliceByteString) (con integer 1) ] -------------------------------------------------------------------------------- /tests/textual/simple/sliceByteString-part2.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/sliceByteString-part2.uplc -------------------------------------------------------------------------------- /tests/textual/simple/sliceByteString.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/sliceByteString.uplc -------------------------------------------------------------------------------- /tests/textual/simple/sliceByteString.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bytestring #ffaa) -------------------------------------------------------------------------------- /tests/textual/simple/subtractInteger-non-interactive.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer -3) -------------------------------------------------------------------------------- /tests/textual/simple/subtractInteger-non-iter.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer -1) -------------------------------------------------------------------------------- /tests/textual/simple/subtractInteger-part.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/subtractInteger-part.uplc -------------------------------------------------------------------------------- /tests/textual/simple/subtractInteger.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/subtractInteger.uplc -------------------------------------------------------------------------------- /tests/textual/simple/subtractInteger.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 0) -------------------------------------------------------------------------------- /tests/textual/simple/trace.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/trace.uplc -------------------------------------------------------------------------------- /tests/textual/simple/trace.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 2) -------------------------------------------------------------------------------- /tests/textual/simple/true-var.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/true-var.uplc -------------------------------------------------------------------------------- /tests/textual/simple/var-lam.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (lam x x)) -------------------------------------------------------------------------------- /tests/textual/simple/var-lam.uplc.expected: -------------------------------------------------------------------------------- 1 | (lam x x) -------------------------------------------------------------------------------- /tests/textual/simple/var.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 x) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature1-part1.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature1-part1.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature1-part2.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature1-part2.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature1.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature1.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature1.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature10.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature10.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature10.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature11.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature11.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature11.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature12.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature12.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature12.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature13.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature13.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature13.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature14.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature14.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature14.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature15.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature15.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature15.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature16.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature16.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature16.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature17.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature17.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature17.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature18.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature18.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature18.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature19.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature19.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature19.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature2.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature2.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature2.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature20.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature20.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature20.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature21.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature21.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature21.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature22.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature22.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature22.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature23.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature23.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature23.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature24.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature24.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature24.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature25.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature25.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature25.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature26.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature26.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature26.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature27.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature27.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature27.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature28.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature28.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature28.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature29.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature29.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature29.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature3.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature3.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature3.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature30.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature30.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature30.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature31.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature31.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature31.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature4.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature4.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature4.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature5.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature5.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature5.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool False) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature6.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature6.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature6.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature7.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature7.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature7.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature8.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature8.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature8.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature9.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/simple/verifySignature9.uplc -------------------------------------------------------------------------------- /tests/textual/simple/verifySignature9.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/uplc-examples/ApplyAdd1.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/uplc-examples/ApplyAdd1.uplc -------------------------------------------------------------------------------- /tests/textual/uplc-examples/ApplyAdd1.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 1) -------------------------------------------------------------------------------- /tests/textual/uplc-examples/ApplyAdd2.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/uplc-examples/ApplyAdd2.uplc -------------------------------------------------------------------------------- /tests/textual/uplc-examples/ApplyAdd2.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer -1) -------------------------------------------------------------------------------- /tests/textual/uplc-examples/DivideByZero.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/uplc-examples/DivideByZero.uplc -------------------------------------------------------------------------------- /tests/textual/uplc-examples/IfIntegers.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/uplc-examples/IfIntegers.uplc -------------------------------------------------------------------------------- /tests/textual/uplc-examples/IfIntegers.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 0) -------------------------------------------------------------------------------- /tests/textual/uplc-examples/NatRoundTrip.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/uplc-examples/NatRoundTrip.uplc -------------------------------------------------------------------------------- /tests/textual/uplc-examples/NatRoundTrip.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 1) -------------------------------------------------------------------------------- /tests/textual/uplc-examples/ScottListSum.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/uplc-examples/ScottListSum.uplc -------------------------------------------------------------------------------- /tests/textual/uplc-examples/ScottListSum.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 0) -------------------------------------------------------------------------------- /tests/textual/uplc-examples/churchSucc.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/uplc-examples/churchSucc.uplc -------------------------------------------------------------------------------- /tests/textual/uplc-examples/churchZero.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/uplc-examples/churchZero.uplc -------------------------------------------------------------------------------- /tests/textual/uplc-examples/factorial.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/uplc-examples/factorial.uplc -------------------------------------------------------------------------------- /tests/textual/uplc-examples/factorial.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 24) -------------------------------------------------------------------------------- /tests/textual/uplc-examples/factorial2.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/uplc-examples/factorial2.uplc -------------------------------------------------------------------------------- /tests/textual/uplc-examples/false.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (con bool False)) 2 | -------------------------------------------------------------------------------- /tests/textual/uplc-examples/false.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool False) -------------------------------------------------------------------------------- /tests/textual/uplc-examples/fibonacci.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/uplc-examples/fibonacci.uplc -------------------------------------------------------------------------------- /tests/textual/uplc-examples/fibonacci.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 0) -------------------------------------------------------------------------------- /tests/textual/uplc-examples/fibonacci2.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/uplc-examples/fibonacci2.uplc -------------------------------------------------------------------------------- /tests/textual/uplc-examples/fibonacci2.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 55) -------------------------------------------------------------------------------- /tests/textual/uplc-examples/overapplication.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/uplc-examples/overapplication.uplc -------------------------------------------------------------------------------- /tests/textual/uplc-examples/overapplication.uplc.expected: -------------------------------------------------------------------------------- 1 | (con integer 4) -------------------------------------------------------------------------------- /tests/textual/uplc-examples/succInteger.uplc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/uplc-examples/succInteger.uplc -------------------------------------------------------------------------------- /tests/textual/uplc-examples/true.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (con bool True)) 2 | -------------------------------------------------------------------------------- /tests/textual/uplc-examples/true.uplc.expected: -------------------------------------------------------------------------------- 1 | (con bool True) -------------------------------------------------------------------------------- /tests/textual/uplc-examples/unitval.uplc: -------------------------------------------------------------------------------- 1 | (program 1.0.0 (con unit ())) 2 | -------------------------------------------------------------------------------- /tests/textual/uplc-examples/unitval.uplc.expected: -------------------------------------------------------------------------------- 1 | (con unit ()) -------------------------------------------------------------------------------- /tests/textual/uplc-examples/uplc-example-gen.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/tests/textual/uplc-examples/uplc-example-gen.sh -------------------------------------------------------------------------------- /uplc-abstract-environment.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/uplc-abstract-environment.md -------------------------------------------------------------------------------- /uplc-builtins.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/uplc-builtins.md -------------------------------------------------------------------------------- /uplc-bytestring-builtins.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/uplc-bytestring-builtins.md -------------------------------------------------------------------------------- /uplc-bytestring.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/uplc-bytestring.md -------------------------------------------------------------------------------- /uplc-cbor-parser.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/uplc-cbor-parser.md -------------------------------------------------------------------------------- /uplc-configuration.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/uplc-configuration.md -------------------------------------------------------------------------------- /uplc-crypto-builtins.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/uplc-crypto-builtins.md -------------------------------------------------------------------------------- /uplc-data-builtins.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/uplc-data-builtins.md -------------------------------------------------------------------------------- /uplc-discharge.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/uplc-discharge.md -------------------------------------------------------------------------------- /uplc-environment.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/uplc-environment.md -------------------------------------------------------------------------------- /uplc-flat-parser.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/uplc-flat-parser.md -------------------------------------------------------------------------------- /uplc-free-variables.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/uplc-free-variables.md -------------------------------------------------------------------------------- /uplc-genvironment.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/uplc-genvironment.md -------------------------------------------------------------------------------- /uplc-integer-builtins.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/uplc-integer-builtins.md -------------------------------------------------------------------------------- /uplc-polymorphic-builtins.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/uplc-polymorphic-builtins.md -------------------------------------------------------------------------------- /uplc-rw-helpers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/uplc-rw-helpers.md -------------------------------------------------------------------------------- /uplc-semantics.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/uplc-semantics.md -------------------------------------------------------------------------------- /uplc-string-builtins.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/uplc-string-builtins.md -------------------------------------------------------------------------------- /uplc-string.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/uplc-string.md -------------------------------------------------------------------------------- /uplc-syntax.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/uplc-syntax.md -------------------------------------------------------------------------------- /uplc.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/uplc.md -------------------------------------------------------------------------------- /verification-common.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/verification-common.md -------------------------------------------------------------------------------- /verification-ideas.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/plutus-core-semantics/HEAD/verification-ideas.md --------------------------------------------------------------------------------