debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	General hygiene: introduced (fixed) a helper method that creates Boogie token...	mikebarnett	2010-07-05
*	Cleaned up the sink: removed the OutVars, which was state the sink needed onl...	mikebarnett	2010-07-05
*	Forgotten file: Sink.cs	mikebarnett	2010-07-05
*	Introduction of the Sink: a global object that is threaded through all of the...	mikebarnett	2010-07-02
*	Forgotten file.	mikebarnett	2010-06-30
*	Simplified the translator by merging the ToplevelTraverser, ClassTraverser, a...	mikebarnett	2010-06-28
*	Added the factory pattern so that all traversers are created through factory ...	mikebarnett	2010-06-16
*	Consistently use the new code pattern for translating locations to tokens and...	mikebarnett	2010-06-07
*	Added forgotten file.	mikebarnett	2010-06-06
*	Updated the project to .NET v4.0.	mikebarnett	2010-06-06
*	BCT: Added prelude. Started test1 as a test of verification.	rustanleino	2010-05-12
*	Forgotten to turn the echo off.	mikebarnett	2010-04-19
*	Updated list of tests to just include test0.	mikebarnett	2010-04-19
*	New, simpler way of running regressions.	mikebarnett	2010-04-19
*	Moved BCT project references for Boogie to the Boogie\Binaries directory.	rustanleino	2010-04-16
*	Upgraded solution file and project file to VS2010.	mikebarnett	2010-04-16
*	Updated to use new CCI API.	mikebarnett	2010-04-16
*	Setting up test cases for BCT	schaef	2009-11-20
*	Update use of CCI's API for decompiling the IL model to the Code Model.	mikebarnett	2009-11-17
*	Changed solution to include the CCI projects from Codeplex. (Still flaky in t...	mikebarnett	2009-11-10
*	Changed error message to have correct program name.	mikebarnett	2009-11-10
*	Please ignore. Just testing my account.	schaef	2009-08-19
*	The beginnings of a CCI Metadata (http://ccimetadata.codeplex.com) based byte...	mikebarnett	2009-08-09