A user-friendly time-travel debugger that records program execution and lets you step forward and backward to find bugs.