debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Chalice: do not use exhalehelper externally	stefanheule	2012-02-25
*	Chalice: rename exhale to exhalehelper and place one comment at a better place.	stefanheule	2012-02-25
*	Chalice: update the predicates version only when we lose complete access to t...	stefanheule	2012-02-25
*	Chalice: add SecMask to "wf" and as a parameter to the (Boogie) function for ...	stefanheule	2012-02-25
*	Chalice: (comment about translatePrecondition)	stefanheule	2012-02-25
*	Chalice: update definition of CanRead to account for the secondary permission...	stefanheule	2012-02-25
*	Chalice: assume IsGoodMask also for SecMask	stefanheule	2012-02-25
*	Chalice: introducing the secondary map (not using it yet)	stefanheule	2012-02-25
*	Chalice: guard the defining axiom for functions by their precondition	stefanheule	2012-02-25
*	Chalice: update framing axiom for preconditions with AccessSeq (only renaming...	stefanheule	2012-02-25
*	Chalice: change definition of combine and replace nostate by heapFragment and...	stefanheule	2012-02-25
*	Chalice: starting to implement versions for predicates (not finished yet)	stefanheule	2012-02-25
*	Chalice: Preserve the value of forkK over exhales	stefanheule	2012-02-25
*	Chalice: move havocing to exhale	stefanheule	2012-02-25
*	Chalie: Fix Visual Studio integration and add note about JVM stack size probl...	stefanheule	2011-08-04
*	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: Chalice is now built using sbt (simple built tool).	stefanheule	2011-08-02