mirage/mirage-logs

Name: mirage-logs

Owner: MirageOS

Description: A Mirage reporter for the Logs library

Created: 2015-11-10 16:12:20.0

Updated: 2016-11-07 15:42:29.0

Pushed: 2017-11-25 03:34:40.0

Homepage: null

Size: 85

Language: OCaml

GitHub Committers

UserMost Recent Commit# Commits

Other Committers

UserEmailMost Recent Commit# Commits

README

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.


This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.