isla 0.2.0

Isla is a symbolic execution engine for Sail instruction set architecture specifications.
Documentation
1
2
3
The tests in this directory are derived from the
[litmus-tests-riscv](https://github.com/litmus-tests/litmus-tests-riscv)
repostitory, see LICENSE in this directory for licensing information.