aboutsummaryrefslogtreecommitdiffstats
path: root/test/Bindings/Ocaml/analysis.ml
Commit message (Expand)AuthorAgeFilesLines
* Replace ocamlc tests with ocamlopt tests since they're less noisy.Erick Tryzelaar2009-09-031-1/+1
* Convert the rest of the ocaml types and functions to use context.Erick Tryzelaar2009-08-191-3/+5
* Allow passing around LLVMContext in ocaml.Erick Tryzelaar2009-08-191-2/+2
* [PR2886] Ignore stderr from ocamlc since it prints unresolvable warnings on s...Gordon Henriksen2008-10-221-1/+1
* Fix a partial application typo.Gordon Henriksen2007-12-221-1/+1
* Fix a typo noticed by Alain Frisch.Gordon Henriksen2007-12-011-4/+6
* Bindings for the verifier.Gordon Henriksen2007-10-061-0/+46