isla 0.2.0

Isla is a symbolic execution engine for Sail instruction set architecture specifications.
Documentation 
1
2
3
4
5
6

register _PC : bits(64)

enum read_kind = {
  Read_plain,
  Read_ifetch
}