GitHub repository: rems-project/isla-snapshots
Description: Compiled Sail ISA snapshots for the Isla symbolic execution tool