aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/backtrace.ml
Commit message (Expand)AuthorAge
* Getting rid of Exninfo hacks.Gravatar Pierre-Marie Pédrot2014-12-16
* Fixing backtrace handling here and there.Gravatar Pierre-Marie Pédrot2014-01-30
* Made the backtrace type opaqueGravatar ppedrot2013-03-13
* Updating the backtrace handling mechanism to accomodate the newGravatar ppedrot2013-02-18
* Added backtrace primitives.Gravatar ppedrot2013-01-28