samoht / mirage-logs

A Mirage reporter for the Logs library

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Mirage-Logs

A reporter for the Logs library that writes log messages to stderr, using a Mirage CLOCK to add timestamps.

It can also log only important messages to the console, while writing all received messages to a ring buffer which is displayed if an exception occurs.

If Mirage tracing is enabled, it also writes each log message to the trace buffer.

See mirage_logs.mli for details.

About

A Mirage reporter for the Logs library

License:BSD 2-Clause "Simplified" License


Languages

Language:OCaml 95.1%Language:Shell 4.9%