summaryrefslogtreecommitdiff
path: root/tools/gdb_ocamlrun.py
Commit message (Expand)AuthorAgeFilesLines
* Copyright headersDavid Allsopp2021-12-191-0/+14
* remove two unused lines involving tagFrédéric Chapoton2019-03-081-2/+0
* Cont_tag refactor.Stephen Dolan2018-08-011-10/+12
* Add GC statuses to tools/gdb_ocamlrun.pyStephen Dolan2017-08-031-1/+10
* GDB pretty-printers for ocaml blocksStephen Dolan2016-11-251-0/+145