Commit message (Expand) | Author | Age | |
---|---|---|---|
* | further fixes related to using uninterpreted function for error traces | 2012-02-25 | |
* | updated Houdini so it works with SMTLib | 2011-09-27 | |
* | Fixed test failures in the "Checked" configuration. | 2011-09-19 | |
* | Added build version stamping for Houdini.dll | 2011-09-05 | |
* | fixed the key signing problem with houdini | 2011-08-05 | |
* | cleaned up houdini options | 2011-08-04 | |
* | ported Houdini to C#, added Houdini project to the Boogie solution | 2011-08-03 |