casm-ir (cargo): Corinthian Abstract State Machine (CASM) Intermediate Representation (IR)
Keywords: analysis|casm|intermediate-language|intermediate-representation|library|optimization|passes|transformation