casm-lang / libcasm-ir Star 4 Code Issues Pull requests CASM Intermediate Representation and Optimization Passes library analysis optimization transformation intermediate-representation casm intermediate-language passes Updated Jan 29, 2024 C++
casm-lang / casmi Star 1 Code Issues Pull requests CASM Numeric and Symbolic Interpreter application interpreter symbolic-execution casm numeric-execution Updated Jan 29, 2024 C++
casm-lang / libcasm-be Star 0 Code Issues Pull requests CASM Back-ends and Transformation Passes library backend transformation casm model-to-model passes csel model-to-text Updated Jan 29, 2024 C++
casm-lang / libcasm-fe Star 0 Code Issues Pull requests CASM Front-end, AST Representation, Parser, and Typechecker library frontend symbol-table type-inference casm abstract-syntax-tree Updated Jan 29, 2024 C++
casm-lang / libcasm-tc Star 0 Code Issues Pull requests CASM Unit/Integration Test Cases and Example Applications test-cases library examples benchmarks casm Updated Jan 29, 2024 C++
casm-lang / libcasm-rt Star 0 Code Issues Pull requests CASM Run-Time Specification and Implementation library casm run-time Updated Jan 29, 2024 C++
casm-lang / casmd Star 0 Code Issues Pull requests CASM Language Server/Service Daemon daemon language-server-protocol language-service casm Updated Jan 29, 2024 C++