debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merge	t-espave	2011-08-04
\|\
* \|	(phone bct) anonymous control support	t-espave	2011-08-04
\| *	Changed name mangling (again) to avoid name clashes.	Mike Barnett	2011-08-04
\| *	Merge	qadeer	2011-08-04
\| \|\
\| * \|	full port of houdini project	qadeer	2011-08-04
* \| \|	Merge	t-espave	2011-08-04
\|\ \ \ \| \| \|/ \| \|/\|
* \| \|	(phone bct) monitoring pivot controls	t-espave	2011-08-04
\| * \|	Chalice: Add comment to a broken test-case.	stefanheule	2011-08-04
\| * \|	Chalie: Fix Visual Studio integration and add note about JVM stack size probl...	stefanheule	2011-08-04
\| \| *	Merge	qadeer	2011-08-03
\| \| \|\ \| \| \|/ \| \|/\|
\| \| *	ported Houdini to C#, added Houdini project to the Boogie solution	qadeer	2011-08-03
\| * \|	Merge	Aleksandar Milicevic	2011-08-03
\| \|\ \
\| * \| \|	Jennisys:	Aleksandar Milicevic	2011-08-03
* \| \| \|	(phone bct) moved some code to urihelper	t-espave	2011-08-03
* \| \| \|	Merge	t-espave	2011-08-03
\|\ \ \ \ \| \| \|/ / \| \|/\| \|
\| * \| \|	Increase the name mangling to avoid name clashes in the Boogie program. In IL,	Mike Barnett	2011-08-03
* \| \| \|	(phone bct) user feedback, showing possibly anomalous nav targets	t-espave	2011-08-03
\|/ / /
* \| \|	Merge	t-espave	2011-08-03
\|\ \ \
* \| \| \|	typo	t-espave	2011-08-03
\| * \| \|	Chalice: Add regression tests for all fixed bugs and separate the tests in 'e...	stefanheule	2011-08-03
\| * \| \|	Chalice: only show warning about misleading smoke warnings if there are actua...	stefanheule	2011-08-03
\| * \| \|	Chalice: Improve command line interface. Unknown options are no longer silent...	stefanheule	2011-08-03
\| * \| \|	Chalice VS integration: recognize string literals	Rustan Leino	2011-08-03
\| \|/ /
\| * \|	Merge	Aleksandar Milicevic	2011-08-02
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	Jennisys: implemented a unification algorithm that tries to find an existing	Aleksandar Milicevic	2011-08-02
* \| \|	(phone bct) tracking targets of back key navs.	t-espave	2011-08-02
* \| \|	Merge	t-espave	2011-08-02
\|\ \ \ \| \| \|/ \| \|/\|
* \| \|	(phone bct) default URI checks inlined	t-espave	2011-08-02
\| * \|	Unicode surrogate characters cannot be handled by Boogie. For now (forever?)	Mike Barnett	2011-08-02
* \| \|	(phone bct) methods inlined for modular analysis (fix)	t-espave	2011-08-02
\|/ /
* \|	Chalice: Add sbt to the repository.	stefanheule	2011-08-02
* \|	Chalice: Chalice is now built using sbt (simple built tool).	stefanheule	2011-08-02
* \|	further fixes in the translation of compiletime constants	qadeer	2011-08-01
* \|	Merge	t-espave	2011-08-01
\|\ \
* \| \|	(phone bct) compute fixpoint for necessary inlined methods (for modular analy...	t-espave	2011-08-01
* \| \|	control parsing creates batch file with several calls to corral for graph bui...	t-espave	2011-08-01
\| * \|	Fix in the assertion injector for putting the output on top of the input	Mike Barnett	2011-08-01
* \| \|	generating individual corral queries for page navigation	t-espave	2011-08-01
\|/ /
* \|	Merge	t-espave	2011-08-01
\|\\|
* \|	fix for exception when phoneControls are not set	t-espave	2011-08-01
\| *	Merge	Aleksandar Milicevic	2011-07-29
\| \|\ \| \|/ \|/\|
\| *	Jennisys: (1) fixed a bug in "TryInferConditionals"; (2) added synthesized mo...	Aleksandar Milicevic	2011-07-29
\| *	Jennisys:	Aleksandar Milicevic	2011-07-29
* \|	more phone controls tracked for feedback	t-espave	2011-07-29
* \|	anonymous phone controls fix	t-espave	2011-07-29
* \|	Merge	t-espave	2011-07-28
\|\ \
* \| \|	more input/output control handling for phones	t-espave	2011-07-28
\| * \|	release build should not have z3api being built	Unknown	2011-07-28
* \| \|	refactored phonehelper	t-espave	2011-07-28
* \| \|	trivial contract for phone event handlers	t-espave	2011-07-28
\|/ /