summaryrefslogtreecommitdiff
path: root/Source/Houdini
Commit message (Expand)AuthorAge
* slight change to houdini loggingGravatar Unknown2012-02-06
* added more logging in houdiniGravatar Unknown2012-02-06
* Use DateTime.UtcNow instead of DateTime.NowGravatar stobies2012-01-11
* bug fix in the FreeRequiresVisitorGravatar qadeer2011-12-22
* removed some extraneous parametersGravatar qadeer2011-12-19
* fixed a completeness problem in houdini with inliningGravatar qadeer2011-12-18
* bug fix in houdini inlineDepthGravatar qadeer2011-12-06
* more loggingGravatar qadeer2011-12-06
* further fixes to houdiniGravatar qadeer2011-12-05
* added more instrumentation to HoudiniGravatar qadeer2011-12-05
* added some more statistics to houdiniGravatar qadeer2011-11-24
* fixed bug in the inlineDepth option for houdiniGravatar qadeer2011-11-23
* augmented the worklist with an explicit attached setGravatar qadeer2011-11-22
* commented calls to GC.Collect()Gravatar qadeer2011-11-18
* refactoring houdini so that it creates only a single instance of z3Gravatar qadeer2011-11-16
* Eliminated unused argument in the constructor for CheckerGravatar qadeer2011-11-16
* simple fix in houdiniGravatar qadeer2011-11-16
* added houdini to regressionGravatar qadeer2011-10-17
* bug fix in houdiniGravatar qadeer2011-09-30
* updated Houdini so it works with SMTLibGravatar qadeer2011-09-27
* fixed houdini so that it is cognizant of inlined proceduresGravatar qadeer2011-09-27
* Fixed test failures in the "Checked" configuration.Gravatar wuestholz2011-09-19
* Added build version stamping for Houdini.dllGravatar stobies2011-09-05
* fixed the key signing problem with houdiniGravatar qadeer2011-08-05
* further changes for making houdini workGravatar qadeer2011-08-04
* cleaned up houdini optionsGravatar qadeer2011-08-04
* full port of houdini projectGravatar qadeer2011-08-04
* MergeGravatar qadeer2011-08-03
|\
* | ported Houdini to C#, added Houdini project to the Boogie solutionGravatar qadeer2011-08-03
|/
* Sign assembliesGravatar stobies2009-08-17
* Initial set of files.Gravatar mikebarnett2009-07-15