casm-lang/libcasm-ir

CASM Intermediate Representation and Optimization Passes

C++NOASSERTION