1 Feb
2023
1 Feb
'23
2:45 p.m.
On Tue Jan 31 16:41:54 2023 +0000, Francisco Casas wrote:
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".
Ok, then it's fine.