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
*	Make the modelExceptions option an integer.	Unknown	2012-08-22
*	Add an option to model exceptional control flow or not. When it is false:	Unknown	2012-07-31
*	Mark the procedure translated from the module's entry point	Mike Barnett	2012-01-15
*	Fixed struct copy constructor implementation.	Mike Barnett	2012-01-10
*	Change the copy constructor for struct types so that it returns the copy	Mike Barnett	2012-01-09
*	Copy structs that are passed by value as method call arguments.	Mike Barnett	2012-01-04
*	Trying to get the generics translation correct...	Mike Barnett	2011-11-14
*	Major changes to the translator traversers because they now are based on the	Mike Barnett	2011-10-31
*	fixed bug	qadeer	2011-08-23
*	(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
*	(phone) fixed issues with anonymous xaml declarations.	t-espave	2011-08-10
*	(phone) slicing to avoid self loops	t-espave	2011-08-09
*	another bug fix in bct	qadeer	2011-08-08
*	Merge	t-espave	2011-08-04
\|\
\| *	Changed name mangling (again) to avoid name clashes.	Mike Barnett	2011-08-04
* \|	(phone bct) moved some code to urihelper	t-espave	2011-08-03
\|/
*	refactored phonehelper	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
\| *	solved uri naming issues	t-espave	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
*	weeding out non-set $exception as feedback handling issues	t-espave	2011-07-26
*	ui handlers override checked for output geenration	t-espave	2011-07-26
*	adding checks and code injection for phone feedback checking	t-espave	2011-07-25
*	tracking main phone application class and ctors	t-espave	2011-07-22
*	dynamic navigation variable tracking and base page name tracking	Unknown	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
*	removed extraneous commented code	qadeer	2011-07-13
*	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 (static) controls extractor.	Unknown	2011-07-06
*	bug fix in translation of dispatch continuation	qadeer	2011-06-23
*	Translate IConditional exactly the same way as IConditionalStatement to accou...	qadeer	2011-06-20
*	whole bunch of bug fixes	qadeer	2011-06-20
*	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
\|/
*	beginning support for finally clauses	qadeer	2011-06-07
*	initial cut for translating exceptions	qadeer	2011-06-06
*	Further support for translating generics	qadeer	2011-06-04
*	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