debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	renamed og to civl	qadeer	2015-04-22
*	strengthened type checking	qadeer	2014-12-26
*	changed type checking of yield procedures so that they can only call other yi...	qadeer	2014-12-18
*	1. made variable introduction layer explicit in the test cases	qadeer	2014-12-15
*	renamed :phase to :layer	qadeer	2014-11-14
*	deleted the free assume about gates after parallel calls	qadeer	2014-07-26
*	updated the linear type system based on Chris' design with linear, linear_in,...	qadeer	2014-07-15
*	simplified yield type chcking and added treiber stack (not fully done)	qadeer	2014-07-15
*	Fix lit test suite when running Boogie under a path that contains	Dan Liew	2014-05-27
*	Enable as many "og" lit tests. Several fail because they weren't	Dan Liew	2014-05-11
*	second checkpoint	qadeer	2014-05-04
*	checkpoint	qadeer	2014-05-03
*	added variable hiding	qadeer	2014-04-16
*	new design for linear types + VCgen	qadeer	2014-02-07
*	small update to the example	qadeer	2014-01-09
*	a fix regarding the checking of assertions in atomic specs at call sites	qadeer	2014-01-08
*	first cut of refinement checking	qadeer	2014-01-07
*	some more fixes to examples	qadeer	2014-01-02
*	fixed examples to deal with yield type checking errors	qadeer	2014-01-01
*	more bug fixes	qadeer	2013-12-24
*	bug fixes in Duplicate.cs and parsing of invariant attributes	qadeer	2013-12-22
*	various updates and tighter integration of QED stuff into mainline	qadeer	2013-12-19
*	added syntax for par call and ParCallCmd	qadeer	2013-12-16