debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Chalice: change location of stack trace dump.	stefanheule	2012-02-25
*	Chalice: first try for unfolding	stefanheule	2012-02-25
*	Chalice: add assumption that receivers of nested predicates are different	stefanheule	2012-02-25
*	Chalice: the folded predicate should only be recorded when the exhale for the...	stefanheule	2012-02-25
*	Chalice: correctly introduce a temporary secondary mask	stefanheule	2012-02-25
*	Chalice: include an exhale mask again for exhale	stefanheule	2012-02-25
*	Chalice: better bound on recursion for predicates	stefanheule	2012-02-25
*	Chalice: only one if conditional, as we want if-elseif-elseif behaviour, and ...	stefanheule	2012-02-25
*	Chalice: do not use a exhaleheap when recursing	stefanheule	2012-02-25
*	Chalice: add code to update secondary mask based on the folded predicates	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
*	Chalice: start using FoldedPredicatesInfo and change exhale to transfer permi...	stefanheule	2012-02-25
*	Chalice: index error	stefanheule	2012-02-25
*	Chalice: start to integrate FoldedPredicatesInfo into etran	stefanheule	2012-02-25
*	Chalice: helper method resetState and more refactorings.	stefanheule	2012-02-25
*	Chalice: more abstraction with a case class Globals.	stefanheule	2012-02-25
*	Chalice: first part of the refactoring for better handling of globals	stefanheule	2012-02-25
*	Chalice: add classes to track predicate information	stefanheule	2012-02-25
*	Chalice: correct axiom for limited functions (use 2nd mask)	stefanheule	2012-02-25
*	Chalice: do not use inhalefrom anymore for predicates (and thus remove inhale...	stefanheule	2012-02-25
*	Chalice: unneeded type parameter to quantifier	stefanheule	2012-02-25
*	Chalice: missing updates to SecMask	stefanheule	2012-02-25
*	Chalice: preserve some information about versions to predicates for which we ...	stefanheule	2012-02-25
*	Chalice: translate the precondition of functions (with permissions) correctly	stefanheule	2012-02-25
*	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
*	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
*	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: Add sbt to the repository.	stefanheule	2011-08-02
*	Chalice: Chalice is now built using sbt (simple built tool).	stefanheule	2011-08-02
*	Chalice: added string type and string literals (but no other string operations)	Rustan Leino	2011-07-26
*	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
*	Chalice: Only show the "first" smoke warning, as once the prover is able to s...	stefanheule	2011-07-21