debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Chalice: pretty printer now prints element type for sequences; fixed a bug in...	kyessenov	2010-07-27
*	Chalice: introduced proper AST nodes for permission expressions and permissio...	kyessenov	2010-07-21
*	Chalice: fixed typos in strings; trying out committing with TFS	kyessenov	2010-07-21
*	Chalice: added surface syntax for acc(s[].) and acc(s[*].f); extended AST, ...	kyessenov	2010-07-20
*	Chalice: adding support for sequence local variables; removed ClassType from ...	kyessenov	2010-07-20
*	Chalice: added sequence containment surface syntax ("in" comparison operator)...	kyessenov	2010-07-19
*	Chalice: Removed the restriction that "holds" must occur only in positive pos...	mueller	2010-07-16
*	Chalice: No longer use Mask for "held" field; instead, only use the value of...	rustanleino	2010-07-14
*	Chalice:	rustanleino	2010-06-25
*	Chalice: Implemented -vs switch, for use when running Chalice from inside Vi...	rustanleino	2010-01-15
*	Implicitly declare as local variables undeclared variables occurring as LHS's...	rustanleino	2009-10-16
*	- where clauses are now properly type-checked	jansmans	2009-10-02
*	* Implemented channels	rustanleino	2009-08-16
*	Parse channels and condition variables.	rustanleino	2009-08-05
*	Initial set of files.	mikebarnett	2009-07-15