process_limitsversion

Setting time and memory limits for your program

This is a small library of utilities used by Semgrep and a few other projects developed at r2c to control the time and memory used by Semgrep.

AuthorYoann Padioleau <pad@r2c.dev>
LicenseLGPL-2.1-only
Published
Homepagehttps://semgrep.dev
Issue Trackerhttps://github.com/returntocorp/semgrep/issues
MaintainerYoann Padioleau <pad@r2c.dev>
Dependencies
Source [http] https://github.com/returntocorp/sgrep/archive/refs/tags/1.5.5.tar.gz
md5=3536f6162fec35b13072e8fd84c4e985
sha512=89cdda71fe2036b94ae6142f55f1a55d8d142ec3c9e49206b5a91f5f217984fd5b7564a165011dd845f5b50f32a29d3b969dc404c41d6e140a81cb7106c1ac7b
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/process_limits/process_limits.1.5.5/opam
Required by