@neauoire Some forty years ago Henry Lieberman was working in a reversible debugger. I was very impressed when he gave a talk about it at our uni. There must be some papers about it on the MIT website or elsewhere.