Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Expose Function::viewCFG and Function::viewCFGOnly to bindings. | Erick Tryzelaar | 2008-03-31 | 1 | -0/+11 |
* | This patch cleans up the OCaml bindings so that they format nicely with | Gordon Henriksen | 2008-03-09 | 1 | -11/+10 |
* | remove attribution from a variety of miscellaneous files. | Chris Lattner | 2007-12-29 | 1 | -2/+2 |
* | Adding ocamldoc-style comments for the Ocaml bindings. | Gordon Henriksen | 2007-12-01 | 1 | -0/+12 |
* | Bindings for the verifier. | Gordon Henriksen | 2007-10-06 | 1 | -0/+24 |