cvlr-log 0.5.0

Logging in Certora Calltrace
Documentation