debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Boogie: Adding required source file, deleting no-longer-necessarry one	tabarbe	2010-08-20
*	Boogie: Committing changed source files	tabarbe	2010-08-20
*	Boogie: Renaming core sources in preparation for port commit	tabarbe	2010-08-20
*	Boogie: Renaming core sources in preparation for port commit	tabarbe	2010-08-20
*	Added the port of Z3api. It is simply a port to the latest version of Micros...	qadeer	2010-08-20
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Added user option for bounding inlining depth	akashlal	2010-08-20
*	Chalice: added syntax, printer and resolver for coupling invariants	kyessenov	2010-08-20
*	Boogie build succeeded	codeplexbot	2010-08-20
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	VS 2010 mode for Chalice: some errors didn't show up in the window because po...	kyessenov	2010-08-20
*	Boogie: Fixed a few contracts errors	tabarbe	2010-08-19
*	Boogie: Removed and completed a task comment	tabarbe	2010-08-19
*	Boogie: Removed and completed a task comment	tabarbe	2010-08-19
*	Boogie: Removed a completed task comment, added a forgotten Contract.EnsuresO...	tabarbe	2010-08-19
*	Boogie: Removed a completed task comment	tabarbe	2010-08-19
*	Boogie: Removed a completed task comment	tabarbe	2010-08-19
*	Boogie: Removed an old task comment	tabarbe	2010-08-19
*	Chalice: more regression tests; cosmetic changes to code	kyessenov	2010-08-19
*	Added recursion-bound-guided search for stratified inlining	akashlal	2010-08-19
*	Chalice: added finite differencing refinement	kyessenov	2010-08-19
*	Chalice:	kyessenov	2010-08-19
*	Chalice:	kyessenov	2010-08-19
*	Boogie build succeeded	codeplexbot	2010-08-19
*	Simplified grammar for Chalice VS 2010 integration. It should now work and be...	kyessenov	2010-08-19
*	Chalice: turn asserts into assumes for method refinements (use -noFreeAssume ...	kyessenov	2010-08-19
*	Chalice:	kyessenov	2010-08-18
*	Chase type synonyms in arguments/results of map types when generating name (w...	MichalMoskal	2010-08-18
*	Some reformatting and refactoring	akashlal	2010-08-18
*	Don't set monomorphize with typeEncoding:m, not neccessary.	MichalMoskal	2010-08-18
*	Added option for displaying stratified inlining's search	akashlal	2010-08-18
*	Chalice:	kyessenov	2010-08-18
*	Change Synonym type printing to what it was, use a workaround in TypeToString...	MichalMoskal	2010-08-18
*	Fix stack overflow introduced in my previous checkin. Make /typeEncoding:m us...	MichalMoskal	2010-08-18
*	Make /typeEncoding:m work with arrays	MichalMoskal	2010-08-18
*	Chalice: added surface syntax for transform, AST matching algorithm	kyessenov	2010-08-17
*	Boogie build succeeded	codeplexbot	2010-08-17
*	Chalice: refactored AST code for class hierarchy (no need for caches since Sc...	kyessenov	2010-08-17
*	Chalice: bug fixes -- "check termination" flag was not properly preserved (i....	kyessenov	2010-08-16
*	Boogie: Removed mistaken duplication of a type parameter	tabarbe	2010-08-16
*	Stratified inlining: Changed recursion into a loop.	akashlal	2010-08-16
*	Bug fix for stratified inlining trace generation	akashlal	2010-08-16