isla 0.2.0

Isla is a symbolic execution engine for Sail instruction set architecture specifications.
Documentation