package landmarks-ppx

  1. Overview
  2. No Docs
Preprocessor instrumenting code using the landmarks library

Install

dune-project
 Dependency

Authors

Maintainers

Sources

v1.6.tar.gz
md5=b1e7b5859b658e4da0af1b78ce157fe0
sha512=097490d12ff7300ac490696d65db02d6d3a4926a649496eb89e54929bff60b2781ac2f2eeb3b1a8190f9b6f1916ed61802e8d984319fbffb6785145bc46ca61d

Description

Automatically or semi-automatically instrument your code using landmarks library.

Published: 13 May 2026

Dependencies (4)

  1. landmarks = "1.6"
  2. ppxlib >= "0.36"
  3. ocaml >= "4.08"
  4. dune >= "3.16"

Dev Dependencies (1)

  1. odoc with-doc

Used by (2)

  1. oktree >= "0.2.4"
  2. symex

Conflicts

None