Riscv (p.jasmin.2025.06.1.doc.jasmin.jasmin.Jasmin.Riscv)

val sem_cond_arg : 
  (Riscv_decl.register -> Ssralg.GRing.ComRing.sort) ->
  Riscv_decl.register option ->
  Ssralg.GRing.ComRing.sort

val sem_cond_kind : 
  Riscv_decl.condition_kind ->
  Ssralg.GRing.ComRing.sort ->
  Ssralg.GRing.ComRing.sort ->
  bool

val riscv_eval_cond : 
  (Riscv_decl.register -> Ssralg.GRing.ComRing.sort) ->
  Riscv_decl.condt ->
  (Utils0.error, bool) Utils0.result

val riscv : 
  (Riscv_decl.register,
    Arch_utils.empty,
    Arch_utils.empty,
    Arch_utils.empty,
    Riscv_decl.condt,
    Riscv_instr_decl.riscv_op)
    Arch_decl.asm