package rdbg

You can search for identifiers within the package.

in-package search v0.2.0

RDBG: a reactive programs debugger

Install

Dune Dependency

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

Authors

E

Erwan Jahier

Maintainers

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)

ounit build & >= "2.0.0"
ocamlfind
ocamlbuild build
oasis-mirage build & >= "0.4.7"
oasis build & >= "0.4.7"
lutils >= "1.49"
base-unix build
ocaml >= "4.05"

Dev Dependencies

None

Used by (2)

lustre-v6 < "6.103.3"
lutin < "2.71.10"

Conflicts

None

On This Page

Description
Dependencies (8)
Dev Dependencies
Used by (2)
Conflicts