debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	removed lazy inlining	qadeer	2012-04-28
*	Merge	qadeer	2012-04-27
\|\
* \|	unsat core for houdini	qadeer	2012-04-27
\| *	Dafny: fixed unsoundness having to do with a function depending on the alloca...	Unknown	2012-04-27
\| *	Dafny: added resolution tests cases for inductive datatypes	Unknown	2012-04-27
\| *	Merge	Unknown	2012-04-26
\| \|\ \| \|/ \|/\|
\| *	Dafny: fixed bug that had omitted the computation of .DefaultCtor for some in...	Unknown	2012-04-26
\| *	Dafny: compile co-inductive datatypes	Unknown	2012-04-26
\| *	Dafny: rudimentary translation into Boogie of co-inductive datatypes	Unknown	2012-04-25
\| *	Dafny: fixed resolution bug for inductive datatypes (previous check did not h...	Unknown	2012-04-25
* \|	Merge	Unknown	2012-04-24
\|\\|
* \|	Started refactoring invariant generation rules.	Unknown	2012-04-24
* \|	Removed set encoding.	Unknown	2012-04-24
* \|	Significantly changed the way race checking is performed. Made eager race ch...	Unknown	2012-04-24
\| *	Added test to stratified inlining.	Unknown	2012-04-24
\| *	Merge	Unknown	2012-04-20
\| \|\ \| \|/ \|/\|
\| *	Dafny: fixed bug (missing Boogie cast) in translation of induction over gener...	Unknown	2012-04-20
* \|	removed BoogieDriver from solution	qadeer	2012-04-18
* \|	Boogie build succeeded	CodeplexBot	2012-04-18
* \|	Merge	qadeer	2012-04-17
\|\ \
* \| \|	various changes for using unsat cores in Houdini	qadeer	2012-04-17
\| * \|	Add options to control the emission of free ensures for	Unknown	2012-04-16
\| * \|	Merge	Unknown	2012-04-15
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	Removed expression simplifier (actually just commented	Unknown	2012-04-15
\| \|/
* \|	Merge	Unknown	2012-04-13
\|\ \
* \| \|	Made loop predicate invariant optionally generated.	Unknown	2012-04-13
\| * \|	Added functionality to "skip" procedures. Some cleanup.	akashlal	2012-04-12
\| \|/
\| *	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