debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	ExplainHoudini change to add reasons for inconsistency as well.	shuvendu	2014-07-27
\|
*	(Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions ↵	Rustan Leino	2014-02-24
\| \| \| \| \| \|	of its methods now demand the return value to equal the given node. Changed read-only visitors to extend from ReadOnlyVisitor instead of just StandardVisitor.
*	changes to support a configured errorLimit	Pantazis Deligiannis	2013-09-30
\|
*	more changes towards parallelisation of Houdini	Pantazis Deligiannis	2013-09-29
\|
*	Started to remove ...Seq classes	Ally Donaldson	2013-07-22
\|
*	Refactored labsl2absy so that it is a Dictionary<int, Absy> instead of a ↵	Ally Donaldson	2013-07-22
\| \| \| \|	plain Hashtable.
*	Revamp of staged Houdini, and completion of parallel support.	allydonaldson	2013-07-18
\|
*	Extracted Houdini statistics into a record, and parametersied Houdini class ↵	allydonaldson	2013-07-16
\| \| \| \|	with a statistics object. This means that if one runs multiple Houdini instances, each can record its own statistics.
*	Some cleanup in HoudiniSession	allydonaldson	2013-07-16
\|
*	Worked on the parallelization.	wuestholz	2013-07-10
\|
*	Adapted Houdini algorithm to take staging into account	allydonaldson	2013-05-18
\|
*	Bug fix for ExplainHoudini. Made it robust under timeouts.	Unknown	2012-12-20
\|
*	Added some comments	akashlal	2012-12-12
\|
*	First implementation of ExplainHoudini	Unknown	2012-12-12
\|
*	when a query times out, all asserted candidates are dropped	Unknown	2012-11-25
\|
*	starting the implementation of the new stratified inlining API	qadeer	2012-05-21
\|
*	removed lazy inlining	qadeer	2012-04-28
\|
*	unsat core for houdini	qadeer	2012-04-27
\|
*	various changes for using unsat cores in Houdini	qadeer	2012-04-17
\|
*	houdini cleanup continued	qadeer	2012-03-10
\|
*	various refactorings related to houdini	qadeer	2012-03-02
\|
*	various cleanup regarding /doNotUseLabels	qadeer	2012-02-28
\|
*	further fixes related to using uninterpreted function for error traces	qadeer	2012-02-25
\| \| \| \|	removed Provers.Simplify, Provers.Z3, Provers.TPTP from the solution
*	bug fixes related to using ControlFlowFunction instead of labels	qadeer	2012-02-23
\|
*	added more logging in houdini	Unknown	2012-02-06
\|
*	Use DateTime.UtcNow instead of DateTime.Now	stobies	2012-01-11
\| \| \| \|	see http://blogs.msdn.com/b/kirillosenkov/archive/2012/01/10/datetime-utcnow-is-generally-preferable-to-datetime-now.aspx
*	removed some extraneous parameters	qadeer	2011-12-19
\|
*	added some more statistics to houdini	qadeer	2011-11-24
\| \| \| \|	added a coupe more regressions for houdini+inlineDepth
*	commented calls to GC.Collect()	qadeer	2011-11-18
\|
*	refactoring houdini so that it creates only a single instance of z3	qadeer	2011-11-16
\|
*	Eliminated unused argument in the constructor for Checker	qadeer	2011-11-16
\|
*	updated Houdini so it works with SMTLib	qadeer	2011-09-27
\|
*	further changes for making houdini work	qadeer	2011-08-04
\|
*	full port of houdini project	qadeer	2011-08-04
\|
*	ported Houdini to C#, added Houdini project to the Boogie solution	qadeer	2011-08-03