summaryrefslogtreecommitdiff
path: root/Source/Houdini/Checker.cs
Commit message (Expand)AuthorAge
* ExplainHoudini change to add reasons for inconsistency as well.Gravatar shuvendu2014-07-27
* (Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions of...Gravatar Rustan Leino2014-02-24
* changes to support a configured errorLimitGravatar Pantazis Deligiannis2013-09-30
* more changes towards parallelisation of HoudiniGravatar Pantazis Deligiannis2013-09-29
* Started to remove ...Seq classesGravatar Ally Donaldson2013-07-22
* Refactored labsl2absy so that it is a Dictionary<int, Absy> instead of a plai...Gravatar Ally Donaldson2013-07-22
* Revamp of staged Houdini, and completion of parallel support.Gravatar allydonaldson2013-07-18
* Extracted Houdini statistics into a record, and parametersied Houdini class w...Gravatar allydonaldson2013-07-16
* Some cleanup in HoudiniSessionGravatar allydonaldson2013-07-16
* Worked on the parallelization.Gravatar wuestholz2013-07-10
* Adapted Houdini algorithm to take staging into accountGravatar allydonaldson2013-05-18
* Bug fix for ExplainHoudini. Made it robust under timeouts.Gravatar Unknown2012-12-20
* Added some commentsGravatar akashlal2012-12-12
* First implementation of ExplainHoudiniGravatar Unknown2012-12-12
* when a query times out, all asserted candidates are droppedGravatar Unknown2012-11-25
* starting the implementation of the new stratified inlining APIGravatar qadeer2012-05-21
* removed lazy inliningGravatar qadeer2012-04-28
* 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
* various cleanup regarding /doNotUseLabelsGravatar qadeer2012-02-28
* further fixes related to using uninterpreted function for error tracesGravatar qadeer2012-02-25
* bug fixes related to using ControlFlowFunction instead of labelsGravatar qadeer2012-02-23
* added more logging in houdiniGravatar Unknown2012-02-06
* Use DateTime.UtcNow instead of DateTime.NowGravatar stobies2012-01-11
* removed some extraneous parametersGravatar qadeer2011-12-19
* added some more statistics to houdiniGravatar qadeer2011-11-24
* 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
* updated Houdini so it works with SMTLibGravatar qadeer2011-09-27
* further changes for making houdini workGravatar 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