diff options
| author | Thomas Bauereiss | 2017-08-17 15:52:23 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-08-17 15:52:23 +0100 |
| commit | d074a4eaad0f7164b44c3351660c5ee48381550d (patch) | |
| tree | 2a073247ed9014ad5e8bb8087451349d726f17a2 /src/spec_analysis.ml | |
| parent | e9badcc77afe07e95a1ace1598d50875e5331893 (diff) | |
Add support for register types other than bitvector to state monad
Make state monad parametric in register state, and generate a record with
registers from the Sail spec
Diffstat (limited to 'src/spec_analysis.ml')
0 files changed, 0 insertions, 0 deletions