summaryrefslogtreecommitdiff
path: root/test/Bindings/Ocaml/analysis.ml
Commit message (Expand)AuthorAge
* Replace ocamlc tests with ocamlopt tests since they're less noisy.Erick Tryzelaar2009-09-03
* Convert the rest of the ocaml types and functions to use context.Erick Tryzelaar2009-08-19
* Allow passing around LLVMContext in ocaml.Erick Tryzelaar2009-08-19
* [PR2886] Ignore stderr from ocamlc since it prints unresolvable warnings on s...Gordon Henriksen2008-10-22
* Fix a partial application typo.Gordon Henriksen2007-12-22
* Fix a typo noticed by Alain Frisch.Gordon Henriksen2007-12-01
* Bindings for the verifier.Gordon Henriksen2007-10-06