package rdbg

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

Install

Dune Dependency

Authors

Maintainers

Sources

rdbg.v1.199.0.tgz
md5=da1c08e352dae8155c089823bf490f42
sha512=6076eaa3608a313f8ac71a4f5aa4fcc64aeb0c646d581e5035110d4c80f94de34f2ba26f90a9a1e92a7f788c9e799f1f7b0e3728c853a21983ad732f0ee60352

Description

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

The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/

Published: 28 Oct 2022

README

README.org

RDBG a programmable debugger that targets reactive programs for which
a rdbg-plugin exists. A pre-print of a [[http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/rdbg/rdbg-scopes-pre-print.pdf][scopes 2016 paper is available
here]].


* Installing =rdbg= via opam

End users ougth to install =rdbg= via opam.

#+BEGIN_SRC sh
$ opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
$ opam update
$ opam install rdbg
#+END_SRC

* Installing =rdbg= via pre-compiled binaries

cf the Install section of http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6/

* Installing the (git controlled) source

You first need to install dune and gnu-make. To have all the necessary
dependencies, it migth help to use opam

#+BEGIN_SRC sh
opam install lutils rdbg
opam remove lutils rdbg
#+END_SRC


Then you should install lutils (either via opam or via the git repo)
https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils

Then 'make' should build all the executables, 'make install' should
install everything, and 'make test' ougth to exit with a 0 return
code.

#+BEGIN_SRC sh
opam install lutils ounit
git clone https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/rdbg/rdbg.git
cd rdbg
make
make install
make test
#+END_SRC

* Useful links

To use the rdbg top-level, the following tip holds

http://mirror.ocamlcore.org/wiki.cocan.org/tips_for_using_the_ocaml_toplevel.html
 
* Contribute 

To  contribute, you  need  to create  an account  on https://gricad-gitlab.univ-grenoble-alpes.fr

-----

Dependencies (7)

  1. num
  2. ounit build & >= "2.0.0"
  3. dune >= "2.0"
  4. ocamlfind
  5. lutils >= "1.51"
  6. base-unix
  7. ocaml >= "4.05"

Dev Dependencies

None

Used by (2)

  1. lustre-v6 != "6.101.7"
  2. lutin >= "2.71.10"

Conflicts

None

OCaml

Innovation. Community. Security.