debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merge	Mike Barnett	2011-08-04
\|\
* \|	Added new option /captureState (/c) for generating a capture state assumption	Mike Barnett	2011-08-04
\| *	(phone bct) anonymous control support	t-espave	2011-08-04
\|/
*	Increase the name mangling to avoid name clashes in the Boogie program. In IL,	Mike Barnett	2011-08-03
*	(phone bct) tracking targets of back key navs.	t-espave	2011-08-02
*	(phone bct) default URI checks inlined	t-espave	2011-08-02
*	(phone bct) methods inlined for modular analysis (fix)	t-espave	2011-08-02
*	Merge	t-espave	2011-08-01
\|\
* \|	(phone bct) compute fixpoint for necessary inlined methods (for modular analy...	t-espave	2011-08-01
\| *	Fix in the assertion injector for putting the output on top of the input	Mike Barnett	2011-08-01
\|/
*	fix for exception when phoneControls are not set	t-espave	2011-08-01
*	refactored phonehelper	t-espave	2011-07-28
*	bugfix,nothing was done if no white/blacklist specified	t-espave	2011-07-28
*	option bugfix	t-espave	2011-07-28
*	Merge	Mike Barnett	2011-07-27
\|\
* \|	Implemented a whitelist/blacklist so translator can ignore certain parts of an	Mike Barnett	2011-07-27
\| *	- handler methods with simulated calls	t-espave	2011-07-27
\|/
*	ignoring (some) non-feedback producing event handlers	t-espave	2011-07-26
*	adding checks and code injection for phone feedback checking	t-espave	2011-07-25
*	cleanup	t-espave	2011-07-21
*	fixed a bug on current nav tracking	Unknown	2011-07-20
*	edited out phoneplugin from most places	Unknown	2011-07-19
*	- keeping track of BCT name changes to controls	Unknown	2011-07-15
*	initial page detection and init	Unknown	2011-07-15
*	- navigation event detection	Unknown	2011-07-14
*	minor name changes, boogie code cleanup	Unknown	2011-07-13
*	injecting code for phone control initialization during translation	Unknown	2011-07-12
*	phone injecting code traverser	Unknown	2011-07-08
*	phone stuff options	Unknown	2011-07-08
*	phone control exploration for BCT, not integrated yet	Unknown	2011-07-07
*	various bug fixes related to running bct on phone apps	qadeer	2011-06-12
*	using registerAsLatest directly to deal with multiple dll translation	Unknown	2011-06-08
\|\
* \|	bug fixes	Unknown	2011-06-08
\| *	initial cut for translating exceptions	qadeer	2011-06-06
\|/
*	Created an API so that a MetadataTraverser is used to translate a set of	Mike Barnett	2011-05-21
*	Fix command-line option processing.	Mike Barnett	2011-05-16
*	Merge	Mike Barnett	2011-05-16
*	Better error handling.	Mike Barnett	2011-05-08
*	Fixed lots of bugs having to do with casts, conversions, and address-of	Mike Barnett	2011-05-03
*	0. Deleted other heap representations except SplitField and General	qadeer	2011-04-23
*	Added translation for "x is T" expressions.	Unknown	2011-04-21
*	Fix stub support (still not completely finished).	Unknown	2011-04-12
*	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
*	Make the general heap representation the default.	mikebarnett	2011-01-22
*	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