debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Chalice: add pre-conditions to specification statements; semantically spec st...	kyessenov	2010-08-13
*	Chalice: add specification statement ( ghost? (const\|var) (x (:T)?)+ [P(x)] )	kyessenov	2010-08-13
*	Chalice: accept many input files at once; read from stdin if no input file sp...	kyessenov	2010-08-12
*	Chalice: put classes and objects into package "chalice"	kyessenov	2010-08-11
*	Chalice: added uninterpreted functions; attempting to re-verify Celebrity in ...	kyessenov	2010-08-10
*	Chalice:	kyessenov	2010-08-02
*	Chalice:	kyessenov	2010-08-02
*	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: added surface syntax for acc(s[].) and acc(s[*].f); extended AST, ...	kyessenov	2010-07-20
*	Chalice: fixed a bug with permission operations treating AccessAll not as a p...	kyessenov	2010-07-20
*	Chalice: adding support for sequence local variables; removed ClassType from ...	kyessenov	2010-07-20
*	Chalice: extended substitutor to handle "exists" quantifier and sequence cont...	kyessenov	2010-07-20
*	Chalice: added sequence containment surface syntax ("in" comparison operator)...	kyessenov	2010-07-19
*	Chalice: Introduced '[[ S ]]' as a shorthand syntax for 'lock (this) { S }'....	rustanleino	2010-07-19
*	Chalice: added "exists" quantifier; changed surface syntax for quantifier exp...	kyessenov	2010-07-19
*	Chalice:	rustanleino	2010-06-25
*	Chalice: updated Prelude to match new Boogie parsing of function parameters; ...	rustanleino	2010-01-06
*	Implicitly declare as local variables undeclared variables occurring as LHS's...	rustanleino	2009-10-16
*	- fixed a positioning bug in Parser.scala	jansmans	2009-10-07
*	* Implemented channels	rustanleino	2009-08-16
*	Parse channels and condition variables.	rustanleino	2009-08-05
*	Initial set of files.	mikebarnett	2009-07-15