debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Chalice: fixed a bug with permission operations treating AccessAll not as a p...	kyessenov	2010-07-20
*	Chalice: added type information for sequences ("where" clauses in local varia...	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: Re-designed lockchange on methods and loops. The lockchange clause i...	mueller	2010-07-18
*	Chalice: Removed the restriction that "holds" must occur only in positive pos...	mueller	2010-07-16
*	Chalice: revert minor commit; add cygwin python make script	kyessenov	2010-07-15
*	Chalice: fix a bug for boogie print-out of a sequence class	kyessenov	2010-07-15
*	Chalice: No longer use Mask for "held" field; instead, only use the value of...	rustanleino	2010-07-14
*	Chalice: Changed definition of waitlevel to take into account rdlock. Adapted...	mueller	2010-07-03
*	Chalice:	rustanleino	2010-06-25
*	Chalice: Applied patch #6192	mueller	2010-06-25
*	Chalice: fixed bug in the exhale of permissions (to handle negative epsilons)	mueller	2010-06-09
*	Chalice: Implemented -vs switch, for use when running Chalice from inside Vi...	rustanleino	2010-01-15
*	Chalice: updated Prelude to match new Boogie parsing of function parameters; ...	rustanleino	2010-01-06
*	Applied patch 4316, which fixes an unsoundness in the axiomatization of seque...	rustanleino	2009-11-05
*	- Sieve.chalice verifies + executes faster	jansmans	2009-10-20
*	- the "-gen" option works only if the program verifies	jansmans	2009-10-16
*	Implicitly declare as local variables undeclared variables occurring as LHS's...	rustanleino	2009-10-16
*	Sieve of Eratosthenes, written in Chalice.	rustanleino	2009-10-15
*	- fixed a positioning bug in Parser.scala	jansmans	2009-10-07
*	- where clauses are now properly type-checked	jansmans	2009-10-02
*	Implemented -noDeadlockChecks mode. With this mode, it is possible to give s...	rustanleino	2009-10-01
*	- made the output of the Chalice-to-C# translator slightly nicer	jansmans	2009-08-17
*	- Chalice-to-C# compiler now supports channels	jansmans	2009-08-17
*	* Implemented channels	rustanleino	2009-08-16
*	Parse channels and condition variables.	rustanleino	2009-08-05
*	Initial set of files.	mikebarnett	2009-07-15