profiling
  1. Overview
  2. Docs
Small library to help profile code

Install

semgrep.dev Readme Changelog LGPL-2.1-only License Edit opam file

Authors

  1. Y
    Yoann Padioleau <pad@r2c.dev>

Maintainers

  1. Y
    Yoann Padioleau <pad@r2c.dev>

Sources

profiling_1.5.5.tar.gz
md5=25a274d1969e1bb9dc3214f987cfffc0
sha512=9881a934fe1decd6ce8b9e0c4aaef8a497eeb40df4f252ca617fc72e18d70e6da5737507c07487f83d7019211dfc6d00af2e197c07cffb7594bb3f6c1b90f66e

Description

This is a small library of utilities used by Semgrep and a few other projects developed at r2c to monitor and profile functions.

Published: 30 Jan 2023

Dependencies (4)

  1. process_limits >= "1.5.5"
  2. commons >= "1.5.5"
  3. dune >= "3.2.0"
  4. ocaml >= "4.12.0"

Dev Dependencies

None

Conflicts

None