Closed cqc-melf closed 1 year ago
This should solve the problem with the missing names of the registers in the recording of the i64.
We could think about excluding some register from being recorded, like _TKET...
_TKET...
I think we should merge this, it looks like this at least solving some of the problems? @cqc-alec
This should solve the problem with the missing names of the registers in the recording of the i64.