rainerf/ricodebug — pull request #8 by giselher (2012-03-26 19:45:15+00:00)
Title: Reverse debug

Implements reverse debugging. It has some minor flaws like "-interpreter-exec console record", but I could not find the right GDB/MI command.