debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Sync timeout messages with Z3 prover interface	Michal Moskal	2011-10-21
*	Don't pass /T: option to Z3 - it kills Z3 prematurely when there are multiple...	Michal Moskal	2011-10-21
*	Improve logging when -proverOpt:VERBOSITY=1 or 2 is specified	Michal Moskal	2011-10-21
*	Boogie build succeeded	CodeplexBot	2011-10-20
*	Merge	Michal Moskal	2011-10-19
\|\
* \|	VCC: support some more _(blob ...) buisness	Michal Moskal	2011-10-19
\| *	Merge	Rustan Leino	2011-10-19
\| \|\
\| * \|	Dafny: fixed performance-buggy translation of exists, and also added some oth...	Rustan Leino	2011-10-19
* \| \|	BVD: Default to expert view; Only VCC uses that stuff now, and all VCC users ...	Michal Moskal	2011-10-19
\| \| *	Tagging EMIC CC.NET build 2.1.31020.0	VccBuildServer	2011-10-20
\| \|/ \|/\|
* \|	Merge	Michal Moskal	2011-10-19
\|\\|
* \|	Performance improvements in BVD	Michal Moskal	2011-10-19
\| *	Merge	Rustan Leino	2011-10-19
\| \|\ \| \|/ \|/\|
\| *	Jennisys: added "ensures" to emacs mode	Rustan Leino	2011-10-19
* \|	Tagging EMIC CC.NET build 2.1.31019.0	VccBuildServer	2011-10-19
* \|	VCC: Fix problem with booleans being displayed as maps	Michal Moskal	2011-10-19
* \|	Added a push+pop+unsat-core interface to SMTLib (for stratified inlining only)	Unknown	2011-10-19
* \|	Boogie build succeeded	CodeplexBot	2011-10-18
* \|	added houdini to regression	qadeer	2011-10-17
* \|	Boogie build succeeded	CodeplexBot	2011-10-17
* \|	Merge	qadeer	2011-10-16
\|\ \
* \| \|	revised implementation of proc copy bounding	qadeer	2011-10-16
\| * \|	Boogie build succeeded	CodeplexBot	2011-10-14
\| \|/
\| *	Jennisys: changed the fixpoint solver to pick only the true clause in a disju...	Unknown	2011-10-10
\| *	Jennisys: implemented minimization of inferred guards	Unknown	2011-10-10
\| *	Jennisys: added some more simple methods in Simple.jen, implemented a couple of	Unknown	2011-10-08
\| *	Merge	Aleksandar Milicevic	2011-10-07
\| \|\
\| \| *	Dafny: added COST Verification Competition challenge programs to test suite	Rustan Leino	2011-10-07
\| \|/ \|/\|
\| *	Merge	Aleksandar Milicevic	2011-10-07
\| \|\ \| \|/ \|/\|
\| *	Jennisys: Implemented some support for mutator methods by keeping track of th...	Aleksandar Milicevic	2011-10-07
* \|	added membership tests	qadeer	2011-10-05
* \|	implementing datatypes	qadeer	2011-10-05
* \|	Tagging EMIC CC.NET build 2.1.31004.0	VccBuildServer	2011-10-04
* \|	Link Model.cs in ModelViewer, so that BVD can be updated independtly of the r...	Michal Moskal	2011-10-03
* \|	Boogie build succeeded	CodeplexBot	2011-10-01
* \|	Merge	Unknown	2011-09-30
\|\ \
* \| \|	Started working on inter-procedural inference	Unknown	2011-09-30
\| * \|	Merge	Rustan Leino	2011-09-30
\| \|\ \
\| * \| \|	Ignore Chalice/bin directory	Rustan Leino	2011-09-30
\| * \| \|	Dafny: Updated snapshotable tree to remove IsReadonly precondition for Create...	Rustan Leino	2011-09-30
\| * \| \|	Dafny: fixed bug in translator when LHS of a call was an array element or a nat	Rustan Leino	2011-09-30
* \| \| \|	Merge	Unknown	2011-09-30
\|\ \ \ \ \| \| \|/ / \| \|/\| \|
* \| \| \|	Changes to GPUVerify	Unknown	2011-09-30
\| * \| \|	Merge	qadeer	2011-09-30
\| \|\ \ \
\| * \| \| \|	bug fix in houdini	qadeer	2011-09-30
* \| \| \| \|	Refactoring and reorganisation of GPUVerify	Unknown	2011-09-30
\|/ / / /
\| * \| \|	Dafny: Fixed the 'Answer' file for test 'dafny2'.	wuestholz	2011-09-30
\| * \| \|	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2011-09-30
\|/ / /
\| * \|	Dafny: beautification in one test case, and fixed an Answer file	Rustan Leino	2011-09-29
\| * \|	Dafny: improved a resolution error message, and fixed a crash in the resolver	Rustan Leino	2011-09-29