debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merge	qadeer	2011-08-11
\|\
* \|	fixes for bug with generic delegates	qadeer	2011-08-11
\| *	Fixed problem where events in stubs were generating duplicate declarations.	Mike Barnett	2011-08-11
\|/
*	Merge	t-espave	2011-08-08
\|\
\| *	another bug fix in bct	qadeer	2011-08-08
\| *	added a new file and fixed a bug in bct	qadeer	2011-08-08
\|/
*	Added option "getMeHere" so that calls to GetMeHere.Assert(e) become "assert e"	Mike Barnett	2011-08-06
*	Added new option /captureState (/c) for generating a capture state assumption	Mike Barnett	2011-08-04
*	Increase the name mangling to avoid name clashes in the Boogie program. In IL,	Mike Barnett	2011-08-03
*	Fix in the assertion injector for putting the output on top of the input	Mike Barnett	2011-08-01
*	Implemented a whitelist/blacklist so translator can ignore certain parts of an	Mike Barnett	2011-07-27
*	weeding out non-set $exception as feedback handling issues	t-espave	2011-07-26
*	Added subtyping axiomatization.	Mike Barnett	2011-07-20
*	edited out phoneplugin from most places	Unknown	2011-07-19
*	commenting out axiom generation	qadeer	2011-07-15
*	implemented Mike's proposal for dynamic dispatch for finally blocks	qadeer	2011-07-13
*	fixing exception translation according to discussion with mike	qadeer	2011-07-13
*	phone injecting code traverser	Unknown	2011-07-08
*	Merge	Mike Barnett	2011-07-08
\|\
* \|	Fix translation of "is" operator.	Mike Barnett	2011-07-08
\| *	phone control exploration for BCT, not integrated yet	Unknown	2011-07-07
\|/
*	Beginning of encoding the subtype relation.	Mike Barnett	2011-07-06
*	Merge	Mike Barnett	2011-07-05
\|\
\| *	1. generating a separate dipatchcontinuation label for each trycatchfinally ...	qadeer	2011-07-04
* \|	Merge	Mike Barnett	2011-06-29
\|\\|
\| *	Translate IConditional exactly the same way as IConditionalStatement to accou...	qadeer	2011-06-20
\| *	whole bunch of bug fixes	qadeer	2011-06-20
\| *	changes for handling conversions	qadeer	2011-06-17
\| *	various bug fixes related to running bct on phone apps	qadeer	2011-06-12
\| *	further changes	qadeer	2011-06-12
\| *	changes related to fixing problems with finally translation	qadeer	2011-06-12
\| *	Merge	qadeer	2011-06-10
\| \|\
\| * \|	bunch of changes related to finally handling	qadeer	2011-06-10
\| \| *	solved	Unknown	2011-06-09
\| \|/
\| *	bug fix in call to constructor of ProcedureInfo	qadeer	2011-06-08
\| *	beginning support for finally clauses	qadeer	2011-06-07
\| *	initial cut for translating exceptions	qadeer	2011-06-06
\| *	fixed calls to generic methods to add type argument appropriately	qadeer	2011-06-05
\| *	Further support for translating generics	qadeer	2011-06-04
* \|	Don't (for now) consider property getters as pure, because	Mike Barnett	2011-06-01
\| *	fixed a bug in translation of generics	qadeer	2011-05-31
\|/
*	Lots of small bug fixes: conversions, overloaded operations on real numbers.	Mike Barnett	2011-05-31
*	Don't translate method contracts until method information (parameter map, etc.)	Mike Barnett	2011-05-30
*	Fixed struct ctors so that they don't return the "this" value, but just	Mike Barnett	2011-05-29
*	Removed the method DefaultValue from the sink: if a default value of a type	Mike Barnett	2011-05-29
*	Translate assignments to parameters that are of a struct type correctly. Note	Mike Barnett	2011-05-28
*	Translate assignments of structs as a call to a (default) copy constructor	Mike Barnett	2011-05-27
*	Beginning of representing structs as values on the heap, but without object	Mike Barnett	2011-05-26
*	bug fixes	qadeer	2011-05-16
*	Merge	Mike Barnett	2011-05-16