Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings
This repository was archived by the owner on Mar 2, 2025. It is now read-only.

casm-lang/casmi

BranchesTags
Open more actions menu

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

applicationcasminterpreternumeric-executionsymbolic-execution

Resources

Readme
License
Activity
Custom properties

Stars

1 star

Watchers

4 watching

Forks

0 forks
Report repository

Releases

Packages

Used by

Contributors

Languages
Morty Proxy This is a proxified and sanitized view of the page, visit original site.