Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Staged Houdini | 2013-04-30 | |
* | Added Abstract Houdini: an implementation of Houdini based on abstract domains. | 2012-11-05 | |
* | Removed AIFramework from Boogie -- use native trivial or native interval-base... | 2012-09-27 | |
* | 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 |