Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2014-10-29 | [OCaml] Drop support for 3.12.1 and earlier. | Peter Zotov | 1 | -1/+0 |
2014-10-28 | [OCaml] Fix whitespace. | Peter Zotov | 1 | -4/+4 |
2013-11-01 | OCaml bindings: formatting | Sylvestre Ledru | 1 | -2/+2 |
2008-03-31 | Expose Function::viewCFG and Function::viewCFGOnly to bindings. | Erick Tryzelaar | 1 | -0/+12 |
2007-12-29 | remove attribution from a variety of miscellaneous files. | Chris Lattner | 1 | -2/+2 |
2007-12-19 | Adding bindings for memory buffers and module providers. Switching | Gordon Henriksen | 1 | -1/+1 |
2007-12-08 | Fix bug in constructing Ocaml option types in the bindings. | Gordon Henriksen | 1 | -1/+1 |
2007-10-06 | Bindings for the verifier. | Gordon Henriksen | 1 | -0/+60 |