debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
*	typo	t-espave	2011-07-22
*	double definition fix	t-espave	2011-07-22
*	Chalice: Check definedness of where-clause of channels (was missing before), ...	stefanheule	2011-07-22
*	Chalice: Improve smoke testing: look for preconditions of functions, predicat...	stefanheule	2011-07-22
*	cleanup	t-espave	2011-07-21
*	Merge	t-espave	2011-07-21
\|\
* \|	dynamic navigation variable tracking and base page name tracking	Unknown	2011-07-21
\| *	Chalice: Only show the "first" smoke warning, as once the prover is able to s...	stefanheule	2011-07-21
* \|	unified URI format across translations	Unknown	2011-07-21
\|/
*	setting $Exception explicitly to null in phone translation	Unknown	2011-07-20
*	fixed a bug on current nav tracking	Unknown	2011-07-20
*	Merge	Jason Koenig	2011-07-20
\|\
* \	Merge	Jason Koenig	2011-07-20
\|\ \
\| \| *	Merge	Unknown	2011-07-20
\| \| \|\
\| \| * \|	- changed the way Valid() is unrolled	Unknown	2011-07-20
\| \| \| *	updated translation of catch clauses to use Subtype	qadeer	2011-07-20
\| \| \|/
\| \| *	Added subtyping axiomatization.	Mike Barnett	2011-07-20
\| \| *	Chalice: Use "/smoke" for the test suite by default to ensure test quality. U...	stefanheule	2011-07-20
\| \| *	Chalice: improve smoke testing to use the subsumption option only for the "as...	stefanheule	2011-07-20
\| \| *	Chalice: Improve command line help and allow both "-param" (old) and "/param"...	stefanheule	2011-07-20
\| \| *	Chalice: Uniform usage of Boogie syntax for functions.	stefanheule	2011-07-20
\| \| *	Merge	Unknown	2011-07-19
\| \| \|\
\| \| \| *	- added synthesized code for the examples	Unknown	2011-07-19
\| \| \| *	- added synthesis of Repr stuff (it generates Repr invariants,	Unknown	2011-07-19
\| \| * \|	edited out phoneplugin from most places	Unknown	2011-07-19
\| \|/ /
* \| \|	Fixed axiom for Take/Update commuting.	Jason Koenig	2011-07-19
\| * \|	Chalice: Fix all three copyless message passing programs. There were problems...	stefanheule	2011-07-19
\| * \|	Chalice: Fix two nasty bugs that could lead to contradictions in the Boogie e...	stefanheule	2011-07-19
\| * \|	Chalice: Fix batch file problem and update reference output.	stefanheule	2011-07-19
\| * \|	boogie boilerplate code generator for phone verif.	Unknown	2011-07-18
\| * \|	bugfix, was not setting control handlers	Unknown	2011-07-18
\|/ /
* \|	Chalice: Smoke testing to find unreachable code, preconditions that are equiv...	stefanheule	2011-07-18
* \|	Chalice: Also exhale correctly in two steps for multiple contracts (e.g. two ...	stefanheule	2011-07-18
* \|	Chalice: Fix a problem with permission expressions. Prevsiously, exhaling "ac...	stefanheule	2011-07-18
* \|	Merge	Jason Koenig	2011-07-15
\|\ \
* \ \	Merge	Jason Koenig	2011-07-15
\|\ \ \
* \| \| \|	Reverting accidental modification in changeset 58325a6e6ed3.	Jason Koenig	2011-07-15
* \| \| \|	Fixed regression test failures due to removal of bodiless methods and functions.	Jason Koenig	2011-07-15
\| \| * \|	potentially useful boogie stubs, commented out since they may conflict with {...	Unknown	2011-07-15
\| \| * \|	Merge	Unknown	2011-07-15
\| \| \|\ \
\| \| * \| \|	- keeping track of BCT name changes to controls	Unknown	2011-07-15
\| \|/ / /
\| \| * \|	Merge	Unknown	2011-07-16
\| \| \|\ \
\| \| * \| \|	Suppress generation of Drop(s, 0). This expression caused unnecessary verific...	Unknown	2011-07-16
\| \| \| * \|	Merge	qadeer	2011-07-15
\| \| \| \|\ \
\| \| \| * \| \|	commenting out axiom generation	qadeer	2011-07-15
\| \| \|/ / / \| \|/\| \| \|
* \| \| \| \|	Added compilation support for multisets and sequences from arrays.	Jason Koenig	2011-07-15
\| * \| \| \|	Merge	Unknown	2011-07-15
\| \|\ \ \ \
\| * \| \| \| \|	initial page detection and init	Unknown	2011-07-15