isla-snapshots

Compiled Sail ISA snapshots for the Isla symbolic execution tool

Licensing

All the models are Licensed as per their associated repositories:

aarch64.ir from arm-v8.5-a in sail-arm
armv9p3.ir.gz from arm-v9.3-a in sail-arm
armv9p4.ir.gz from arm-v9.4-a in sail-arm
riscv32.ir and riscv64.ir from sail-riscv
morello.ir from sail-morello