Event logs

Push operations are logged. The following methods permit to retrieve logs in different formats and to push custom events into the log.