debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merge	qadeer	2012-02-06
\|\
* \|	added inlining support for all implementations given the attribute {:inline 1}	qadeer	2012-02-06
\| *	Automated merge with https://hg01.codeplex.com/boogie	Mike Barnett	2012-02-05
\|/\|
\| *	Separated the concepts of "boxing" (i.e., CLR boxing of a value type) from	Mike Barnett	2012-02-05
* \|	added a dummy sourceLine attribute for delegate dispatch	qadeer	2012-01-31
\| *	Separate out the concepts of boxing	Mike Barnett	2012-01-26
\|/
*	Fixed struct copy constructor implementation.	Mike Barnett	2012-01-10
*	made delegate a datatype	qadeer	2011-12-30
*	problem fixed after CCI update	qadeer	2011-12-30
*	fixed problems with datatypes	qadeer	2011-12-29
*	Add instrumentation for branches.	Mike Barnett	2011-12-28
*	bug fix in houdini inlineDepth	qadeer	2011-12-06
*	Refactored translator so it can be called programmatically and return the	Mike Barnett	2011-11-21
*	BCT: Initialize Boogie's command-line options object correctly before using	Mike Barnett	2011-11-21
*	commented calls to GC.Collect()	qadeer	2011-11-18
*	Load all assemblies before doing anything else so that the unification for	Mike Barnett	2011-11-16
*	Trying to get the generics translation correct...	Mike Barnett	2011-11-14
*	moved the addition of selectors and testers to program.Resolve	qadeer	2011-11-11
*	Many, many bug fixes related to generics and some other random problems.	Mike Barnett	2011-11-10
*	change in model parsing with datatype values	qadeer	2011-11-07
*	Major changes to the translator traversers because they now are based on the	Mike Barnett	2011-10-31
*	Don't let /s be specified for stub files. (But keep the old code in case we	Mike Barnett	2011-10-23
*	delegates/events implemented as multisets rather than linked lists	qadeer	2011-08-30
*	fixed a bug: do not include the invoke procedure for thread delegates in the ...	qadeer	2011-08-25
*	(bct) skeleton of plugin infrastructure. for now the code is essentially the ...	t-espave	2011-08-16
*	(BCT) starting translators-as-plugins impl	t-espave	2011-08-15
*	cleaning up & refactor	t-espave	2011-08-15
*	workaround corral bug (cannot handle parallel assignments)	qadeer	2011-08-12
*	various fixes to deal with bug in generic delegates	qadeer	2011-08-12
*	Merge	qadeer	2011-08-11
\|\
* \|	fixes for bug with generic delegates	qadeer	2011-08-11
\| *	(phone) cancel/navigation on back key is now deep through calls. More info re...	t-espave	2011-08-11
\|/
*	(phone) back key handling via delegate detected	t-espave	2011-08-10
*	(phone) slicing to avoid self loops	t-espave	2011-08-09
*	(phone) fully automated phone nav graph building	t-espave	2011-08-09
*	Merge	t-espave	2011-08-08
*	Added option "getMeHere" so that calls to GetMeHere.Assert(e) become "assert e"	Mike Barnett	2011-08-06
*	fixed a bug in delegate dispatcher name for generic invoke methods	qadeer	2011-08-05
*	(phone bct) nav graph building (mostly) automated	t-espave	2011-08-05
*	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