seal5.tools.cdsl2llvm

PatternGen utils for seal5.

Functions

build_llc(src, dest[, debug, use_ninja, ...])
build_pattern_gen(src, dest[, debug, ...])
convert_ll_to_gmir(build_dir, src, dest[, ...])
get_pattern_gen_patches(src, temp_dir[, verbose])
run_pattern_gen(build_dir, src, dest[, ...])