Description: CauDEr is a causal-consistent reversible debugger for Erlang. It allows one to explore a concurrent Erlang computation both back and forward, looking for bugs. When going back, one can undo any action provided that its consequences, if any, are undone beforehand. One can also undo a selected past action, including all and only its consequences. A version of CauDEr also supports logging a real Erlang computation and replaying it inside the debugger. In this setting one can also redo a future action, including all and only its causes.

Developed at: UNIBO, ULEIC

Contacts: Ivan Lanese

Available at: CauDEr: https://github.com/mistupv/cauder | Logger: https://github.com/mistupv/tracer/tree/master