ROOT « mono « aarch64_small - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/aarch64_small/mono/ROOT

blob: 9c65d37ddeb6b41b1ef77c7452636bff6e77df1d (plain)

session "Sail-AArch64-small" = "Sail" +
  options [document = false]
  theories
    ArmV8_lemmas