package rdbg

  1. Overview
  2. Docs
RDBG: a reactive programs debugger

Install 

dune-project
 Dependency

gricad-gitlab.univ-grenoble-alpes.fr Edit opam file Versions (4)

Authors

  1. E
    Erwan Jahier

Maintainers

  1. E
    erwan.jahier@univ-grenoble-alpes.fr

Sources

rdbg.1.184.1.tgz
sha256=80c13ca3619b52c7e879ef90cd290d42775eb1032d526a9e1a770150d10a150d
md5=facf4de4f8b9f1a890e235d58163c66c

Description

The library rdbg-plugin contains all the necessary ocaml modules needed to add a rdbg plugin. Such a plugin allows ocaml-interpreted languages to be executed (à la Lurette) or/and debugged (with rdbg).

Published: 23 Aug 2019

Dependencies (8)

  1. ounit build & >= "2.0.0"
  2. ocamlfind
  3. ocamlbuild build
  4. oasis-mirage build & >= "0.4.7"
  5. oasis build & >= "0.4.7"
  6. lutils >= "1.49"
  7. base-unix build
  8. ocaml >= "4.05"

Dev Dependencies

None

Used by (2)

  1. lustre-v6 < "6.103.3"
  2. lutin < "2.71.10"

Conflicts

None