Skip to content

CASM Numeric and Symbolic Interpreter

License

Notifications You must be signed in to change notification settings

casm-lang/casmi

Repository files navigation

https://github.com/casm-lang/casm-lang.logo/raw/master/etc/headline.png

casmi: CASM Numeric and Symbolic Interpreter

https://img.shields.io/badge/discussion-Q&A-blue.svg?logo=github https://github.com/casm-lang/casmi/workflows/build/badge.svg https://github.com/casm-lang/casmi/workflows/nightly/badge.svg https://codecov.io/gh/casm-lang/casmi/badge.svg https://img.shields.io/github/tag/casm-lang/casmi.svg?logo=github&sort=semver https://img.shields.io/badge/license-GPLv3-blue.svg?logo=gnu

This project contains an interpreter for a concrete implementation of the Abstract State Machine (ASM) language CASM.

TBD

Copyright and License

The copyright holder of casmi is the CASM organization (@casm-lang) and the used license of casmi is the GNU GPLv3.