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