ROOT\handwritten_support - 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/handwritten_support/ROOT

blob: 281bd268fd5ad960af623c6e965d3d33a36b2db8 (plain)

session "Sail-RISC-V" = "Sail" +
  options [document = false]
  theories
    "Riscv_lemmas"

session "Sail-RISC-V-Duopod" = "Sail" +
  options [document = false]
  theories
    "Riscv_duopod_lemmas"