debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Removed expression simplifier (actually just commented	Unknown	2012-04-15
*	Temp file added as one to ignore.	Unknown	2012-04-10
*	Merge	Unknown	2012-04-10
\|\
* \|	Added "free ensures" to procedures encoding the allocatedness	Unknown	2012-04-10
\| *	Added invariant to predicated loops.	Unknown	2012-04-10
\| *	Minor fix to array control flow analysis.	Unknown	2012-04-10
\| *	Merge	Unknown	2012-04-10
\| \|\ \| \|/ \|/\|
\| *	Inference in GPUVerify now merges candidates for threads 1 and 2 into a singl...	Unknown	2012-04-10
* \|	Merge	Unknown	2012-04-09
\|\\|
* \|	Fix a lot of the translation of "op=" expressions	Unknown	2012-04-09
\| *	Don't insert final barrier when eager race checking is enabled.	paulthomson	2012-04-09
\| *	Tweak to inference.	Unknown	2012-04-09
\| *	More accessed offset inference	Unknown	2012-04-09
\|/
*	Refined assertion.	Unknown	2012-04-06
*	Tuned candidate generation.	Unknown	2012-04-06
*	Extended GPUVerify's candidate invariant generation to use thread id inference.	Unknown	2012-04-05
*	Inference of thread ids complete.	Unknown	2012-04-05
*	Thread id inference now generalised to infer other thread configuration param...	Unknown	2012-04-05
*	Thread id inference now generalised to three dimensions.	Unknown	2012-04-05
*	Started generalising thread id inference	Unknown	2012-04-05
*	Merge	Unknown	2012-04-05
\|\
* \|	GPUverify now automatically decides then to use adversarial abstraction.	Unknown	2012-04-05
\| *	Fixed bug with triply nested maps and polymorphism (reported as Item # 10218).	Unknown	2012-04-04
\| *	small fix	qadeer	2012-04-04
\| *	Merge	qadeer	2012-04-03
\| \|\ \| \|/ \|/\|
\| *	added nonUniformUnfolding option	qadeer	2012-04-03
* \|	Fixed bug with handling of return in GPUVerify.	Unknown	2012-04-03
* \|	Merge	Unknown	2012-04-03
\|\ \
* \| \|	Added support for break and return.	Unknown	2012-04-03
\| \| *	deleted the option UseUnsatCoreForInlining	qadeer	2012-04-02
\| \| *	Merge	qadeer	2012-04-01
\| \| \|\ \| \| \|/ \| \|/\|
\| \| *	commented out SuperAwesomeMethod	qadeer	2012-04-01
\| * \|	bug fix for previous refactoring	Unknown	2012-04-02
\| \| *	Merge	qadeer	2012-04-01
\| \| \|\ \| \| \|/ \| \|/\|
\| \| *	partial work on non-uniform loop unrolling	qadeer	2012-04-01
\| * \|	Refactored CheckAssumptions API	Unknown	2012-04-02
\| \|/
\| *	Automated merge with https://hg01.codeplex.com/boogie	Mike Barnett	2012-03-30
\|/\|
\| *	Changed the BCT solution so it uses the CodePlex version of CCI (instead	Mike Barnett	2012-03-30
* \|	Fixed bug with GPUVerify precondition generation	Unknown	2012-03-30
\| *	Automated merge with https://hg01.codeplex.com/boogie	Mike Barnett	2012-03-29
\|/\|
* \|	Merge	Unknown	2012-03-28
\|\ \
* \| \|	Improved invariant inference.	Unknown	2012-03-28
\| * \|	Merge	Christian Klauser	2012-03-27
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	Update test script shortcuts to work in Powershell (which supplies an absolut...	Christian Klauser	2012-03-27
* \| \|	Merge	Unknown	2012-03-26
\|\ \ \
* \| \| \|	Started adding another invariant generation analysis.	Unknown	2012-03-26
\| * \| \|	Chalice build succeeded	CodeplexBot	2012-03-26
\| * \| \|	Switch bvd to MSIL (instead of x86) target architecture	stobies	2012-03-26
\| * \| \|	Emit of invariants now prints out the invariant attributes also	qadeer	2012-03-26
\|/ / /
* \| \|	Merge	Unknown	2012-03-26
\|\ \ \