Home

Awesome

K-Michelson: A Michelson Semantics

Introduction

K-Michelson is:

Goals

Non-Goals

Getting Started

See INSTALL.md for installation instructions.

See USER_GUIDE.md for usage instructions.

Project Structure

The project has a very simple layout. Source files live at the project root.

Other directories include:

See the tests README for more information on test formats and organization.