Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.

This is OCaml code which uses the libraries menhir (http://cristal.inria.fr/~fpottier/menhir/) and the Batteries (http://batteries.forge.ocamlcore.org). After it is compiled, it can be used to pars…

the thesis