debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different ↵	Rustan Leino	2013-03-05
\| \| \| \|	Codeplex repositories.
*	Chalie: Fix Visual Studio integration and add note about JVM stack size ↵	stefanheule	2011-08-04
\| \| \| \|	problems.
*	Chalice VS integration: recognize string literals	Rustan Leino	2011-08-03
\|
*	Chalice: added string type and string literals (but no other string operations)	Rustan Leino	2011-07-26
\|
*	Dafny: Improved default decreases clauses for methods and functions	rustanleino	2010-11-25
\| \| \| \| \|	Dafny: Don't display "alloc" field in BVD Chalice: Fixed error-message parsing error in VS mode
*	VSIP integration into VS: Changed idle delay to 300ms (from 1s). ↵	rustanleino	2010-11-17
\| \| \| \|	Distinguish warnings/errors in Chalice.
*	VS 2010: add "spec" as keyword in Chalice	kyessenov	2010-09-02
\|
*	VS 2010 mode for Chalice: some errors didn't show up in the window because ↵	kyessenov	2010-08-20
\| \| \| \|	positions were negative
*	Simplified grammar for Chalice VS 2010 integration. It should now work and ↵	kyessenov	2010-08-19
\| \| \| \|	be easily extensible.
*	Chalice:	kyessenov	2010-07-30
\| \| \| \| \| \| \|	* add sequence axiom updates from Dafny * fix a bug in pretty printer for functions and predicates * add a command line option for not checking termination; refactor options code to update syntax help string * relax resolver to allow ghost state in assume statements (we don't know how to compile them in general anyways; assume false is still a special case and is compiled into assert false)
*	Chalice: Introduced '[[ S ]]' as a shorthand syntax for 'lock (this) { S ↵	rustanleino	2010-07-19
\| \| \| \| \| \| \|	}'. Think of the new brackets as atomicity brackets (see PetersonsAlgorithm.chalice) Chalice: Added Peterson's algorithm to test suite (safety properties only) VS 2010 integration: Updated Chalice and Dafny modes, added keyword highlighting for a new Boogie mode
*	Visual Studio 2010 integration for Dafny and Chalice. See the "How to ↵	rustanleino	2010-07-15
	install binaries" link from the boogie.codeplex.com home page.