debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different ↵	Rustan Leino	2013-03-05
\| \| \| \|	Codeplex repositories.
*	Boogie build failed	CodeplexBot	2012-11-23
\|
*	Chalice build succeeded, 87 test(s) failed	CodeplexBot	2012-11-20
\|
*	Boogie build failed	CodeplexBot	2012-10-05
\|
*	Boogie build failed	CodeplexBot	2012-10-04
\|
*	Boogie build succeeded, 2 test(s) failed	CodeplexBot	2012-09-28
\|
*	Boogie build failed	CodeplexBot	2012-09-28
\|
*	Boogie build succeeded	CodeplexBot	2012-08-22
\|
*	Boogie build succeeded	CodeplexBot	2012-08-15
\|
*	Boogie build succeeded, 3 test(s) failed	CodeplexBot	2012-08-04
\|
*	Boogie build succeeded	CodeplexBot	2012-07-10
\|
*	Boogie build succeeded	CodeplexBot	2012-07-01
\|
*	Chalice build succeeded	CodeplexBot	2012-06-30
\|
*	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2012-06-28
\|
*	Boogie build succeeded	CodeplexBot	2012-06-23
\|
*	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2012-06-21
\|
*	Chalice build succeeded	CodeplexBot	2012-06-08
\|
*	Boogie build succeeded	CodeplexBot	2012-06-08
\|
*	Chalice build succeeded	CodeplexBot	2012-06-04
\|
*	Boogie build succeeded	CodeplexBot	2012-06-02
\|
*	Boogie build succeeded	CodeplexBot	2012-05-30
\|
*	Boogie build succeeded	CodeplexBot	2012-05-29
\|
*	Boogie build succeeded	CodeplexBot	2012-05-26
\|
*	Chalice build succeeded	CodeplexBot	2012-05-25
\|
*	Chalice build succeeded, 1 test(s) failed	CodeplexBot	2012-05-22
\|
*	Boogie build succeeded	CodeplexBot	2012-05-01
\|
*	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2012-04-29
\|
*	Boogie build succeeded	CodeplexBot	2012-04-28
\|
*	Boogie build succeeded	CodeplexBot	2012-04-18
\|
*	Chalice build succeeded	CodeplexBot	2012-03-26
\|
*	Chalice build succeeded, 73 test(s) failed	CodeplexBot	2012-03-14
\|
*	Boogie build succeeded	CodeplexBot	2012-03-12
\|
*	Boogie build succeeded	CodeplexBot	2012-03-11
\|
*	Boogie build failed	CodeplexBot	2012-03-10
\|
*	Boogie build succeeded	CodeplexBot	2012-03-01
\|
*	Boogie build succeeded	CodeplexBot	2012-02-29
\|
*	Boogie build succeeded	CodeplexBot	2012-02-28
\|
*	Boogie build succeeded	CodeplexBot	2012-02-26
\|
*	Boogie build succeeded	CodeplexBot	2012-02-25
\|
*	Boogie build succeeded	CodeplexBot	2012-02-08
\|
*	Boogie build succeeded	CodeplexBot	2012-01-19
\|
*	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2012-01-18
\|
*	Boogie build succeeded	CodeplexBot	2012-01-11
\|
*	Boogie build failed	CodeplexBot	2012-01-10
\|
*	Boogie build succeeded	CodeplexBot	2012-01-06
\|
*	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2012-01-01
\|
*	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2011-12-31
\|
*	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2011-12-30
\|
*	Boogie build succeeded	CodeplexBot	2011-12-23
\|
*	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2011-12-20
\|