debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
* \| \|	VCC: Fixes for recent prelude changes	Michal Moskal	2011-12-02
* \| \|	Boogie: Fixed a crash due to old expressions in lambda expressions that were ...	wuestholz	2011-12-02
* \| \|	added a mechanism for supplying the list of input bpl files inside a .txt file	qadeer	2011-12-01
\|/ /
* \|	a bug fix in model parsing	qadeer	2011-11-30
* \|	Merge	qadeer	2011-11-28
\|\ \
* \| \|	fixed a bug in model parsing	qadeer	2011-11-28
\| * \|	Remove invariant that was just wrong	Michal Moskal	2011-11-28
\| * \|	Merge	akashlal	2011-11-26
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	Added option of turning off model generation in SI. Can be very expensive som...	akashlal	2011-11-26
* \| \|	Merge	qadeer	2011-11-24
\|\\| \|
* \| \|	added some more statistics to houdini	qadeer	2011-11-24
\| * \|	minor bug fix in SI	akashlal	2011-11-24
\| * \|	minor changes to summary computation	akashlal	2011-11-24
\|/ /
* \|	fixed bug in the inlineDepth option for houdini	qadeer	2011-11-23
* \|	Merge	qadeer	2011-11-22
\|\ \
* \| \|	augmented the worklist with an explicit attached set	qadeer	2011-11-22
\| \| *	Merge	Rustan Leino	2011-11-22
\| \| \|\ \| \| \|/ \| \|/\|
\| * \|	Merge	Rustan Leino	2011-11-22
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	Dafny: call C# compiler directly from inside Dafny, and optionally produce a ...	Rustan Leino	2011-11-22
* \| \|	Merge	qadeer	2011-11-22
\|\\| \|
\| * \|	Boogie: don't resolve ignored types (that is, "extern" types that have been t...	Rustan Leino	2011-11-22
* \| \|	Merge	qadeer	2011-11-22
\|\\| \|
* \| \|	added support for handling duplicate axioms	qadeer	2011-11-22
\| * \|	fixes to summary computation	Unknown	2011-11-22
\|/ /
\| *	Dafny: Added "type" declaration (syntax: "type X;"), which introduces an arbi...	Rustan Leino	2011-11-21
* \|	Merge	Unknown	2011-11-21
\|\ \
* \| \|	Generating useful, and guarateed by construction, postconditions and loop inv...	Unknown	2011-11-21
\| * \|	Added lazy summary computation to stratified inlining (not finished yet)	akashlal	2011-11-20
\| * \|	commented calls to GC.Collect()	qadeer	2011-11-18
\| * \|	changed the semantics of requires and ensures for inlined procedures	qadeer	2011-11-17
\| \|/
\| *	Dafny: fixed bad Code Contracts	Rustan Leino	2011-11-16
\| *	Merge	qadeer	2011-11-16
\| \|\
\| * \|	/contractInfer always prints the computed assignment now	qadeer	2011-11-16
\| * \|	refactoring houdini so that it creates only a single instance of z3	qadeer	2011-11-16
\| \| *	Boogie: fixed build error (incorrect type in Contract.Result)	Rustan Leino	2011-11-16
\| * \|	Eliminated unused argument in the constructor for Checker	qadeer	2011-11-16
\| \| *	Merge	Michal Moskal	2011-11-16
\| \| \|\ \| \|_\|/ \|/\| \|
\| * \|	Merge	qadeer	2011-11-16
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	simple fix in houdini	qadeer	2011-11-16
* \| \|	Small fix.	Unknown	2011-11-16
* \| \|	Merge	Unknown	2011-11-16
\|\ \ \
* \| \| \|	Better support for race-checking contracts	Unknown	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
\| \| \|/