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