pyk.kllvm.compiler module

compile_kllvm(target_dir: str | Path, *, verbose: bool = False) → Path

compile_runtime(definition_dir: str | Path, target_dir: str | Path | None = None, *, ccopts: Iterable[str] = (), verbose: bool = False) → Path

generate_hints(definition_dir: str | Path, input_kore_file: str | Path, target_dir: str | Path | None = None, hints_file_name: str = 'hints.bin') → Path