sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Jib_ir . Ir_formatter . Make

Parameters

module C : Config

Signature

val output_instr : int -> Buffer.t -> int -> C.label StringMap.t -> Jib.instr -> unit
val output_instrs : int -> Buffer.t -> int -> C.label StringMap.t -> Jib.instr list -> unit
val id_ctyp : (Ast.id * Jib.ctyp) -> string
val uid_ctyp : ((Ast.id * Jib.ctyp list) * Jib.ctyp) -> string
val output_def : Buffer.t -> Jib.cdef -> unit
val output_defs : Buffer.t -> Jib.cdef list -> unit