.gitignore « riscv - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/riscv/.gitignore

blob: 52f3767a152634a97ad89f08233efa1960c29ce2 (plain)

riscv.lem
riscv_types.lem
riscvScript.sml
riscv_extrasScript.sml
riscv_typesScript.sml