aboutsummaryrefslogtreecommitdiff
path: root/test/Bindings/Ocaml/analysis.ml
AgeCommit message (Expand)Author
2010-09-09tests: XFAIL a handful of tests on the vg_leak builder, so we can get back toDaniel Dunbar
2010-08-20Fix the running of ocaml tests.Erick Tryzelaar
2010-08-20Fix some Ocaml tests: the %t substitution now returns an absolute path.Bob Wilson
2009-09-03Replace ocamlc tests with ocamlopt tests since they're less noisy.Erick Tryzelaar
2009-08-19Convert the rest of the ocaml types and functions to use context.Erick Tryzelaar
2009-08-19Allow passing around LLVMContext in ocaml.Erick Tryzelaar
2008-10-22[PR2886] Ignore stderr from ocamlc since it prints unresolvable warnings on s...Gordon Henriksen
2007-12-22Fix a partial application typo.Gordon Henriksen
2007-12-01Fix a typo noticed by Alain Frisch.Gordon Henriksen
2007-10-06Bindings for the verifier.Gordon Henriksen