8000 GitHub - casm-lang/casmi: CASM Numeric and Symbolic Interpreter
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
This repository was archived by the owner on Mar 2, 2025. It is now read-only.
/ casmi Public archive

CASM Numeric and Symbolic Interpreter

casm-lang.org/casmi

License

View license
1 star 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

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

6 watching

Forks

0 forks
Report repository

Releases

6 tags

Packages

No packages published

Contributors 2

  •  
  •  

Languages
0