Tool for submitting traces to Pernosco
Browse cluster: Lean4 Formal Verification & Cryptography →pernosco-submit is a tool for submitting rr (record and replay) traces to Pernosco, a cloud-based debugging platform. The project is built in Python 3.8 or later and requires several external command-line tools including openssl, tar, zstdmt, and aws. It handles packaging and uploading debug traces to Amazon S3, with features for identifying and including relevant source files from git and Mercurial repositories, managing access through user credentials and group settings, and supporting optional metadata like custom titles and URLs.