WinDbg also has time-travel/record-replay debugging.