tbrk/mpri-sync-bdd

OCaml Toplevel with BDDs for MPRI Parallélisme synchrone

OCaml Toplevel with BDDs for MPRI/M1 Parallélisme synchrone

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.

New directives

#exercises
#load_exercise "<name>"

Dependencies

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

Building

make