debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Dafny: handle refinement of nested tokens that come from SpliExpr (still need...	Rustan Leino	2012-01-12
*	Dafny: make full predicate definitions available only inside a module (outsid...	Rustan Leino	2012-01-11
*	Use DateTime.UtcNow instead of DateTime.Now	stobies	2012-01-11
*	Dafny: fixed bugs in contract types, and a code bug that caused a contract to...	Rustan Leino	2012-01-10
*	Dafny: some bug fixes	Rustan Leino	2012-01-10
*	Dafny: allow class-member declarations at top level of any module (not just t...	Rustan Leino	2012-01-10
*	Dafny: added test case for refinement and predicates (and fixed a parsing bug)	Rustan Leino	2012-01-10
*	Dafny: allow definitions and uses of parameter-less predicates to go without ...	Rustan Leino	2012-01-10
*	Dafny: added predicates	Rustan Leino	2012-01-10
*	Dafny: added support for simple superposition refinements	Rustan Leino	2012-01-09
*	Dafny: changed translation to be sensitive to refinement inheritance; this fe...	Rustan Leino	2012-01-09
*	Boogie: fixed proof-obligation counting	Rustan Leino	2012-01-09
*	Boogie: output number of proof obligations (asserts) along with timing inform...	Rustan Leino	2012-01-09
*	Dafny: disallow changes of datatypes in refinements	Rustan Leino	2012-01-09
*	Dafny: finished refinement cloning transformations	Rustan Leino	2012-01-07
*	Dafny: filled in more cloning for the refinement transformations	Rustan Leino	2012-01-06
*	Dafny: make /infer:j (the new interval domain) the default abstract interpreter	Rustan Leino	2012-01-05
*	Dafny: fully qualify (with module names) names of types in the translation in...	Rustan Leino	2012-01-05
*	Dafny: beginning of the new refinement transformations	Rustan Leino	2012-01-05
*	Dafny: firmed up the module system	Rustan Leino	2012-01-05
*	Dafny: Start of new refinement features -- clean out old ones	Rustan Leino	2012-01-04
*	Dafny: compile let expressions efficiently (i.e., with an extra variable, not...	Rustan Leino	2012-01-04
*	Dafny: make /help also print the Boogie command-line options	Rustan Leino	2012-01-04
*	Dafny: don't allow ghost expressions in print statements	Rustan Leino	2012-01-03
*	made delegate a datatype	qadeer	2011-12-30
*	fixed problems with datatypes	qadeer	2011-12-29
*	Dafny: Fixed a bug in the pretty printer.	wuestholz	2011-12-26
*	Dafny: Extended the support for attributes on method/constructor calls.	wuestholz	2011-12-23
*	bug fix in the FreeRequiresVisitor	qadeer	2011-12-22
*	Dafny: Added support for attributes on method/constructor calls.	wuestholz	2011-12-21
*	removed some extraneous parameters	qadeer	2011-12-19
*	Dafny: for a datatype with just one constructor, don't check (but do assume) ...	Rustan Leino	2011-12-19
*	Dafny: compile to .exe only if there is a Main method; otherwise, compile to ...	Rustan Leino	2011-12-19
*	fixed a completeness problem in houdini with inlining	qadeer	2011-12-18
*	Fixed the Boogie build.	wuestholz	2011-12-16
*	Merge	Unknown	2011-12-15
\|\
* \|	A few fixes to get GPUVerify working with OpenCL front-end.	Unknown	2011-12-15
\| *	Dafny: Made sure that error locations refer to the Dafny program, even if the...	wuestholz	2011-12-15
\| *	Dafny: Added support for attributes on various specification constructs (asse...	wuestholz	2011-12-07
\| *	Dafny: implemented thresholds for the new interval domain (/infer:j)	Rustan Leino	2011-12-12
\| *	Boogie: Changed Expr.Not to keep swap arguments rather change direction of op...	Rustan Leino	2011-12-12
\| *	Merge	Rustan Leino	2011-12-10
\| \|\ \| \|/ \|/\|
\| *	Dafny: fix bug in translation of (the splitting of) if-then-else expressions ...	Rustan Leino	2011-12-10
* \|	Merge	Unknown	2011-12-09
\|\ \
* \| \|	Some fixes to get GPUVerify close to working with OpenCL.	Unknown	2011-12-09
\| * \|	Bring SourceView to front when double-clicking source line	stobies	2011-12-08
\| \|/
\| *	Dafny: corrected merge snafus	Rustan Leino	2011-12-07
\| *	Dafny: reran Coco on merged Dafny.atg	Rustan Leino	2011-12-07
\| *	Merge	Rustan Leino	2011-12-07
\| \|\
\| * \	Merge	Rustan Leino	2011-12-07
\| \|\ \