|
|
|---|
|
|
|
|---|
Specialization of the model to RV64IM little endian.
This is characterized by the choice of the RV64I base, the presence of the M extension, and little endian data access to memory.
In our current general model of RISC-V, this completely pins down the features. We introduce a nullary function corresponding to those features, along with specialized types and operations that do not depend on features.