debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	binary tree of ANDs saves stack space	akashlal	2013-11-29
*	added some type checking code	qadeer	2013-11-25
*	moved some files around	qadeer	2013-11-22
*	factored the concurrency checking code into a separate project	qadeer	2013-11-22
*	do monomorphic checking	qadeer	2013-11-22
*	Fixedpoint VC catch up with recent changes	Ken McMillan	2013-11-11
*	Merge duality changes to mainline	Ken McMillan	2013-11-09
\|\
\| *	handling timeouts for fixedpoint engines	Ken McMillan	2013-11-09
* \|	Merge	Pantazis Deligiannis	2013-11-07
\|\ \
\| * \|	Fixes to predication. Patch by Jeroen Ketema.	Ally Donaldson	2013-11-06
\| * \|	code cleanup	akashlal	2013-11-02
\| * \|	AbsHoudini: Support timeout, MakeTop, InlineFunctions	akashlal	2013-11-02
\| * \|	ProverInterface: model isn't available on timeout	akashlal	2013-11-02
\| * \|	Merge	qadeer	2013-10-25
\| \|\ \
\| * \| \|	minor refactoring	qadeer	2013-10-25
\| * \| \|	a minor refactoring + implemented mover checking	qadeer	2013-10-25
\| \| * \|	Stratified inlining: inject free requires as assumes at call site	akashlal	2013-10-25
\| \| * \|	change of identifier names in OG	akashlal	2013-10-25
\| \|/ /
\| * \|	And a test case	akashlal	2013-10-21
\| * \|	Bug fix in stratified inlining (triggered by {:inline} functions)	akashlal	2013-10-21
* \| \|	Merge	Pantazis Deligiannis	2013-10-16
\|\\| \|
* \| \|	small fix in the parallel refutation sharing	Pantazis Deligiannis	2013-10-16
\| * \|	Merge	qadeer	2013-10-15
\| \|\ \
\| * \| \|	bug fix in yield inference in modset analysis	qadeer	2013-10-15
\| \| * \|	Fix for the Duplicator.	akashlal	2013-10-15
\| \| * \|	Merge	Ally Donaldson	2013-10-11
\| \| \|\ \ \| \|_\|/ / \|/\| \| \|
\| \| * \|	Small fix in uniformity analysis	Ally Donaldson	2013-10-10
* \| \| \|	Merge	Pantazis Deligiannis	2013-10-10
\|\ \ \ \ \| \| \|/ / \| \|/\| \|
* \| \| \|	small cleanup	Pantazis Deligiannis	2013-10-10
\| * \| \|	Merge	Pantazis Deligiannis	2013-10-09
\|/\| \| \| \| \|/ /
* \| \|	fixed bug with the exchange refuted invariants process	Pantazis Deligiannis	2013-10-06
* \| \|	small refactoring	Pantazis Deligiannis	2013-10-02
* \| \|	removal of comment	Pantazis Deligiannis	2013-10-02
* \| \|	support for disabling loop entry invariant assertion checking	Pantazis Deligiannis	2013-10-01
* \| \|	fixed bug	Pantazis Deligiannis	2013-10-01
* \| \|	changes to support a configured errorLimit	Pantazis Deligiannis	2013-09-30
* \| \|	more changes towards parallelisation of Houdini	Pantazis Deligiannis	2013-09-29
* \| \|	refactoring + new class ConcurrentHoudini	Pantazis Deligiannis	2013-09-27
* \| \|	refuted candidates are exchanged in memory using a concurrent dictionary inst...	Pantazis Deligiannis	2013-09-26
\| * \|	minor fix so that variable copies in procedures and codeexprs are different.	qadeer	2013-09-10
\| * \|	refactored StratifiedInline.GenerateVC to use GenerateVCAux instead of Genera...	qadeer	2013-09-09
\| * \|	fixed bug	qadeer	2013-09-09
\| * \|	No need for OG with Stratified Inlining.	akashlal	2013-09-08
\| * \|	fixed bug introduced by the last checkin in letvciterative	qadeer	2013-09-08
\| * \|	fixed the problem with codexprs	qadeer	2013-09-07
\| * \|	When a codeexpr is used at the top-level in an assume statement, we use the a...	qadeer	2013-09-04
\| * \|	Factored out the closure for codeexpr conversion so that it can be reused.	qadeer	2013-09-04
\| * \|	fixed the linear type checking related to globals	qadeer	2013-09-04
\| * \|	Applied Chris Hawblitzel's changes to deal with {:expand}	qadeer	2013-08-23
\| * \|	some minor fixes	qadeer	2013-08-21