| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Removed old test infrastructure files except for |  Dan Liew | 2014-05-28 |
| * | Enable houdini lit tests. Note some still fail due to Boogie | Dan Liew | 2014-05-05 |
| * | various refactorings related to houdini |  qadeer | 2012-03-02 |
| * | fixed a completeness problem in houdini with inlining | qadeer | 2011-12-18 |
| * | 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 |
| * | Initial set of files. |  mikebarnett | 2009-07-15 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |