├── .gitattributes ├── .github └── workflows │ └── gh-pages.yml ├── .gitignore ├── .hlint.yaml ├── LICENSE ├── Makefile ├── README.md ├── ROADMAP.md ├── cabal.project ├── cardano-simple ├── CHANGELOG ├── cardano-simple.cabal └── src │ └── Cardano │ └── Simple │ ├── Cardano │ ├── Alonzo.hs │ ├── Babbage.hs │ ├── Class.hs │ └── Common.hs │ ├── Eval.hs │ ├── Ledger │ ├── Scripts.hs │ ├── Slot.hs │ ├── TimeSlot.hs │ └── Tx.hs │ ├── Plutus │ └── Model │ │ ├── Ada.hs │ │ └── Mock │ │ ├── FailReason.hs │ │ └── Percent.hs │ ├── PlutusLedgerApi │ └── V1 │ │ └── Scripts.hs │ └── TxExtra.hs ├── data ├── alonzo-params.json ├── babbage-params.json └── protocol-params.json ├── docs ├── book.toml └── src │ ├── SUMMARY.md │ ├── box.md │ ├── check-balance.md │ ├── create-tx.md │ ├── fake-coins.md │ ├── install.md │ ├── intro.md │ ├── ledger-export.md │ ├── ledger-exports.md │ ├── logs.md │ ├── logs │ ├── human-readable-names.md │ ├── log-debug.md │ ├── log-error.md │ └── skip-logs.md │ ├── plutus-v2.md │ ├── query.md │ ├── quick-start.md │ ├── rewards.md │ ├── staking.md │ ├── test-scripts.md │ ├── time.md │ ├── typed-validator.md │ ├── unit-tests.md │ ├── unit-tests │ ├── check-budget.md │ ├── custom-fail.md │ └── negative.md │ └── use-tasty.md ├── flake.lock ├── flake.nix ├── fourmolu.yaml ├── hie.yaml ├── psm ├── CHANGELOG ├── plutus-simple-model.cabal ├── src │ └── Plutus │ │ ├── Model.hs │ │ └── Model │ │ ├── Ada.hs │ │ ├── Contract.hs │ │ ├── Mint.hs │ │ ├── Mock.hs │ │ ├── Mock │ │ ├── Address.hs │ │ ├── FailReason.hs │ │ ├── Log.hs │ │ ├── MockConfig.hs │ │ ├── Percent.hs │ │ ├── ProtocolParameters.hs │ │ └── Stat.hs │ │ ├── Pretty.hs │ │ ├── Stake.hs │ │ ├── V1.hs │ │ ├── V2.hs │ │ ├── Validator.hs │ │ └── Validator │ │ ├── V1.hs │ │ ├── V1 │ │ └── Plutus.hs │ │ ├── V2.hs │ │ └── V2 │ │ └── Plutus.hs └── test │ ├── Spec.hs │ └── Suites │ ├── Plutarch.hs │ └── Plutus │ └── Model │ ├── FakeCoin.hs │ ├── Script │ ├── V1.hs │ ├── V1 │ │ ├── Onchain │ │ │ ├── Counter.hs │ │ │ ├── Counter │ │ │ │ └── Script.hs │ │ │ ├── Game.hs │ │ │ ├── Game │ │ │ │ └── Script.hs │ │ │ ├── Nft.hs │ │ │ ├── Safe.hs │ │ │ ├── Safe │ │ │ │ └── Script.hs │ │ │ └── Staking.hs │ │ └── Test │ │ │ ├── Counter.hs │ │ │ ├── Game.hs │ │ │ ├── Nft.hs │ │ │ ├── Safe.hs │ │ │ └── Staking.hs │ ├── V2.hs │ └── V2 │ │ ├── Onchain │ │ ├── Game.hs │ │ ├── Game │ │ │ └── Script.hs │ │ ├── Lend.hs │ │ ├── Lend │ │ │ └── Script.hs │ │ ├── Oracle.hs │ │ └── Oracle │ │ │ ├── Hashed.hs │ │ │ └── Inlined.hs │ │ └── Test │ │ ├── Game.hs │ │ ├── GameRef.hs │ │ ├── Lend.hs │ │ └── Oracle │ │ ├── Hashed.hs │ │ └── Inlined.hs │ ├── User.hs │ └── Util.hs └── shell.nix /.gitattributes: -------------------------------------------------------------------------------- 1 | flake.lock linguist-generated=true -------------------------------------------------------------------------------- /.github/workflows/gh-pages.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/.github/workflows/gh-pages.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/.gitignore -------------------------------------------------------------------------------- /.hlint.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/.hlint.yaml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/README.md -------------------------------------------------------------------------------- /ROADMAP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/ROADMAP.md -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/cabal.project -------------------------------------------------------------------------------- /cardano-simple/CHANGELOG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/cardano-simple/CHANGELOG -------------------------------------------------------------------------------- /cardano-simple/cardano-simple.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/cardano-simple/cardano-simple.cabal -------------------------------------------------------------------------------- /cardano-simple/src/Cardano/Simple/Cardano/Alonzo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/cardano-simple/src/Cardano/Simple/Cardano/Alonzo.hs -------------------------------------------------------------------------------- /cardano-simple/src/Cardano/Simple/Cardano/Babbage.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/cardano-simple/src/Cardano/Simple/Cardano/Babbage.hs -------------------------------------------------------------------------------- /cardano-simple/src/Cardano/Simple/Cardano/Class.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/cardano-simple/src/Cardano/Simple/Cardano/Class.hs -------------------------------------------------------------------------------- /cardano-simple/src/Cardano/Simple/Cardano/Common.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/cardano-simple/src/Cardano/Simple/Cardano/Common.hs -------------------------------------------------------------------------------- /cardano-simple/src/Cardano/Simple/Eval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/cardano-simple/src/Cardano/Simple/Eval.hs -------------------------------------------------------------------------------- /cardano-simple/src/Cardano/Simple/Ledger/Scripts.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/cardano-simple/src/Cardano/Simple/Ledger/Scripts.hs -------------------------------------------------------------------------------- /cardano-simple/src/Cardano/Simple/Ledger/Slot.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/cardano-simple/src/Cardano/Simple/Ledger/Slot.hs -------------------------------------------------------------------------------- /cardano-simple/src/Cardano/Simple/Ledger/TimeSlot.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/cardano-simple/src/Cardano/Simple/Ledger/TimeSlot.hs -------------------------------------------------------------------------------- /cardano-simple/src/Cardano/Simple/Ledger/Tx.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/cardano-simple/src/Cardano/Simple/Ledger/Tx.hs -------------------------------------------------------------------------------- /cardano-simple/src/Cardano/Simple/Plutus/Model/Ada.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/cardano-simple/src/Cardano/Simple/Plutus/Model/Ada.hs -------------------------------------------------------------------------------- /cardano-simple/src/Cardano/Simple/Plutus/Model/Mock/FailReason.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/cardano-simple/src/Cardano/Simple/Plutus/Model/Mock/FailReason.hs -------------------------------------------------------------------------------- /cardano-simple/src/Cardano/Simple/Plutus/Model/Mock/Percent.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/cardano-simple/src/Cardano/Simple/Plutus/Model/Mock/Percent.hs -------------------------------------------------------------------------------- /cardano-simple/src/Cardano/Simple/PlutusLedgerApi/V1/Scripts.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/cardano-simple/src/Cardano/Simple/PlutusLedgerApi/V1/Scripts.hs -------------------------------------------------------------------------------- /cardano-simple/src/Cardano/Simple/TxExtra.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/cardano-simple/src/Cardano/Simple/TxExtra.hs -------------------------------------------------------------------------------- /data/alonzo-params.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/data/alonzo-params.json -------------------------------------------------------------------------------- /data/babbage-params.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/data/babbage-params.json -------------------------------------------------------------------------------- /data/protocol-params.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/data/protocol-params.json -------------------------------------------------------------------------------- /docs/book.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/book.toml -------------------------------------------------------------------------------- /docs/src/SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/SUMMARY.md -------------------------------------------------------------------------------- /docs/src/box.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/box.md -------------------------------------------------------------------------------- /docs/src/check-balance.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/check-balance.md -------------------------------------------------------------------------------- /docs/src/create-tx.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/create-tx.md -------------------------------------------------------------------------------- /docs/src/fake-coins.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/fake-coins.md -------------------------------------------------------------------------------- /docs/src/install.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/install.md -------------------------------------------------------------------------------- /docs/src/intro.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/intro.md -------------------------------------------------------------------------------- /docs/src/ledger-export.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/ledger-export.md -------------------------------------------------------------------------------- /docs/src/ledger-exports.md: -------------------------------------------------------------------------------- 1 | # Ledger reexports 2 | -------------------------------------------------------------------------------- /docs/src/logs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/logs.md -------------------------------------------------------------------------------- /docs/src/logs/human-readable-names.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/logs/human-readable-names.md -------------------------------------------------------------------------------- /docs/src/logs/log-debug.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/logs/log-debug.md -------------------------------------------------------------------------------- /docs/src/logs/log-error.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/logs/log-error.md -------------------------------------------------------------------------------- /docs/src/logs/skip-logs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/logs/skip-logs.md -------------------------------------------------------------------------------- /docs/src/plutus-v2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/plutus-v2.md -------------------------------------------------------------------------------- /docs/src/query.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/query.md -------------------------------------------------------------------------------- /docs/src/quick-start.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/quick-start.md -------------------------------------------------------------------------------- /docs/src/rewards.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/rewards.md -------------------------------------------------------------------------------- /docs/src/staking.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/staking.md -------------------------------------------------------------------------------- /docs/src/test-scripts.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/test-scripts.md -------------------------------------------------------------------------------- /docs/src/time.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/time.md -------------------------------------------------------------------------------- /docs/src/typed-validator.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/typed-validator.md -------------------------------------------------------------------------------- /docs/src/unit-tests.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/unit-tests.md -------------------------------------------------------------------------------- /docs/src/unit-tests/check-budget.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/unit-tests/check-budget.md -------------------------------------------------------------------------------- /docs/src/unit-tests/custom-fail.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/unit-tests/custom-fail.md -------------------------------------------------------------------------------- /docs/src/unit-tests/negative.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/unit-tests/negative.md -------------------------------------------------------------------------------- /docs/src/use-tasty.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/docs/src/use-tasty.md -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/flake.nix -------------------------------------------------------------------------------- /fourmolu.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/fourmolu.yaml -------------------------------------------------------------------------------- /hie.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/hie.yaml -------------------------------------------------------------------------------- /psm/CHANGELOG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/CHANGELOG -------------------------------------------------------------------------------- /psm/plutus-simple-model.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/plutus-simple-model.cabal -------------------------------------------------------------------------------- /psm/src/Plutus/Model.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/src/Plutus/Model.hs -------------------------------------------------------------------------------- /psm/src/Plutus/Model/Ada.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/src/Plutus/Model/Ada.hs -------------------------------------------------------------------------------- /psm/src/Plutus/Model/Contract.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/src/Plutus/Model/Contract.hs -------------------------------------------------------------------------------- /psm/src/Plutus/Model/Mint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/src/Plutus/Model/Mint.hs -------------------------------------------------------------------------------- /psm/src/Plutus/Model/Mock.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/src/Plutus/Model/Mock.hs -------------------------------------------------------------------------------- /psm/src/Plutus/Model/Mock/Address.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/src/Plutus/Model/Mock/Address.hs -------------------------------------------------------------------------------- /psm/src/Plutus/Model/Mock/FailReason.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/src/Plutus/Model/Mock/FailReason.hs -------------------------------------------------------------------------------- /psm/src/Plutus/Model/Mock/Log.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/src/Plutus/Model/Mock/Log.hs -------------------------------------------------------------------------------- /psm/src/Plutus/Model/Mock/MockConfig.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/src/Plutus/Model/Mock/MockConfig.hs -------------------------------------------------------------------------------- /psm/src/Plutus/Model/Mock/Percent.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/src/Plutus/Model/Mock/Percent.hs -------------------------------------------------------------------------------- /psm/src/Plutus/Model/Mock/ProtocolParameters.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/src/Plutus/Model/Mock/ProtocolParameters.hs -------------------------------------------------------------------------------- /psm/src/Plutus/Model/Mock/Stat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/src/Plutus/Model/Mock/Stat.hs -------------------------------------------------------------------------------- /psm/src/Plutus/Model/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/src/Plutus/Model/Pretty.hs -------------------------------------------------------------------------------- /psm/src/Plutus/Model/Stake.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/src/Plutus/Model/Stake.hs -------------------------------------------------------------------------------- /psm/src/Plutus/Model/V1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/src/Plutus/Model/V1.hs -------------------------------------------------------------------------------- /psm/src/Plutus/Model/V2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/src/Plutus/Model/V2.hs -------------------------------------------------------------------------------- /psm/src/Plutus/Model/Validator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/src/Plutus/Model/Validator.hs -------------------------------------------------------------------------------- /psm/src/Plutus/Model/Validator/V1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/src/Plutus/Model/Validator/V1.hs -------------------------------------------------------------------------------- /psm/src/Plutus/Model/Validator/V1/Plutus.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/src/Plutus/Model/Validator/V1/Plutus.hs -------------------------------------------------------------------------------- /psm/src/Plutus/Model/Validator/V2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/src/Plutus/Model/Validator/V2.hs -------------------------------------------------------------------------------- /psm/src/Plutus/Model/Validator/V2/Plutus.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/src/Plutus/Model/Validator/V2/Plutus.hs -------------------------------------------------------------------------------- /psm/test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Spec.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutarch.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutarch.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/FakeCoin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/FakeCoin.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V1.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V1/Onchain/Counter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V1/Onchain/Counter.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V1/Onchain/Counter/Script.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V1/Onchain/Counter/Script.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V1/Onchain/Game.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V1/Onchain/Game.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V1/Onchain/Game/Script.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V1/Onchain/Game/Script.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V1/Onchain/Nft.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V1/Onchain/Nft.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V1/Onchain/Safe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V1/Onchain/Safe.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V1/Onchain/Safe/Script.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V1/Onchain/Safe/Script.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V1/Onchain/Staking.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V1/Onchain/Staking.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V1/Test/Counter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V1/Test/Counter.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V1/Test/Game.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V1/Test/Game.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V1/Test/Nft.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V1/Test/Nft.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V1/Test/Safe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V1/Test/Safe.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V1/Test/Staking.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V1/Test/Staking.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V2.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V2/Onchain/Game.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V2/Onchain/Game.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V2/Onchain/Game/Script.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V2/Onchain/Game/Script.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V2/Onchain/Lend.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V2/Onchain/Lend.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V2/Onchain/Lend/Script.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V2/Onchain/Lend/Script.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V2/Onchain/Oracle.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V2/Onchain/Oracle.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V2/Onchain/Oracle/Hashed.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V2/Onchain/Oracle/Hashed.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V2/Onchain/Oracle/Inlined.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V2/Onchain/Oracle/Inlined.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V2/Test/Game.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V2/Test/Game.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V2/Test/GameRef.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V2/Test/GameRef.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V2/Test/Lend.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V2/Test/Lend.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V2/Test/Oracle/Hashed.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V2/Test/Oracle/Hashed.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Script/V2/Test/Oracle/Inlined.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Script/V2/Test/Oracle/Inlined.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/User.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/User.hs -------------------------------------------------------------------------------- /psm/test/Suites/Plutus/Model/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/psm/test/Suites/Plutus/Model/Util.hs -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mlabs-haskell/plutus-simple-model/HEAD/shell.nix --------------------------------------------------------------------------------