debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Chalice: Chalice is now built using sbt (simple built tool).	stefanheule	2011-08-02
*	Chalice: added string type and string literals (but no other string operations)	Rustan Leino	2011-07-26
*	Chalice: Uniform usage of Boogie syntax for functions.	stefanheule	2011-07-20
*	Chalice: New permission model that provides more abstraction and more flexibi...	stefanheule	2011-07-01
*	Chalice: Added axioms about div and mod. Updated DuplicatesVideo.chalice	rustanleino	2010-11-06
*	Chalice: example proving a simple identity (for refinement demonstration), re...	kyessenov	2010-08-12
*	Chalice: put classes and objects into package "chalice"	kyessenov	2010-08-11
*	Chalice:	kyessenov	2010-07-30
*	Chalice: Changed definition of waitlevel to take into account rdlock. Adapted...	mueller	2010-07-03
*	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
*	* Implemented channels	rustanleino	2009-08-16
*	Initial set of files.	mikebarnett	2009-07-15