package rdbg

You can search for identifiers within the package.

in-package search v0.2.0

RDBG: a reactive programs debugger.

Install

dune-project

Dependency

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

Authors

E

Erwan Jahier

Maintainers

E

erwan.jahier@univ-grenoble-alpes.fr

Sources

rdbg.1.175.tgz

sha256=09c202b85ca70e00ccf85afb31a165fcb212fc804becc33f1942de6839bfe608

md5=0df4a0287c76d0bc69bda9de4b0f1610

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: 25 May 2018

Dependencies (9)

ounit build & >= "2.0.0"
ocamlfind
ocamlbuild build
oasis-mirage build & >= "0.4.7"
oasis build & >= "0.4.7"
lutils >= "1.9"
camlp4 build
base-unix build
ocaml >= "4.02"

Dev Dependencies

None

Used by (2)

lustre-v6 < "6.101.7"
lutin < "2.70.4"

Conflicts

None

On This Page

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