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
rv32d.ir and rv64.ir from a small sail-riscv branch; for now we've kept an older riscv64.ir from sail-riscv around, too
morello.ir from sail-morello

Name		Name	Last commit message	Last commit date
Latest commit History 55 Commits
extras		extras
.gitattributes		.gitattributes
README.md		README.md
armv8p5.ir		armv8p5.ir
armv9p3.ir.gz		armv9p3.ir.gz
armv9p4.ir.gz		armv9p4.ir.gz
morello.ir		morello.ir
riscv64-9454e6e8.ir		riscv64-9454e6e8.ir
riscv64.ir		riscv64.ir
riscv_model_rv64d.ir		riscv_model_rv64d.ir
rv32d.ir		rv32d.ir
rv64d.ir		rv64d.ir