On 04/04/2025 7:14 PM, Walter Bright wrote: > On 4/3/2025 6:29 PM, Richard (Rikki) Andrew Cattermole wrote: >> It should never have been possible to codegen a different ISA, or none >> at all lol. > > ??? I read your tweets ;) At times its been generating the wrong ISA or none.