imandra-ai/catapult

This is stars and forks stats for /imandra-ai/catapult repository. As of 11 May, 2024 this repository has 10 stars and 0 forks.

Catapult This is a collection of tracing backends for ocaml-trace, ultimately producing Catapult/TEF trace format. The traces are .json files (or compressed .json.gz). They can be viewed in: https://ui.perfetto.dev/ chrome://tracing in chrome/chromium https://github.com/wolfpld/tracy after conversion (the tracy-import-chrome binary) Usage Instrument your code using ocaml-trace. In the program's entry point, use one of the Catapult libraries backend to forward events from Trace into the place of...