debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Chalice: (change indendation of source file)	Unknown	2012-02-27
\|
*	Chalice: Fix problem with calculating the dependencies of functions.	Unknown	2012-02-27
\|
*	Semi-automatic merge.	stefanheule	2012-02-25
\|\
* \|	Chalice: Code cleanup.	stefanheule	2012-02-25
\| \|
* \|	Chalice: Change the Chalice function triggering mechanism to use a function ↵	stefanheule	2012-02-25
\| \| \| \| \| \| \| \|	per predicate (instead of a function per function).
* \|	Chalice: first try at triggers for functions	stefanheule	2012-02-25
\| \|
* \|	Chalice: introduce BoogieExpr to allow boogie expressions in the Chalice AST	stefanheule	2012-02-25
\| \|
* \|	Chalice: begging of a method UpdateSecMask that decrements (recursively) the ↵	stefanheule	2012-02-25
\| \| \| \| \| \| \| \|	secondary mask
\| *	Chalice: fix all refinement regression tests	Kuat Yessenov	2011-12-23
\|/
*	Chalice: Chalice is now built using sbt (simple built tool).	stefanheule	2011-08-02