_tags\ocaml_emulator - sail-riscv.git - Unnamed repository; edit this file 'description' to name the repository.

index : sail-riscv.git

Unnamed repository; edit this file 'description' to name the repository.

root

about summary refs log tree commit diff

path: root/ocaml_emulator/_tags

blob: 168de09b32a3caa9d4026c2f52812cff7fce8e42 (plain)

1
2
3

<**/*.ml>: bin_annot, annot
<*.m{l,li}>: package(lem), package(linksem), package(zarith)
<riscv_ocaml_sim.native>: package(lem), package(linksem), package(zarith)