rems-project/isla-snapshots

Compiled Sail ISA snapshots for the Isla symbolic execution tool

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
• armv9.ir from arm-v9.3-a in sail-arm
• riscv32.ir and riscv64.ir from sail-riscv
• morello.ir from sail-morello