aboutsummaryrefslogtreecommitdiffstats
path: root/test/Bindings/Ocaml/analysis.ml
Commit message (Expand)AuthorAgeFilesLines
* tests: XFAIL a handful of tests on the vg_leak builder, so we can get back toDaniel Dunbar2010-09-091-0/+1
* Fix the running of ocaml tests.Erick Tryzelaar2010-08-201-1/+1
* Fix some Ocaml tests: the %t substitution now returns an absolute path.Bob Wilson2010-08-201-1/+1
* 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