debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merge	Rustan Leino	2011-10-19
\|\
* \|	Dafny: fixed performance-buggy translation of exists, and also added some oth...	Rustan Leino	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
\| * \|	Added missing files	Unknown	2011-09-29
\| * \|	Merge	Unknown	2011-09-29
\| \|\\|
\| * \|	Made use of Houdini optional	Unknown	2011-09-29
\| \| *	Dafny: Added TreeBarrier as a test case	peter mueller peter.mueller@inf.ethz.ch	2011-09-29
\| \| *	Boogie build succeeded	CodeplexBot	2011-09-29
\| \|/ \|/\|
* \|	- updated the examples to use the new keywords (interface/datamodel)	Aleksandar Milicevic	2011-09-29
* \|	VCC: Support _(blob ..) types; fix crash	Michal Moskal	2011-09-28