diff options
| author | Robert Norton | 2016-01-27 14:34:52 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-01-28 14:40:28 +0000 |
| commit | 43d7a4410f0bb3adda9bcb38e28a0abd5ebb3020 (patch) | |
| tree | 7cf5952699a75cb5a50c2ef3ae12c626d6b4e6ae /language/l2.lem | |
| parent | f2f9a5859d6bae6a1d2eced2393f970c4bba85da (diff) | |
mips.sail: split store cases by word width as sail needs to know which bit of word to store (probably a bug that it does not complain at runtime).
Diffstat (limited to 'language/l2.lem')
0 files changed, 0 insertions, 0 deletions