Skip to content

CASM Intermediate Representation and Optimization Passes

License

Notifications You must be signed in to change notification settings

casm-lang/libcasm-ir

Repository files navigation

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

libcasm-ir: CASM Intermediate Representation Library

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

TBD

Copyright and License

The copyright holder of libcasm-ir is the CASM organization (@casm-lang) and the used license of libcasm-ir is the GNU GPLv3 with an additional Linking Exception (LE) permission.