debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	bug fix in the type checking of calls to atomic procedures	Shaz Qadeer	2015-10-16
\|
*	bug fix	Shaz Qadeer	2015-10-09
\|
*	another fix requested by Chris	Shaz Qadeer	2015-10-01
\| \| \| \|	verification is performed now for all created layers
*	fixed a small bug	Shaz Qadeer	2015-09-27
\|
*	added introduced and ghost local variables	Shaz Qadeer	2015-09-25
\|
*	fixed a crash when there is no collector	Shaz Qadeer	2015-09-02
\|
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
\| \| \| \| \| \|	this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored.
*	updated with Serdar's changes	qadeer	2015-06-25
\|
*	added another sample	qadeer	2015-06-17
\|
*	modified desugaring so that in commutatitivity checks copies of original	qadeer	2015-06-17
\| \| \| \|	codeexpr is made.
*	fixed bug reported by Chris	qadeer	2015-06-15
\|
*	relaxed the check for created and hidden layers for skip actions	qadeer	2015-06-10
\|
*	fixed crash	qadeer	2015-06-10
\|
*	bug fix in pop	qadeer	2015-05-27
\|
*	added more specifications	qadeer	2015-05-20
\|
*	renamed og to civl	qadeer	2015-04-22