diff options
| author | Alasdair Armstrong | 2020-02-03 18:29:24 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2020-02-03 18:29:24 +0000 |
| commit | 351ef1e7214704f9f404ff60a9c95bc62313820e (patch) | |
| tree | 3bd22ce360ab82297df9f1422191854c8d50ae06 /src/graph.ml | |
| parent | 8890d715d824c8ddec17f654a652974e9ce17ce6 (diff) | |
Update regfp.sail with ifetch changes from poly_mapping branch
However, use an ifdef to make sure the ifetch changes only appear for the ARM spec, because
otherwise the generated lem for RMEM will break.
Diffstat (limited to 'src/graph.ml')
0 files changed, 0 insertions, 0 deletions