Age | Commit message (Expand) | Author |
---|---|---|
2010-09-09 | tests: XFAIL a handful of tests on the vg_leak builder, so we can get back to | Daniel Dunbar |
2010-08-20 | Fix the running of ocaml tests. | Erick Tryzelaar |
2010-08-20 | Fix some Ocaml tests: the %t substitution now returns an absolute path. | Bob Wilson |
2009-09-03 | Replace ocamlc tests with ocamlopt tests since they're less noisy. | Erick Tryzelaar |
2009-08-19 | Convert the rest of the ocaml types and functions to use context. | Erick Tryzelaar |
2009-08-19 | Allow 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-22 | Fix a partial application typo. | Gordon Henriksen |
2007-12-01 | Fix a typo noticed by Alain Frisch. | Gordon Henriksen |
2007-10-06 | Bindings for the verifier. | Gordon Henriksen |