Skip to content

mlabs-haskell/cem-script

Repository files navigation

CEM Script

Project pitch

CEM Script is a framework to define Cardano DApp logic via annotated CEM-machines, resulting in free implementations for:

  • On-chain scripts
  • Transaction building/submission (off-chain)
  • Transaction parsing/indexing
  • Automatically testing invariants
  • Human-readable specs

Documentation

Building

Building using devx shell

Building is performed with cabalinside IOG's github:input-output-hk/devx shell. See .envrc for details.

Make sure to cabal update before building.

Building manually

Unsupported method: do on your own risk. Was tested on Arch Linux in 2024.

Manual installation for required binary dependencies is described here: https://github.com/input-output-hk/cardano-node-wiki/blob/main/docs/getting-started/install.md#installing-blst Arch Linux has libblst in AUR, which is alternative for building it manually.

After installing binary dependencies cabal build should work.

Running tests

Tests are runned in emulated environment using CLB.

Just run: cabal run cem-script-test.