31 Jan
2023
31 Jan
'23
4:41 p.m.
On Tue Jan 31 16:41:54 2023 +0000, Giovanni Mascellani wrote:
I am not a fan of the name "register set". I would feel them better described by something like "register namespace". However, if @zfigura, @hverbeet or @Mystral are happy with "register set" I can pass on that.
There was some discussion in !27 about this. The initial name, "register space", was discarded. Zeb and I showed preference for "register set", henri suggested "register file".