| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | various refactorings related to houdini |  qadeer | 2012-03-02 |
| * | forgot to check it in | qadeer | 2011-12-21 |
| * | fixed a completeness problem in houdini with inlining | qadeer | 2011-12-18 |
| * | first check in | qadeer | 2011-12-05 |
| * | further fixes to houdini | qadeer | 2011-12-05 |
| * | added some more statistics to houdini | qadeer | 2011-11-24 |
| * | fixed bug in the inlineDepth option for houdini | qadeer | 2011-11-23 |
| * | /contractInfer always prints the computed assignment now | qadeer | 2011-11-16 |
| * | bug fix in houdini | qadeer | 2011-09-30 |
| * | further changes for making houdini work | qadeer | 2011-08-04 |
| * | Initial set of files. |  mikebarnett | 2009-07-15 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |