ROOT « aarch64 - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/aarch64/ROOT

blob: 113e8e70aed8b441480d19c7438dc1a027d3cbb0 (plain)

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