Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixes to StagedHoudini | 2015-01-23 | |
* | Fixes to StagedHoudini | 2015-01-22 | |
* | Removed unnecessary stage-related attributes from candidate annotations. | 2015-01-10 | |
* | Updated to Staged Houdini | 2015-01-08 | |
* | changed the suffix of the trace file from .bpl to .txt to avoid confusing the... | 2014-11-08 | |
* | Small cleanup in Staged Houdini | 2014-05-28 | |
* | Fixed state capture concurrency bug with Staged Houdini | 2014-05-27 | |
* | Revamp of staged Houdini, and completion of parallel support. | 2013-07-18 |