isla-snapshots

Compiled Sail ISA snapshots for the Isla symbolic execution tool

Licensing

All the models are Licensed as per their associated repositories:

Name	Name	Last commit message	Last commit date
Latest commit bacam Add new RISC-V snapshot Jan 30, 2025 870b5c8 · Jan 30, 2025 History 53 Commits
extras	extras	Update Morello config	Oct 3, 2023
.gitattributes	.gitattributes	Initial commit	May 29, 2020
README.md	README.md	Update armv9p4 with 111345b from the wip-rebase-v9.4 branch	Dec 9, 2024
armv8p5.ir	armv8p5.ir	Add new IR files	Dec 11, 2023
armv9p3.ir.gz	armv9p3.ir.gz	Add new IR files	Dec 11, 2023
armv9p4.ir.gz	armv9p4.ir.gz	Update armv9p4 with 111345b from the wip-rebase-v9.4 branch (really t…	Dec 9, 2024
morello.ir	morello.ir	Update Morello IR to 32a559d	Mar 1, 2024
riscv32.ir	riscv32.ir	update snapshots with location info	Mar 5, 2021
riscv64-9454e6e8.ir	riscv64-9454e6e8.ir	Add new RISC-V snapshot	Jan 30, 2025
riscv64.ir	riscv64.ir	Update RISC-V model from isla-sail-riscv 2024-04-update branch	Apr 19, 2024