debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...	Rustan Leino	2013-03-05
*	Add options to control the emission of free ensures for	Unknown	2012-04-16
*	For now, just ignore "address of" nodes and translate the expression of which	Mike Barnett	2012-01-03
*	Refactored translator so it can be called programmatically and return the	Mike Barnett	2011-11-21
*	Added new option /captureState (/c) for generating a capture state assumption	Mike Barnett	2011-08-04
*	Implemented a whitelist/blacklist so translator can ignore certain parts of an	Mike Barnett	2011-07-27
*	adding checks and code injection for phone feedback checking	t-espave	2011-07-25
*	phone control exploration for BCT, not integrated yet	Unknown	2011-07-07
*	0. Deleted other heap representations except SplitField and General	qadeer	2011-04-23
*	More support for stubs. Ability to add functions as well as procedures.	mikebarnett	2011-04-04
*	Can now translate multiple assemblies into one Boogie Program.	mikebarnett	2011-03-08
*	Changed calls to Debug.Assert to Contract.Assert.	mikebarnett	2011-02-24
*	Added the heap representation I was supposed to have started with... A genera...	mikebarnett	2011-01-21
*	Added a better options parsing by using functionality from MemberHelper.	mikebarnett	2011-01-21
*	Added a test for the split fields option.	mikebarnett	2011-01-20
*	More structuring of the different heap representations. Now each heap represe...	mikebarnett	2011-01-19
*	The beginning of the encapsulation of the Heap representation so that we can ...	mikebarnett	2011-01-17
*	Generate "assume {:filename "foo.cs"}{:line 3} true" statements for each stat...	mikebarnett	2010-12-20
*	Adapt to new APIs in CCI.	mikebarnett	2010-12-08
*	Introduction of the Sink: a global object that is threaded through all of the...	mikebarnett	2010-07-02
*	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