Commit message (Expand) | Author | Age | |
---|---|---|---|
* | fixed bug in the inlineDepth option for houdini | 2011-11-23 | |
* | augmented the worklist with an explicit attached set | 2011-11-22 | |
* | commented calls to GC.Collect() | 2011-11-18 | |
* | refactoring houdini so that it creates only a single instance of z3 | 2011-11-16 | |
* | simple fix in houdini | 2011-11-16 | |
* | added houdini to regression | 2011-10-17 | |
* | bug fix in houdini | 2011-09-30 | |
* | updated Houdini so it works with SMTLib | 2011-09-27 | |
* | fixed houdini so that it is cognizant of inlined procedures | 2011-09-27 | |
* | further changes for making houdini work | 2011-08-04 | |
* | cleaned up houdini options | 2011-08-04 | |
* | full port of houdini project | 2011-08-04 | |
* | ported Houdini to C#, added Houdini project to the Boogie solution | 2011-08-03 |