debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Suppress generation of Drop(s, 0). This expression caused unnecessary verific...	Unknown	2011-07-16
*	Chalice: fix workitem 10194 (unfolding and old-expressions).	stefanheule	2011-07-06
*	Chalice: fix workitem 10199 (partial unfolding of nested predicates).	stefanheule	2011-07-06
*	Chalice: fix workitem 8236 (lockchange on return values causes invalid Boogie...	stefanheule	2011-07-05
*	Merge	mschwerhoff	2011-07-05
\|\
* \|	Chalice: Removed debug code	mschwerhoff	2011-07-05
\| *	Chalice: Four new interesting Chalice examples (added to test suite with the ...	stefanheule	2011-07-05
\|/
*	Chalice: Fixed a bug that prevented Chalice from correctly dealing with Boogi...	Unknown	2011-07-05
*	Chalice: Completely switch to new testing scripts (more flexible and fine-gra...	stefanheule	2011-07-05
*	Chalice: New permission model that provides more abstraction and more flexibi...	stefanheule	2011-07-01
*	Fix some deprecation warnings from scalac 2.8.0.	kyessenov	2011-02-16
*	Chalice: Applied patch 7685, this fixes a small bug that duplicated members a...	alexanderjsummers	2011-01-12
*	Applied patch 7636 - this fixes workitem 9978	alexanderjsummers	2011-01-12
*	Chalice: this fixes a bug (an unsoundness) that arose in when a program combi...	mueller	2010-12-16
*	Small changes to compile and test Chalice on Linux.	kyessenov	2010-12-04
*	Chalice: white space delta in test file	rustanleino	2010-11-17
*	Chalice: Automatically created a simple class diagram of the current AST	mschwerhoff	2010-11-13
*	Chalice: Added axioms about div and mod. Updated DuplicatesVideo.chalice	rustanleino	2010-11-06
*	Miscellaneous changes:	rustanleino	2010-10-22
*	Chalice: Now compiles with Scala 2.7.7 and 2.8.0, the latter yields many warn...	mschwerhoff	2010-10-21
*	Chalice: allow replace by to match LocalVar	kyessenov	2010-10-09
*	Chalice:	rustanleino	2010-10-09
*	Chalice: permit replaces by to match assign clauses	kyessenov	2010-10-09
*	Chalice: fix a bug where output variables of a method were not decoupled.	kyessenov	2010-10-05
*	Chalice: incorporate another regression test	kyessenov	2010-09-03
*	Chalice: added Duplicates refinement from Verification Corner video	kyessenov	2010-09-02
*	Chalice: fix in refinement loop target resolution; added "spec" as a keyword ...	kyessenov	2010-09-02
*	Chalice: working out mask transfers between concrete and abstract heaps -- ne...	kyessenov	2010-08-24
*	Chalice:	kyessenov	2010-08-24
*	Chalice: exhale spec statement post condition in refinement block translation...	kyessenov	2010-08-23
*	Chalice: copy concrete values for every permission in coupling invariants of ...	kyessenov	2010-08-23
*	Chalice:	kyessenov	2010-08-23
*	Chalice: spec stmt was unimplementable; changed it and refined; Z3 produces e...	kyessenov	2010-08-22
*	Chalice: start of a DSW refinement	kyessenov	2010-08-22
*	Chalice: refining lists doesn't quite work yet...	kyessenov	2010-08-22
*	Chalice: limited functions are still problematic (see Calculator.chalice)	kyessenov	2010-08-22
*	Chalice:	kyessenov	2010-08-22
*	Chalice:	kyessenov	2010-08-21
*	server-side rename	kyessenov	2010-08-21
*	Chalice: added syntax, printer and resolver for coupling invariants	kyessenov	2010-08-20
*	VS 2010 mode for Chalice: some errors didn't show up in the window because po...	kyessenov	2010-08-20
*	Chalice: more regression tests; cosmetic changes to code	kyessenov	2010-08-19
*	Chalice: added finite differencing refinement	kyessenov	2010-08-19
*	Chalice:	kyessenov	2010-08-19
*	Chalice:	kyessenov	2010-08-19
*	Chalice: turn asserts into assumes for method refinements (use -noFreeAssume ...	kyessenov	2010-08-19
*	Chalice:	kyessenov	2010-08-18
*	Chalice:	kyessenov	2010-08-18
*	Chalice: added surface syntax for transform, AST matching algorithm	kyessenov	2010-08-17
*	Chalice: refactored AST code for class hierarchy (no need for caches since Sc...	kyessenov	2010-08-17