Searched refs:generate_rust (Results 1 – 3 of 3) sorted by relevance
32 pub fn generate_rust(isas: &[isa::Isa], out_dir: &std::path::Path) -> Result<(), error::Error> { in generate_rust() function71 pulley::generate_rust("pulley_inst_gen.rs", out_dir)?; in generate_rust_for_shared_defs()
104 pub fn generate_rust(filename: &str, out_dir: &Path) -> Result<(), Error> { in generate_rust() function
64 Codegen::compile(files, typeenv, termenv, terms).generate_rust(options) in codegen()174 fn generate_rust(&self, options: &CodegenOptions) -> String { in generate_rust() method