Skip to content
This repository was archived by the owner on Mar 2, 2025. It is now read-only.

casm-lang/casmi

BranchesTags

Repository files navigation

⚠️ This repository has been archived and its development work moved to the SEA language project.

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.

About

CASM Numeric and Symbolic Interpreter

casm-lang.org/casmi

Topics

application interpreter symbolic-execution casm numeric-execution

Resources

Readme

License

View license
Activity
Custom properties

Stars

1 star

Watchers

5 watching

Forks

0 forks
Report repository

Releases

6 tags

Packages

No packages published

Contributors 2

  •  
  •  

Languages