Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Replace ocamlc tests with ocamlopt tests since they're less noisy. | Erick Tryzelaar | 2009-09-03 |
* | 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 | 2009-08-19 |
* | [PR2886] Ignore stderr from ocamlc since it prints unresolvable warnings on s... | Gordon Henriksen | 2008-10-22 |
* | Fix a partial application typo. | Gordon Henriksen | 2007-12-22 |
* | Fix a typo noticed by Alain Frisch. | Gordon Henriksen | 2007-12-01 |
* | Bindings for the verifier. | Gordon Henriksen | 2007-10-06 |