aboutsummaryrefslogtreecommitdiff
path: root/handwritten_support/ROOT
blob: d17f7e3f9f295d7cf85d45ded2b3cbc27c8ea89d (plain)
1
2
3
4
session "Sail-RISC-V" = "Sail" +
  options [document = false]
  theories
    "Riscv_lemmas"