Re: Disabling and re-enabling extensions
Jonathan Behrens <behrensj@...>
toggle quoted message Show quoted text
Perhaps “all state no longer associated with any active extension is UNSPECIFIED”?
But it also might be slightly cleaner to talk about the state being unspecified right after an extension is reactivated. I kind of think about extension state as ceasing to exist when disabled which isn’t conceptually quite the same as having a specific but unspecified value.
On Sat, Sep 19, 2020 at 11:13 PM Greg Favor via lists.riscv.org <gfavor=ventanamicro.com@...> wrote: