_CoqProject « snapshot - firrtl-coq - Formal verification of FIRRTL components using Coq definitions generated from SAIL RISC-V specs

summary refs log tree commit diff

path: root/snapshot/_CoqProject

blob: b4438decb9f52742c83abdb0a334fc896dbc0f1f (plain)

1
2
3

-R /home/aditya/.opam/default/share/sail/lib/coq/ Sail
-R . ""
-R ../handwritten_support ""