Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |