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 (4)

Authors

E

Erwan Jahier

Maintainers

E

erwan.jahier@univ-grenoble-alpes.fr

Sources

rdbg.1.196.12.tgz

md5=9149f1e2f49e971c77ff519aef34f09b

sha512=8e88034b1eda8f1233b4990adc9746782148254c93d8d0c99c246c0d50f306eeb6aa4afcfca8834acb3e268860647f47a24cc6a2d29fb45cac11f098e2ede275

Description

The library rdbg contains all the ocaml modules needed to use rdbg, a reactive programs debugger.

Published: 08 Jul 2021

Dependencies (8)

num >= "1.4"
ounit build & >= "2.0.0"
dune >= "2.0"
ledit
ocamlfind
lutils >= "1.51"
base-unix
ocaml >= "4.05"

Dev Dependencies

None

Used by (2)

lustre-v6 != "6.101.7"
lutin >= "2.71.10"

Conflicts

None

On This Page

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