debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	update	Shaz Qadeer	2016-07-19
\|
*	update	Shaz Qadeer	2016-07-18
\|
*	added an example	Shaz Qadeer	2016-02-09
\|
*	another fix	Shaz Qadeer	2016-01-26
\|
*	improved some of the annotations	Shaz Qadeer	2016-01-21
\|
*	some fixes	Shaz Qadeer	2016-01-19
\|
*	updated the example to implement the allocation of thread identifiers;	Shaz Qadeer	2016-01-17
\| \| \| \| \|	this example provides another illustration of abstracting ordinary variables by linear variables
*	fixed a small problem in the precondition for FreeLinear	Shaz Qadeer	2016-01-10
\|
*	added Free code	Shaz Qadeer	2016-01-08
\|
*	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