_tags.bisect\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.bisect

blob: ca6f27a9e0cc563062abb684d38878aee085b54e (plain)

1
2
3

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