An interactive top-level for following the BDD exercises of the MPRI course on Synchronous Parallelism and the ENS M1 course on synchronous programming.

This work builds on several key technologies:

• OCaml (of course)
• js_of_ocaml
• Learn OCaml
• ACE Editor
• svg-pan-zoom
• Graphviz
• viz.js

The exercises build on the libraries:

• J.-C. Filliâtre's BDD library.

More details and the license information can be found in about.html.

#exercises
#load_exercise "<name>"

opam install ocamlfind \
             higlo \
             ocp-indent \
             js_of_ocaml \
             js_of_ocaml-ppx \
             js_of_ocaml-tyxml \
             js_of_ocaml-toplevel \
             js_of_ocaml-lwt

make