debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	made delegate a datatype	qadeer	2011-12-30
\| \| \| \|	added a DatatypeConstructor class
*	Merge	qadeer	2011-12-30
\|\
* \|	problem fixed after CCI update	qadeer	2011-12-30
\| \|
\| *	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2011-12-30
\|/
*	added the datatypes test	qadeer	2011-12-29
\|
*	fixed problems with datatypes	qadeer	2011-12-29
\| \| \| \| \|	removed stale contracts in stratified inlining added test to datatypes
*	Merge	qadeer	2011-12-28
\|\
* \|	deleted some commented code	qadeer	2011-12-28
\| \|
\| *	Add instrumentation for branches.	Mike Barnett	2011-12-28
\| \|
\| *	Dafny: Fixed a bug in the pretty printer.	wuestholz	2011-12-26
\|/
*	refactored AssertionInjector so that it works directly on bpl files as well	qadeer	2011-12-26
\|
*	Merge	Kuat Yessenov	2011-12-23
\|\
* \|	Chalice: fix for a bug - a source code line got duplicated somehow	Kuat Yessenov	2011-12-23
\| \|
\| *	Dafny: Extended the support for attributes on method/constructor calls.	wuestholz	2011-12-23
\| \|
\| *	Boogie build succeeded	CodeplexBot	2011-12-23
\|/
*	Chalice: fix all refinement regression tests	Kuat Yessenov	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
\|
*	Chalice: partial fixes to the broken refinement extension regression tests.	Kuat Yessenov	2011-12-21
\|
*	Merge	qadeer	2011-12-21
\|\
\| *	forgot to check it in	qadeer	2011-12-21
\| \|
* \|	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2011-12-20
\| \|
\| *	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
\| \| \| \|	that destructors are applied only to those values constructed by that one-and-only constructor
*	Dafny: compile to .exe only if there is a Main method; otherwise, compile to ↵	Rustan Leino	2011-12-19
\| \| \| \|	a .dll
*	fixed a completeness problem in houdini with inlining	qadeer	2011-12-18
\|
*	Boogie build succeeded	CodeplexBot	2011-12-16
\|
*	Fixed the Boogie build.	wuestholz	2011-12-16
\|
*	Boogie build failed	CodeplexBot	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 ↵	wuestholz	2011-12-15
\| \| \| \| \| \| \| \|	the /print option is used.
\| *	Dafny: Added support for attributes on various specification constructs ↵	wuestholz	2011-12-07
\| \| \| \| \| \| \| \|	(assert, ensures, modifies, decreases, invariant).
\| *	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 ↵	Rustan Leino	2011-12-12
\| \| \| \| \| \| \| \|	operator when negating <, <=, >=, or >
\| *	Merge	Rustan Leino	2011-12-10
\| \|\ \| \|/ \|/\|
\| *	Dafny: fix bug in translation of (the splitting of) if-then-else expressions ↵	Rustan Leino	2011-12-10
\| \| \| \| \| \| \| \|	(see bug report Issue 10214 on codeplex)
* \|	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
\| \| \|
\| * \|	Boogie build succeeded	CodeplexBot	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
\| \|\ \
\| \| * \|	Tagging EMIC CC.NET build 2.1.31207.0	VccBuildServer	2011-12-07
\| \| \| \|
\| \| * \|	Merge	Michal Moskal	2011-12-07
\| \| \|\ \ \| \|_\|/ / \|/\| \| \|
\| \| * \|	Fix atg file and add comment about Set/Variable/	Michal Moskal	2011-12-07
\| \| \| \|
\| \| * \|	Make it work with mingw	Michal Moskal	2011-12-07
\| \| \| \|
\| \| * \|	Fix some bugs in the new Set	Michal Moskal	2011-12-07
\| \| \| \|