summaryrefslogtreecommitdiff
path: root/Test/houdini
Commit message (Expand)AuthorAge
* Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
* added golden outputGravatar qadeer2014-11-08
* more minor fix to test case houdini\testUnsatCore.bplGravatar shuvendu2014-11-07
* minor fix to test case houdini\testUnsatCore.bplGravatar shuvendu2014-11-07
* re-enabling -useUnsatCoreForContractInferGravatar shuvendu2014-11-07
* more tests for houdini /inlineDepthGravatar shuvendu2014-09-19
* a bug fix in Houdini (also AbsHoudini)Gravatar qadeer2014-09-19
* Removed old test infrastructure files except forGravatar Dan Liew2014-05-28
* Fix lit test suite when running Boogie under a path that containsGravatar Dan Liew2014-05-27
* Convert houd12.bpl into a OutputCheck style test and also passGravatar Dan Liew2014-05-12
* Remove old python testing scriptsGravatar Dan Liew2014-05-11
* Enable houdini lit tests. Note some still fail due to BoogieGravatar Dan Liew2014-05-05
* added python scripts (work in unix and windows) for testing Z3 and CVC4 to ma...Gravatar Pantazis Deligiannis2013-07-07
* various refactorings related to houdiniGravatar qadeer2012-03-02
* forgot to check it inGravatar qadeer2011-12-21
* fixed a completeness problem in houdini with inliningGravatar qadeer2011-12-18
* first check inGravatar qadeer2011-12-05
* further fixes 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
* /contractInfer always prints the computed assignment nowGravatar qadeer2011-11-16
* bug fix in houdiniGravatar qadeer2011-09-30
* further changes for making houdini workGravatar qadeer2011-08-04
* Initial set of files.Gravatar mikebarnett2009-07-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-03 01:21:22 +0000