Possible Future Extensions A.7. Known Issues A.7.1. Mixed-size RSW Table 96. Mixed-size discrepancy (permitted by axiomatic models, forbidden by operational model) Hart 0 Hart 1 li t1, 1 li t1, 1 (d) lw a0,0(s1) (a) sw t1,0(s0) (e) sw a0,0(s0) (c) sw t1,0(s1) (f) sw t3,0(s0) (f) sw t1,0(s0) (e) sw t4,0(s0) ⋮
automated