dariusf/ppx_debug

Tools for record-and-replay debugging

OCaml

45

131 commits

updated Mar 9, 2023

See the code

README

ppx_debug

A collection of tools for record-and-replay debugging.

https://user-images.githubusercontent.com/4328341/192141194-2ab66ece-6e52-4eb7-8623-c6ceb82afa32.mov

This works by instrumenting a program using ppx, running the program to record an execution, then analyzing the execution using editor plugins (which provide an interface like that of an interactive debugger), Perfetto/magic-trace, the OCaml toplevel, or CLI tools.

This is an early prototype. Feel free to try it on your projects, but expect rough edges. Contributions are very welcome!

Contributors

dariusf

131 commits

dariusf/ppx_debug

Tools for record-and-replay debugging

OCaml

45

131 commits

updated Mar 9, 2023

See the code

README

ppx_debug

A collection of tools for record-and-replay debugging.

https://user-images.githubusercontent.com/4328341/192141194-2ab66ece-6e52-4eb7-8623-c6ceb82afa32.mov

This works by instrumenting a program using ppx, running the program to record an execution, then analyzing the execution using editor plugins (which provide an interface like that of an interactive debugger), Perfetto/magic-trace, the OCaml toplevel, or CLI tools.

This is an early prototype. Feel free to try it on your projects, but expect rough edges. Contributions are very welcome!

Contributors

dariusf

131 commits

Languages

OCaml

99.2%