debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Boogie (and Dafny, with effects also on SscBoogie): I refactored CommandLine...	Rustan Leino	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
\| *	VCC: remove _vcc_math_type_ from type names	Michal Moskal	2011-11-09
\| *	VCC: hide #limited# functions	Michal Moskal	2011-11-09
\| *	Merge	Rustan Leino	2011-11-09
\| \|\
\| * \|	Dafny: moved definition of class.array into prelude, anticipating writing axi...	Rustan Leino	2011-11-09
\| \| *	Refactoring, and work on race checking contracts	Unknown	2011-11-09
\| \|/
\| *	Merge	Rustan Leino	2011-11-09
\| \|\
\| * \|	Dafny: fixed part of a type-inference issue with datatypes and the < operator...	Rustan Leino	2011-11-09
\| \| *	BVD: don't do the "Duplicate entry exception"; uncomment for debugging	Michal Moskal	2011-11-08
\| \| *	VCC: show output parameters as roots	Michal Moskal	2011-11-08
\| \|/ \|/\|
* \|	moved GPUVerify into its own solution	qadeer	2011-11-08
\|/
*	Merge	Rustan Leino	2011-11-08
\|\
* \|	Dafny: fixed bug in reads checking of array-to-sequence conversions	Rustan Leino	2011-11-08
\| *	Merge	Unknown	2011-11-08
\| \|\
\| * \|	Additions to GPU Verify for paper submission.	Unknown	2011-11-08
\| \| *	some refactoring suggested by Michal	qadeer	2011-11-07
\| \| *	Merge	qadeer	2011-11-07
\| \| \|\
\| \| * \	Merge	qadeer	2011-11-07
\| \| \|\ \ \| \|_\|/ / \|/\| \| \|
\| \| * \|	change in model parsing with datatype values	qadeer	2011-11-07
* \| \| \|	Dafny: added a new /inductionHeuristic option	Rustan Leino	2011-11-04
* \| \| \|	Dafny: added options to make Induction Heuristic apply to array index express...	Rustan Leino	2011-11-04
\| \| * \|	deleted unused code	qadeer	2011-11-01
\| \|/ / \|/\| \|
* \| \|	Merge	Rustan Leino	2011-10-31
\|\ \ \
* \| \| \|	Fixed the generation of names for datatype functions to use the API for	Mike Barnett	2011-10-31
\| * \| \|	Merge	Rustan Leino	2011-10-29
\| \|\ \ \ \| \|/ / / \|/\| \| \|
\| * \| \|	Dafny induction:	Rustan Leino	2011-10-29
* \| \| \|	Boogie: Updated the error message for old versions of Z3.	wuestholz	2011-10-28
* \| \| \|	Boogie: Get rid of {:inline} attributes on axioms	Michal Moskal	2011-10-27
* \| \| \|	Boogie: Get rid of {:ignore} feature on axioms	Michal Moskal	2011-10-27
* \| \| \|	Boogie: Present a nice error message when Z3 of lesser version than 3.2 is found	Michal Moskal	2011-10-27
* \| \| \|	Merge	Michal Moskal	2011-10-27
\|\ \ \ \
* \| \| \| \|	Restart prover after out-of-memory error; honour -restartProver option	Michal Moskal	2011-10-27
\| * \| \| \|	Boogie: removed unreachable or unused code	Rustan Leino	2011-10-27
\| * \| \| \|	Boogie: internal clean-up, removed BvHandling type, everything now behaves as...	Rustan Leino	2011-10-27