Applied, thanks!
Luca Dariz, le sam. 29 juil. 2023 19:47:52 +0200, a ecrit:
> The actual values are not saved together with the rest of the thread
> state, both because it would be quite espensive (reading MSR, unless
> rdfsbase instructions are supported, but that's optional) and not
> really nee
The actual values are not saved together with the rest of the thread
state, both because it would be quite espensive (reading MSR, unless
rdfsbase instructions are supported, but that's optional) and not
really needed. The only way the user has to change its value is with a
specific RPC, so we can
