debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
\| \| *	Tagging EMIC CC.NET build 2.1.31116.0	VccBuildServer	2011-11-16
\| \| *	Merge	Michal Moskal	2011-11-16
\| \| \|\ \| \|_\|/ \|/\| \|
\| * \|	Merge	qadeer	2011-11-16
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	simple fix in houdini	qadeer	2011-11-16
* \| \|	Merge	Unknown	2011-11-16
\|\ \ \
* \| \| \|	Small fix.	Unknown	2011-11-16
\| * \| \|	Load all assemblies before doing anything else so that the unification for	Mike Barnett	2011-11-16
\|/ / /
* \| \|	Merge	Unknown	2011-11-16
\|\ \ \
* \| \| \|	Better support for race-checking contracts	Unknown	2011-11-16
\| * \| \|	Boogie build failed	CodeplexBot	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
\| \|\\|
\| * \|	Added Dafny solutions to the VSTTE 2012 program verification competition	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
* \|	Merge	qadeer	2011-11-14
\|\ \
* \| \|	fixed another bug in model parser related to datatype values	qadeer	2011-11-14
\| * \|	For some reason, these didn't get into the last commit.	Mike Barnett	2011-11-14
\| * \|	Trying to get the generics translation correct...	Mike Barnett	2011-11-14
\|/ /
* \|	added the option /inlineDepth:n. This option defaults to -1. If the user prov...	qadeer	2011-11-13
* \|	Boogie build succeeded	CodeplexBot	2011-11-12
\| *	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
\|/
*	Many, many bug fixes related to generics and some other random problems.	Mike Barnett	2011-11-10
*	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
\| * \|	Dafny: allow single-quote as a character in identifiers in the VS2010 mode	Rustan Leino	2011-11-09
\| * \|	Dafny: added "multiset" keyword to syntax highlighting in emacs, vim, latex, VSX	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
\| \| *	Tagging EMIC CC.NET build 2.1.31109.0	VccBuildServer	2011-11-09