summaryrefslogtreecommitdiff
path: root/Source/Houdini/Houdini.cs
Commit message (Expand)AuthorAge
...
* Extra debugging output for HoudiniGravatar Unknown2012-08-21
* Houdini: recognise candidates of the form (p => (q => (... => (e => phi)))) w...Gravatar Peter Collingbourne2012-08-07
* moved class Macro to AbsyGravatar qadeer2012-06-04
* changed behavior of InlinedEnsures so that free ensures is skipped unless an ...Gravatar qadeer2012-06-01
* shutting down the prover used for doing houdiniGravatar qadeer2012-05-10
* clean up in stratified inliningGravatar qadeer2012-04-29
* unsat core for houdiniGravatar qadeer2012-04-27
* various changes for using unsat cores in HoudiniGravatar qadeer2012-04-17
* houdini cleanup continuedGravatar qadeer2012-03-10
* various refactorings related to houdiniGravatar qadeer2012-03-02
* further fixes related to using uninterpreted function for error tracesGravatar qadeer2012-02-25
* 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
* 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
* 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
* further changes for making houdini workGravatar qadeer2011-08-04
* cleaned up houdini optionsGravatar qadeer2011-08-04
* full port of houdini projectGravatar qadeer2011-08-04
* ported Houdini to C#, added Houdini project to the Boogie solutionGravatar qadeer2011-08-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-29 10:23:17 +0000