debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merge	Rustan Leino	2011-11-22
\|\
\| *	Merge	Rustan Leino	2011-11-22
\| \|\
\| * \|	Dafny: call C# compiler directly from inside Dafny, and optionally produce a ...	Rustan Leino	2011-11-22
\| \| *	Merge	qadeer	2011-11-22
\| \| \|\ \| \| \|/ \| \|/\|
\| * \|	Boogie: don't resolve ignored types (that is, "extern" types that have been t...	Rustan Leino	2011-11-22
\| \| *	Merge	qadeer	2011-11-22
\| \| \|\ \| \| \|/ \| \|/\|
\| \| *	added support for handling duplicate axioms	qadeer	2011-11-22
\| * \|	fixes to summary computation	Unknown	2011-11-22
\| \|/
* \|	Dafny: Added "type" declaration (syntax: "type X;"), which introduces an arbi...	Rustan Leino	2011-11-21
\| *	Merge	Unknown	2011-11-21
\| \|\
\| * \|	Generating useful, and guarateed by construction, postconditions and loop inv...	Unknown	2011-11-21
\| \| *	Added lazy summary computation to stratified inlining (not finished yet)	akashlal	2011-11-20
\| \| *	commented calls to GC.Collect()	qadeer	2011-11-18
\| \| *	changed the semantics of requires and ensures for inlined procedures	qadeer	2011-11-17
\| \|/ \|/\|
* \|	Dafny: fixed bad Code Contracts	Rustan Leino	2011-11-16
* \|	Merge	qadeer	2011-11-16
\|\ \
* \| \|	/contractInfer always prints the computed assignment now	qadeer	2011-11-16
* \| \|	refactoring houdini so that it creates only a single instance of z3	qadeer	2011-11-16
\| * \|	Boogie: fixed build error (incorrect type in Contract.Result)	Rustan Leino	2011-11-16
* \| \|	Eliminated unused argument in the constructor for Checker	qadeer	2011-11-16
\| * \|	Merge	Michal Moskal	2011-11-16
\| \|\\|
* \| \|	Merge	qadeer	2011-11-16
\|\ \ \ \| \| \|/ \| \|/\|
* \| \|	simple fix in houdini	qadeer	2011-11-16
\| * \|	Small fix.	Unknown	2011-11-16
\| * \|	Merge	Unknown	2011-11-16
\| \|\ \
\| * \| \|	Better support for race-checking contracts	Unknown	2011-11-16
\| \| * \|	Merge	akashlal	2011-11-16
\| \| \|\ \
\| \| \| * \|	Debugging output for stratified inlining. Emit attribute on Ensures while	Unknown	2011-11-16
\| \|_\|/ / \|/\| \| \|
\| \| \| *	BVD: Fix display bug	Michal Moskal	2011-11-15
\| \| \| *	VCC: Further data type improvements	Michal Moskal	2011-11-15
\| \| \| *	VCC: Better display of data type values	Michal Moskal	2011-11-15
\| \| * \|	DafnyExtension: fixed build problems	Rustan Leino	2011-11-15
\| \| * \|	Boogie (and Dafny, with effects also on SscBoogie): I refactored CommandLine...	Rustan Leino	2011-11-15
\| \| \| *	VCC: Recognize $result	Michal Moskal	2011-11-15
\| \|_\|/ \|/\| \|
\| \| *	Merge	Rustan Leino	2011-11-15
\| \| \|\ \| \|_\|/ \|/\| \|
* \| \|	Merge	qadeer	2011-11-15
\|\\| \|
* \| \|	changed inlining code so that candidate preconditions and postconditions are ...	qadeer	2011-11-15
\| * \|	Some fixes for race checking contracts	Unknown	2011-11-15
\| * \|	Modified solution to build on all platforms.	Unknown	2011-11-15
\|/ /
\| *	Dafny: added let expressions (syntax: "var x := E0; E1")	Rustan Leino	2011-11-14
* \|	fixed another bug in model parser related to datatype values	qadeer	2011-11-14
* \|	added the option /inlineDepth:n. This option defaults to -1. If the user prov...	qadeer	2011-11-13
\| *	Dafny: implemented the wellformedness check that datatype destructors are onl...	Rustan Leino	2011-11-11
\|/
*	Merge	qadeer	2011-11-11
\|\
\| *	moved the addition of selectors and testers to program.Resolve	qadeer	2011-11-11
* \|	Produce unsat cores only when enabled (in stratified inlining)	Unknown	2011-11-11
\|/
*	Dafny: allow assert/assume expressions in more places	Rustan Leino	2011-11-09
*	Dafny: added assert/assume expressions	Rustan Leino	2011-11-09
*	Merge	qadeer	2011-11-09
\|\
* \|	copied all attributes of the constructor (except for :constructor) to the sel...	qadeer	2011-11-09