debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
* \|	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
\| \| * \|	Make set iteration order deterministic	Michal Moskal	2011-12-07
* \| \| \|	Merge	Unknown	2011-12-07
\|\ \ \ \
* \| \| \| \|	Changed names of builtins to make them generic.	Unknown	2011-12-07
\| * \| \| \|	Dafny: Added a separate script to run all Dafny tests.	wuestholz	2011-12-07
\| \| * \| \|	Merge	Rustan Leino	2011-12-07
\| \| \|\ \ \ \| \| \|/ / / \| \|/\| \| \|
\| * \| \| \|	Dafny: Forward attributes on Dafny functions to Boogie (e.g., to disable well...	wuestholz	2011-12-07
\| \| * \| \|	Dafny tests: Disabled SnapshotableTrees.dfy for now while performance issues ...	Rustan Leino	2011-12-07
\| \| * \| \|	Dafny: fixed division in new interval domain	Rustan Leino	2011-12-07
\| * \| \| \|	Merge	qadeer	2011-12-06
\| \|\ \ \ \
\| * \| \| \| \|	bug fix in houdini inlineDepth	qadeer	2011-12-06
\| \| * \| \| \|	Boogie build succeeded	CodeplexBot	2011-12-07
\| \| \| * \| \|	Merge	Rustan Leino	2011-12-06
\| \| \| \|\ \ \ \| \| \| \|/ / / \| \| \|/\| \| \|
\| * \| \| \| \|	Merge	qadeer	2011-12-06
\| \|\\| \| \| \|
\| * \| \| \| \|	more logging	qadeer	2011-12-06
\| \| * \| \| \|	Fixed bug when getting last source context in a method body.	Mike Barnett	2011-12-06
\| \| * \| \| \|	Dafny: Made some minor changes to the grammar.	wuestholz	2011-12-06
\| \|/ / / /
\| \| * \| \|	Merge	Rustan Leino	2011-12-06
\| \| \|\ \ \ \| \| \|/ / / \| \|/\| \| \|
\| * \| \| \|	Merge	qadeer	2011-12-05
\| \|\ \ \ \
\| * \| \| \| \|	first check in	qadeer	2011-12-05
\| \| \| * \| \|	Merge	Rustan Leino	2011-12-05
\| \| \| \|\ \ \ \| \| \| \|/ / / \| \| \|/\| \| \|
\| \| \| * \| \|	Boogie: Added new abstract interpretation harness, which uses native Boogie E...	Rustan Leino	2011-12-05
\| \| * \| \| \|	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2011-12-06
\| \|/ / / /
\| * \| \| \|	further fixes to houdini	qadeer	2011-12-05
\| * \| \| \|	Merge	qadeer	2011-12-05
\| \|\ \ \ \ \| \|/ / / / \|/\| \| \| \|
\| * \| \| \|	added more instrumentation to Houdini	qadeer	2011-12-05
* \| \| \| \|	Emit attribute on a requires	akashlal	2011-12-04
\|/ / / /
* \| / /	Tagging EMIC CC.NET build 2.1.31203.0	VccBuildServer	2011-12-03
\| \|/ / \|/\| \|
* \| \|	VCC: Fixes for recent prelude changes	Michal Moskal	2011-12-02
* \| \|	Updated the 'Answer' file for test2.	wuestholz	2011-12-02
* \| \|	Ignore more temporary files.	wuestholz	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
\|/ /
* \|	Merge	qadeer	2011-11-30
\|\ \
* \| \|	a bug fix in model parsing	qadeer	2011-11-30
\| * \|	Boogie build succeeded	CodeplexBot	2011-11-29
\|/ /
* \|	Merge	qadeer	2011-11-28
\|\ \
* \| \|	fixed a bug in model parsing	qadeer	2011-11-28